Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection

Combinatorial interaction testing (CIT) is important because it tests the interactions between the many features and parameters that make up the configuration space of software systems. Simulated Annealing (SA) and Greedy Algorithms have been widely used to find CIT test suites. From the literature, there is a widely-held belief that SA is slower, but produces more effective tests suites than Greedy and that SA cannot scale to higher strength coverage. We evaluated both algorithms on seven real-world subjects for the well-studied two-way up to the rarely-studied six-way interaction strengths. Our findings present evidence to challenge this current orthodoxy: real-world constraints allow SA to achieve higher strengths. Furthermore, there was no evidence that Greedy was less effective (in terms of time to fault revelation) compared to SA; the results for the greedy algorithm are actually slightly superior. However, the results are critically dependent on the approach adopted to constraint handling. Moreover, we have also evaluated a genetic algorithm for constrained CIT test suite generation. This is the first time strengths higher than 3 and constraint handling have been used to evaluate GA. Our results show that GA is competitive only for pairwise testing for subjects with a small number of constraints

Effects of religious vs. standard cognitive behavioral therapy on therapeutic alliance: A randomized clinical trial

Background: Treatments that integrate religious clients' beliefs into therapy may enhance the therapeutic alliance (TA) in religious clients. Objective: Compare the effects of religiously integrated cognitive behavioral therapy (RCBT) and standard CBT (SCBT) on TA in adults with major depression and chronic medical illness. Method: Multi-site randomized controlled trial in 132 participants, of whom 108 (SCBT = 53, RCBT = 55) completed the Revised Helping Alliance Questionnaire (HAQ-II) at 4, 8, and 12 weeks. Trajectory of change in scores over time was compared between groups. Results: HAQ-II score at 4 weeks predicted a decline in depressive symptoms over time independent of treatment group (B = −0.06, SE = 0.02, p = 0.002, n = 108). There was a marginally significant difference in HAQ-II scores at 4 weeks that favored RCBT (p = 0.076); however, the mixed effects model indicated a significant group by time interaction that favored the SCBT group (B = 1.84, SE = 0.90, degrees of freedom = 181, t = 2.04, p = 0.043, d = 0.30). Conclusions: While RCBT produces a marginally greater improvement in TA initially compared with SCBT, SCBT soon catches up

Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines

In Software Product Lines (SPLs) it is not possible, in general, to test all products of the family. The number of products denoted by a SPL is very high due to the combinatorial explosion of features. For this reason, some coverage criteria have been proposed which try to test at least all feature interactions without the necessity to test all products, e.g., all pairs of features (pairwise coverage). In addition, it is desirable to first test products composed by a set of priority features. This problem is known as the Prioritized Pairwise Test Data Generation Problem. In this work we propose two hybrid algorithms using Integer Programming (IP) to generate a prioritized test suite. The first one is based on an integer linear formulation and the second one is based on a integer quadratic (nonlinear) formulation. We compare these techniques with two state-of-the-art algorithms, the Parallel Prioritized Genetic Solver (PPGS) and a greedy algorithm called prioritized-ICPL. Our study reveals that our hybrid nonlinear approach is clearly the best in both, solution quality and computation time. Moreover, the nonlinear variant (the fastest one) is 27 and 42 times faster than PPGS in the two groups of instances analyzed in this work.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Partially funded by the Spanish Ministry of Economy and Competitiveness and FEDER under contract TIN2014-57341-R, the University of Málaga, Andalucía Tech and the Spanish Network TIN2015-71841-REDT (SEBASENet)

Patient-Reported Side Effects of Intradetrusor Botulinum Toxin Type A for Idiopathic Overactive Bladder Syndrome

Objective: The aim of the study was a prospective assessment of patient-reported side effects in an open-label study after intradetrusor botulinum toxin injections for idiopathic overactive bladder (OAB). Patients and Methods: Botulinum toxin A injection was performed in 56 patients with idiopathic OAB. Patients were followed up for 6 months concerning side effects and patients' satisfaction. Results: Different types of side effects were assessed such as dry mouth (19.6%), arm weakness (8.9%), eyelid weakness (8.9%), leg weakness (7.1%), torso weakness (5.4%), impaired vision (5.4%) and dysphagia (5.4%). In all cases, symptoms were mild and transient. Urological complications such as gross hematuria (17.9%), acute urinary retention (8.9%) and acute urinary tract infection (7.1%) were noticed. In all cases, acute urinary retention was transient and treated with temporary intermittent self-catheterization. There was no statistically significant correlation between dosage and observed side effects. Patients' satisfaction rate was high (71.4%). Conclusion: Intradetrusor injection of botulinum toxin was associated with a high rate of neurourological side effects. In general, side effects were transient, mild and did not require special treatment. Copyright (C) 2010 S. Karger AG, Base

Nifedipine in Scleroderma Ulcerations

Cutaneous ulcerations may be due to a variety of causes, including vasculitis. infections, arterial insufficiency, and microvascular damage. The net effect is diminished blood flow to the skin. Nifedipine, a calcium antagonist, has been shown to improve cutaneous blood How and to alleviate reactive vasospastic ischemia (Raynaud's phenomenon). The authors report an ischemic ulcer of scleroderma showing visible improvement with nifedipine therapy.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65515/1/j.1365-4362.1984.tb01233.x.pd

A powerful intervention: general practitioners' use of sickness certification in depression

<b>Background</b> Depression is frequently cited as the reason for sickness absence, and it is estimated that sickness certificates are issued in one third of consultations for depression. Previous research has considered GP views of sickness certification but not specifically in relation to depression. This study aimed to explore GPs views of sickness certification in relation to depression.<p></p> <b>Methods</b> A purposive sample of GP practices across Scotland was selected to reflect variations in levels of incapacity claimants and antidepressant prescribing. Qualitative interviews were carried out between 2008 and 2009.<p></p> <b>Results</b> A total of 30 GPs were interviewed. A number of common themes emerged including the perceived importance of GP advocacy on behalf of their patients, the tensions between stakeholders involved in the sickness certification system, the need to respond flexibly to patients who present with depression and the therapeutic nature of time away from work as well as the benefits of work. GPs reported that most patients with depression returned to work after a short period of absence and that it was often difficult to predict which patients would struggle to return to work.<p></p> <b>Conclusions</b> GPs reported that dealing with sickness certification and depression presents distinct challenges. Sickness certificates are often viewed as powerful interventions, the effectiveness of time away from work for those with depression should be subject to robust enquiry

A review of fMRI simulation studies

Simulation studies that validate statistical techniques for fMRI data are challenging due to the complexity of the data. Therefore, it is not surprising that no common data generating process is available (i.e. several models can be found to model BOLD activation and noise). Based on a literature search, a database of simulation studies was compiled. The information in this database was analysed and critically evaluated focusing on the parameters in the simulation design, the adopted model to generate fMRI data, and on how the simulation studies are reported. Our literature analysis demonstrates that many fMRI simulation studies do not report a thorough experimental design and almost consistently ignore crucial knowledge on how fMRI data are acquired. Advice is provided on how the quality of fMRI simulation studies can be improved

Genetic Improvement @ ICSE 2020

Following Prof. Mark Harman of Facebook's keynote and formal presentations (which are recorded in the proceedings) there was a wide ranging discussion at the eighth international Genetic Improvement workshop, GI-2020 @ ICSE (held as part of the 42nd ACM/IEEE International Conference on Software Engineering on Friday 3rd July 2020). Topics included industry take up, human factors, explainabiloity (explainability, justifyability, exploitability) and GI benchmarks. We also contrast various recent online approaches (e.g. SBST 2020) to holding virtual computer science conferences and workshops via the WWW on the Internet without face-2-face interaction. Finally we speculate on how the Coronavirus Covid-19 Pandemic will affect research next year and into the future

Brendan meets Columbus: A more commodious islescape

This paper proposes that we can reimagine insular literatures and medieval islescapes as commodious seas of cultural and intellectual loci that span time, culture, and text alike. By moving beyond the rhetoric of insular separation or connectivity, we can see that islands connect even when medieval minds saw separation. The essay focuses on the Brendan legend and the commodious cultural ‘sea of islands’ that it inhabits, a space that connects the modern reader to a history of other connections, fact to fancy, and the real and the imaginary. When sailing in this sea, Brendan meets Columbus, and the late medieval idea of a lost island spreads though space and time

Validity of the Polar V800 heart rate monitor to measure RR intervals at rest

Purpose To assess the validity of RR intervals and short-term heart rate variability (HRV) data obtained from the Polar V800 heart rate monitor, in comparison to an electrocardiograph (ECG). Method Twenty participants completed an active orthostatic test using the V800 and ECG. An improved method for the identification and correction of RR intervals was employed prior to HRV analysis. Agreement of the data was assessed using intra-class correlation coefficients (ICC), Bland–Altman limits of agreement (LoA), and effect size (ES). Results A small number of errors were detected between ECG and Polar RR signal, with a combined error rate of 0.086 %. The RR intervals from ECG to V800 were significantly different, but with small ES for both supine corrected and standing corrected data (ES 0.999 for both supine and standing corrected intervals. When analysed with the same HRV software no significant differences were observed in any HRV parameters, for either supine or standing; the data displayed small bias and tight LoA, strong ICC (>0.99) and small ES (≤0.029). Conclusions The V800 improves over previous Polar models, with narrower LoA, stronger ICC and smaller ES for both the RR intervals and HRV parameters. The findings support the validity of the Polar V800 and its ability to produce RR interval recordings consistent with an ECG. In addition, HRV parameters derived from these recordings are also highly comparable