A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Botulinum Toxin Injection in Long-Standing Facial Paralysis Patients: Improvement of Facial Symmetry Observed up to 6 Months

Despite modern reanimation surgical techniques, facial paralysis presents with functional and aesthetic deficits. We evaluated facial symmetry after treating with botulinum toxin the healthy side of the face of 25 patients with long-standing facial paralysis who had previously been treated by surgical methods, with 6 months follow-up. Evaluation consisted of a clinical score, the two subscales of the Facial Disability Index, and surface electromyography. The mean botulinum toxin dose was 38 +/- A 5 U (range = 15-69 U). The clinical score showed significant reduction of asymmetry of 48.4% at 1 month and 16.8% after 6 months. The initial result was a consequence of reduced motion on the treated side combined with better motion on the paralyzed side. At 6 months, the treated side returned to basal scores. The residual effect seen in symmetry was due to an increase (18%) of motion in the paralyzed side. There was a significant decrease in the action potential of muscles on the nonparalyzed side 1 month post injection but completely reverted after 6 months. The Physical Function Index increased, but not significantly. The Social/Well-Being Function Index showed a significant increase at 6 months compared to pretreatment. The proposed treatment improved facial symmetry for up to 6 months. Even after the end of the clinical effect of the drug, the paralyzed side`s clinical score was 18% higher than pretreatment, with an increased quality of life.

Evaluation of the poly-L-lactic acid implant for treatment of the nasolabial fold: 3-year follow-up evaluation

The search for an ideal filler for soft tissue augmentation still continues. Because aging changes are continuous, temporary fillers should be preferred against permanent ones. Since 1999, the poly-L-lactic acid filler (PLA) has been marketed in Europe as Newfill. As a synthetic biocompatible polymer, PLA originally was used in suture materials and screws. In 2004, the U.S. Food and Drug Administration approved PLA under the name of Sculptra for the treatment of human immunodeficiency virus-related facial lipoatrophy. This study aimed to evaluate a 3-year follow-up investigation into the effect of PLA implant injection for the treatment of sunken nasolabial folds. Between October 2003 and February 2004, 10 women with a median age of 54 years (range, 43-60 years) were injected with polylactic acid hydrogel (Newfill) in the nasolabial fold area for aesthetic reasons. All the patients underwent three injections: one injection per month for 3 months. Evaluation of the results based on clinical examination and photography was performed at each session, at 6 months, and then 36 months after the third session. Injectable PLA was able to correct nasolabial folds successfully with a more lasting result than absorbable fillers commonly used in clinical practice, such as hyaluronic acid and collagen. Careful and standardized photographic documentation is indispensable.

Zipping up transcription factors: Rational design of anti-Jun and anti-Fos peptides

Various members of the bZip and bHLH-Zip families of eukaryotic transcription factors, including Jun, Fos, and Myc, have been identified as oncoproteins; mutation or deregulated expression of these proteins leads to certain types of cancer. These proteins can only bind to their cognate DNA enhancer sites following homodimerization, or heterodimerization with another family member, via their leucine zipper domain. Thus, a novel anticancer strategy would be to inhibit dimerization of these proteins, thereby blocking their DNA binding and transactivation functions. In this paper we show that it is possible to rationally design leucine zipper peptides that bind with high affinity to the leucine zipper dimerization domains of c-Jun and c-Fos, thus preventing the formation of functional c-Jun homodimers and c-Jun:c-Fos heterodimers; we refer to such peptides as superzippers (SZs). In vivo, c-Jun:SZ and c-Fos:SZ heterodimers should be nonfunctional as they lack one of the two basic domains that are essential for DNA binding. While the transport of a peptidic agent into cells often poses a severe obstacle to its therapeutic use, we show that a 46-residue leucine zipper peptide can be transported into HeLa cells by coupling it to a 17-residue carrier peptide from the Antennapedia homeodomain, thus paving the way for detailed studies of the therapeutic potential of superzipper peptides.

Beach water table fluctuations due to wave run-up: Capillarity effects

High-frequency beach water table fluctuations due to wave run-up and rundown have been observed in the field [Waddell, 1976]. Such fluctuations affect the infiltration/exfiltration process across the beach face and the interstitial oxygenation process in the beach ecosystem. Accurate representation of high-frequency water table fluctuations is of importance in the modeling of (1) the interaction between seawater and groundwater, more important, the effects on swash sediment transport and (2) the biological activities in the beach ecosystem. Capillarity effects provide a mechanism for high-frequency water table fluctuations. Previous modeling approaches adopted the assumption of saturated flow only and failed to predict the propagation of high-frequency fluctuations in the aquifer. In this paper we develop a modified kinematic boundary condition (kbc) for the water table which incorporates capillarity effects. The application of this kbc in a boundary element model enables the simulation of high-frequency water table fluctuations due to wave run-up. Numerical tests were carried out for a rectangular domain with small-amplitude oscillations; the behavior of water table responses was found to be similar to that predicted by an analytical solution based on the one-dimensional Boussinesq equation. The model was also applied to simulate the water table response to wave run-up on a doping beach. The results showed similar features of water table fluctuations observed in the field. In particular, these fluctuations are standing wave-like with the amplitude becoming increasingly damped inland. We conclude that the modified kbc presented here is a reasonable approximation of capillarity effects on beach water table fluctuations. However, further model validation is necessary before the model can confidently be used to simulate high-frequency water table fluctuations due to wave run-up.

Impact of number of vessels disease on outcome of patients with stable coronary artery disease: 5-year follow-up of the medical, angioplasty, and bypass surgery study (MASS)

Objective: To evaluate whether the number of vessels disease has an impact on clinical outcomes as well as on therapeutic results accordingly to medical, percutaneous, or surgery treatment in chronic coronary artery disease. Methods: We evaluated 825 individuals enrolled in MASS study, a randomized study to compare treatment options for single or multivessel coronary artery disease with preserved left ventricular function, prospectively followed during 5 years. The incidence of overall mortality and the composite end-point of death, myocardial infarction, and refractory angina were compared in three groups: single vessel disease (SVD n = 214), two-vessel disease (2VD n = 253) and three-vessel disease (3VD n = 358). The relationship between baseline variables and the composite end-point was assessed using a Cox proportional hazards survival model. Results: Most baseline characteristics were similar among groups, except age (younger in SVD and older in 3VD, p < 0.001), lower incidence of hypertension in SVD (p < 0.0001), and lower levels of total and LDL-cholesterol in 3VD (p = 0.004 and p = 0.005, respectively). There were no statistical differences in composite end-point in 5 years among groups independent of the kind of treatment; however, there was a higher mortality rate in 3VD (p < 0.001). When we stratified our analysis for each treatment option, bypass surgery was associated with a tower number of composite end-point in all groups (SVD p < 0.001, 2VD p = 0.002, 3VD p < 0.001). In multivariate analysis, we found higher mortality risk in 3VD comparing to SVD (p = 0.005, HR 3.14, 95%Cl 1.4-7.0). Conclusion: Three-vessel disease was associated with worse prognosis compared to single-or two-vessel disease in patients with stable coronary disease and preserved ventricular function at 5-year follow-up. In addition, event-free survival rates were higher after bypass surgery, independent of the number of vessels diseased in these subsets of patients. (c) 2008 European Association for Cardio-Thoracic Surgery. Published by Elsevier B.V. All rights reserved.

Depression: a predictor of smoking relapse in a 6-month follow-up after hospitalization for acute coronary syndrome

Objective The objective of the study was to investigate whether depression is a predictor of postdischarge smoking relapse among patients hospitalized for myocardial infarction (MI) or unstable angina (ILIA), in a smoke-free hospital. Methods Current smokers with MI or UA were interviewed while hospitalized; patients classified with major depression (MD) or no humor disorder were reinterviewed 6 months post discharge to ascertain smoking status. Potential predictors of relapse (depression; stress; anxiety; heart disease risk perception; coffee and alcohol consumption; sociodemographic, clinical, and smoking habit characteristics) were compared between those with MD (n = 268) and no humor disorder (n = 135). Results Relapsers (40.4%) were more frequently and more severely depressed, had higher anxiety and lower self-efficacy scale scores, diagnosis of UA, shorter hospitalizations, started smoking younger, made fewer attempts to quit, had a consort less often, and were more frequently at the `precontemplation` stage of change. Multivariate analysis showed relapse-positive predictors to be MD [odds ratio (OR): 2.549; 95% confidence interval (CI): 1.519-4.275] (P<0.001); `precontemplation` stage of change (OR: 7.798; 95% CI: 2.442-24.898) (P<0.001); previous coronary bypass graft surgery (OR: 4.062; 95% CI: 1.356-12.169) (P=0.012); and previous anxiolytic use (OR: 2.365; 95% CI: 1.095-5.107) (P=0.028). Negative predictors were diagnosis of MI (OR: 0.575; 95% CI: 0.361-0.916) (P=0.019); duration of hospitalization (OR: 0.935; 95% CI: 0.898-0.973) (P=0.001); smoking onset age (OR: 0.952; 95% CI: 0.910-0.994) (P=0.028); number of attempts to quit smoking (OR: 0.808; 95% CI: 0.678-0.964) (P=0.018); and `action` stage of change (OR: 0.065; 95% CI: 0.008-0.532) (P= 0.010). Conclusion Depression, no motivation, shorter hospitalization, and severity of illness contributed to postdischarge resumption of smoking by patients with acute coronary syndrome, who underwent hospital-initiated smoking cessation.

Strategies for genetic model specification in the screening of genome-wide meta-analysis signals for further replication

Background Meta-analysis is increasingly being employed as a screening procedure in large-scale association studies to select promising variants for follow-up studies. However, standard methods for meta-analysis require the assumption of an underlying genetic model, which is typically unknown a priori. This drawback can introduce model misspecifications, causing power to be suboptimal, or the evaluation of multiple genetic models, which augments the number of false-positive associations, ultimately leading to waste of resources with fruitless replication studies. We used simulated meta-analyses of large genetic association studies to investigate naive strategies of genetic model specification to optimize screenings of genome-wide meta-analysis signals for further replication. Methods Different methods, meta-analytical models and strategies were compared in terms of power and type-I error. Simulations were carried out for a binary trait in a wide range of true genetic models, genome-wide thresholds, minor allele frequencies (MAFs), odds ratios and between-study heterogeneity (tau(2)). Results Among the investigated strategies, a simple Bonferroni-corrected approach that fits both multiplicative and recessive models was found to be optimal in most examined scenarios, reducing the likelihood of false discoveries and enhancing power in scenarios with small MAFs either in the presence or in absence of heterogeneity. Nonetheless, this strategy is sensitive to tau(2) whenever the susceptibility allele is common (MAF epsilon 30%), resulting in an increased number of false-positive associations compared with an analysis that considers only the multiplicative model. Conclusion Invoking a simple Bonferroni adjustment and testing for both multiplicative and recessive models is fast and an optimal strategy in large meta-analysis-based screenings. However, care must be taken when examined variants are common, where specification of a multiplicative model alone may be preferable.

Five-Year Follow-Up of a Randomized Comparison Between Off-Pump and On-Pump Stable Multivessel Coronary Artery Bypass Grafting. The MASS III Trial

Background-Coronary artery bypass graft surgery with cardiopulmonary bypass is a safe, routine procedure. Nevertheless, significant morbidity remains, mostly because of the body`s response to the nonphysiological nature of cardiopulmonary bypass. Few data are available on the effects of off-pump coronary artery bypass graft surgery (OPCAB) on cardiac events and long-term clinical outcomes. Methods and Results-In a single-center randomized trial, 308 patients undergoing coronary artery bypass graft surgery were randomly assigned: 155 to OPCAB and 153 to on-pump CAB (ONCAB). Primary composite end points were death, myocardial infarction, further revascularization (surgery or angioplasty), or stroke. After 5-year follow-up, the primary composite end point was not different between groups (hazard ratio 0.71, 95% CI 0.41 to 1.22; P=0.21). A statistical difference was found between OPCAB and ONCAB groups in the duration of surgery (240 +/- 65 versus 300 +/- 87.5 minutes; P<0.001), in the length of ICU stay (19.5 +/- 17.8 versus 43 +/- 17.0 hours; P<0.001), time to extubation (4.6 +/- 6.8 versus 9.3 +/- 5.7 hours; P<0.001), hospital stay (6 +/- 2 versus 9 +/- 2 days; P<0.001), higher incidence of atrial fibrillation (35 versus 4% of patients; P<0.001), and blood requirements (31 versus 61% of patients; P<0.001), respectively. The number of grafts per patient was higher in the ONCAB than the OPCAB group (2.97 versus 2.49 grafts/patient; P<0.001). Conclusions-No difference was found between groups in the primary composite end point at 5-years follow-up. Although OPCAB surgery was related to a lower number of grafts and higher episodes of atrial fibrillation, it had no significant implications related to long-term outcomes.

Ten-Year Follow-Up Survival of the Medicine, Angioplasty, or Surgery Study (MASS II) A Randomized Controlled Clinical Trial of 3 Therapeutic Strategies for Multivessel Coronary Artery Disease

Background-This study compared the 10-year follow-up of percutaneous coronary intervention (PCI), coronary artery surgery (CABG), and medical treatment (MT) in patients with multivessel coronary artery disease, stable angina, and preserved ventricular function. Methods and Results-The primary end points were overall mortality, Q-wave myocardial infarction, or refractory angina that required revascularization. All data were analyzed according to the intention-to-treat principle. At a single institution, 611 patients were randomly assigned to CABG (n = 203), PCI (n = 205), or MT (n = 203). The 10-year survival rates were 74.9% with CABG, 75.1% with PCI, and 69% with MT (P = 0.089). The 10-year rates of myocardial infarction were 10.3% with CABG, 13.3% with PCI, and 20.7% with MT (P < 0.010). The 10-year rates of additional revascularizations were 7.4% with CABG, 41.9% with PCI, and 39.4% with MT (P < 0.001). Relative to the composite end point, Cox regression analysis showed a higher incidence of primary events in MT than in CABG (hazard ratio 2.35, 95% confidence interval 1.78 to 3.11) and in PCI than in CABG (hazard ratio 1.85, 95% confidence interval 1.39 to 2.47). Furthermore, 10-year rates of freedom from angina were 64% with CABG, 59% with PCI, and 43% with MT (P < 0.001). Conclusions-Compared with CABG, MT was associated with a significantly higher incidence of subsequent myocardial infarction, a higher rate of additional revascularization, a higher incidence of cardiac death, and consequently a 2.29-fold increased risk of combined events. PCI was associated with an increased need for further revascularization, a higher incidence of myocardial infarction, and a 1.46-fold increased risk of combined events compared with CABG. Additionally, CABG was better than MT at eliminating anginal symptoms.

Validation of a strategy to diagnose coronary artery disease and predict cardiac events in high-risk renal transplant candidates

Background We validated a strategy for diagnosis of coronary artery disease ( CAD) and prediction of cardiac events in high-risk renal transplant candidates ( at least one of the following: age >= 50 years, diabetes, cardiovascular disease). Methods A diagnosis and risk assessment strategy was used in 228 renal transplant candidates to validate an algorithm. Patients underwent dipyridamole myocardial stress testing and coronary angiography and were followed up until death, renal transplantation, or cardiac events. Results The prevalence of CAD was 47%. Stress testing did not detect significant CAD in 1/3 of patients. The sensitivity, specificity, and positive and negative predictive values of the stress test for detecting CAD were 70, 74, 69, and 71%, respectively. CAD, defined by angiography, was associated with increased probability of cardiac events [log-rank: 0.001; hazard ratio: 1.90, 95% confidence interval (CI): 1.29-2.92]. Diabetes (P=0.03; hazard ratio: 1.58, 95% CI: 1.06-2.45) and angiographically defined CAD (P=0.03; hazard ratio: 1.69, 95% CI: 1.08-2.78) were the independent predictors of events. Conclusion The results validate our observations in a smaller number of high-risk transplant candidates and indicate that stress testing is not appropriate for the diagnosis of CAD or prediction of cardiac events in this group of patients. Coronary angiography was correlated with events but, because less than 50% of patients had significant disease, it seems premature to recommend the test to all high-risk renal transplant candidates. The results suggest that angiography is necessary in many high-risk renal transplant candidates and that better noninvasive methods are still lacking to identify with precision patients who will benefit from invasive procedures. Coron Artery Dis 21: 164-167 (C) 2010 Wolters Kluwer Health vertical bar Lippincott Williams & Wilkins.

Derivation and external validation of a simple prediction model for the diagnosis of type 2 Diabetes Mellitus in the Brazilian urban population

A risk score model was developed based in a population of 1,224 individuals from the general population without known diabetes aging 35 years or more from an urban Brazilian population sample in order to select individuals who should be screened in subsequent testing and improve the efficacy of public health assurance. External validation was performed in a second, independent, population from a different city ascertained through a similar epidemiological protocol. The risk score was developed by multiple logistic regression and model performance and cutoff values were derived from a receiver operating characteristic curve. Model`s capacity of predicting fasting blood glucose levels was tested analyzing data from a 5-year follow-up protocol conducted in the general population. Items independently and significantly associated with diabetes were age, BMI and known hypertension. Sensitivity, specificity and proportion of further testing necessary for the best cutoff value were 75.9, 66.9 and 37.2%, respectively. External validation confirmed the model`s adequacy (AUC equal to 0.72). Finally, model score was also capable of predicting fasting blood glucose progression in non-diabetic individuals in a 5-year follow-up period. In conclusion, this simple diabetes risk score was able to identify individuals with an increased likelihood of having diabetes and it can be used to stratify subpopulations in which performing of subsequent tests is necessary and probably cost-effective.

Laboratory wear testing of polyurethane elastomers

A dry sand-rubber wheel abrasion test was used to investigate the wear behaviour of polyurethanes. The dry sand-rubber wheel abrasion test (DSRW test) is an approved ASTM test designed primarily for testing metals, therefore, in this study the set of test conditions was optimized for use with polyurethane elastomers. The wear performance of polyurethanes was assessed for the range of Shore hardness 85A to 65D, and a correlation was identified between the wear rate and the sample hardness. Polyurethane elastomers can be separated into three classes according to their hardness and wear performance, and each class shows a different dependence on the specimen temperature. This work has implications for use of the DSRW test for the prediction of field performance of polyurethanes. (C) Elsevier Science S.A.

Treatment with trastuzumab for 1 year after adjuvant chemotherapy in patients with HER2-positive early breast cancer: a 4-year follow-up of a randomised controlled trial

Background Treatment with adjuvant trastuzumab for 1 year improves disease-free survival and overall survival in patients with human epidermal growth factor receptor 2 (HER2)-positive early breast cancer. We aimed to assess disease-free survival and overall survival after a median follow-up of 4 years for patients enrolled on the Herceptin Adjuvant (HERA) trial. Methods The HERA trial is an international, multicentre, randomised, open-label, phase 3 trial comparing treatment with trastuzumab for 1 and 2 years with observation after standard neoadjuvant, adjuvant chemotherapy, or both in patients with HER2-positive early breast cancer. The primary endpoint was disease-free survival. After a positive first interim analysis at a median follow-up of 1 year for the comparison of treatment with trastuzumab for 1 year with observation, event-free patients in the observation group were allowed to cross over to receive trastuzumab. We report trial outcomes for the 1-year trastuzumab and observation groups at a median follow-up of 48.4 months (IQR 42.0-56.5) and assess the effect of the extensive crossover to trastuzumab. Our analysis was by intention-to-treat. The HERA trial is registered with the European Clinical Trials Database, number 2005-002385-11. Findings The HERA trial population comprised 1698 patients randomly assigned to the observation group and 1703 to the 1-year trastuzumab group. Intention-to-treat analysis of disease-free survival showed a significant benefit in favour of patients in the 1-year trastuzumab group (4-year disease-free survival 78.6%) compared with the observation group (4-year disease-free survival 72.2%; hazard ratio [HR] 0.76; 95% CI 0.66-0.87; p<0.0001). Intention-to-treat analysis of overall survival showed no significant difference in the risk of death (4-year overall survival 89.3% vs 87.7%, respectively; HR 0.85; 95% CI 0.70-1.04; p=0.11). Overall, 885 patients (52%) of the 1698 patients in the observation group crossed over to receive trastuzumab, and began treatment at median 22.8 months (range 4.5-52.7) from randomisation. In a non-randomised comparison, patients in the selective-crossover cohort had fewer disease-free survival events than patients remaining in the observation group (adjusted HR 0.68; 95% CI 0.51-0.90; p=0.0077). Higher incidences of grade 3-4 and fatal adverse events were noted on 1-year trastuzumab than in the observation group. The most common grade 3 or 4 adverse events, each in less than 1% of patients, were congestive cardiac failure, hypertension, arthralgia, back pain, central-line infection, hot flush, headache, and diarrhoea. Interpretation Treatment with adjuvant trastuzumab for 1 year after chemotherapy is associated with significant clinical benefit at 4-year median follow-up. The substantial selective crossover of patients in the observation group to trastuzumab was associated with improved outcomes for this cohort.

Long-Term Follow-Up After Successful Transjugular Intrahepatic Portosystemic Shunt Placement in a Pediatric Patient with Budd-Chiari Syndrome

Orthotopic liver transplantation is the standard of care in patients with Budd-Chiari syndrome (BCS), and transjugular intrahepatic portosystemic shunt (TIPS) has become an important adjunct procedure while the patient is waiting for a liver. No long-term follow up of TIPS in BCS patients has been published in children. We report successful 10-year follow-up of a child with BCS and iatrogenic TIPS dysfunction caused by oral contraceptive use.