10 research outputs found
Circumcision-related tragedies seen in children at the Komfo Anokye Teaching Hospital, Kumasi, Ghana
Matching Test Cases for Effective Fault Localization
Finding the cause of a program’s failure from
a causal-analysis perspective requires, for each statement,
tests that cover the statement and tests that do not cover
the statement. However, in practice the composition of test
suites can be detrimental to effective fault localization for
two reasons: (1) lack-of-balance, which occurs if the coverage
characteristics of tests that cover a statement differ from
tests that do not cover the statement, and (2) lack-of-overlap,
which occurs if test cases that reach the control-dependence
predecessor of a statement cover or do not cover the statement.
This paper addresses these two problems. First, the paper
presents empirical results that show that, for effective fault
localization, the composition of test suites should exhibit balance
and overlap. Second, the paper presents new techniques to
overcome these problems—matching to address lack-of-balance
and causal-effect imputation to overcome lack-of-overlap—and
presents empirical evidence that these techniques increase the
effectiveness of fault localization
On-line anomaly detection of deployed software: a statistical machine learning approach
This paper presents a new machine-learning technique that performs anomaly detection as software is executing in the field. The technique uses a fully observable Markov model where each state in the model emits a number of distinct observations according to a probability distribution, and estimates the model parameters using the Baum-Welch algorithm. The trained model is then deployed with the software to perform anomaly detection. By performing the anomaly detection as the software is executing, faults associated with anomalies can be located and fixed before they cause critical failures in the system, and developers time to debug deployed software can be reduced. This paper also presents a prototype implementation of our technique, along with a case study that shows, for the subjects we studied, the effectiveness of the technique
Hypotensive and Antihypertensive Properties and Safety for Use of Annona muricata and Persea americana and Their Combination Products
Introduction. In the management of hypertension (a cardiovascular disease and the leading metabolic risk factor in noncommunicable diseases) with herbal medicines, efficacy and safety are of uttermost concern. This study sought to establish hypotensive, antihypertensive, drug interaction, and safety for use of the aqueous leaf extracts of Annona muricata (AME), Persea americana (PAE), or their combination products (CAPE). Methodology. Systolic and diastolic blood pressure (SBP and DBP), mean arterial blood pressure (MAP), and heart rate (HR) were measured in normotensive Sprague-Dawley rats treated with 50–150 mg/kg of AME, PAE, or CAPE to establish a hypotensive effect. “Combination index” was calculated to establish interaction between AME and PAE. The antihypertensive effect of CAPE was established by measuring SBP, DBP, MAP, and HR in ethanol-sucrose- and epinephrine-induced hypertension. Full blood count, liver and kidney function tests, and urinalysis were determined in ethanol/sucrose-induced hypertension to establish safety for use. Results. AME, PAE, and CAPE significantly (p≤0.001) decreased BP in both normotensive and hypertensive animals. Effects of CAPE 1, CAPE 2, and CAPE 3 were synergistic (combination indices of 0.65 ± 0.07, 0.76 ± 0.09, and 0.87 ± 0.07, respectively). There was a significant decrease (p≤0.01−0.001) in SBP and MAP with 100 mg/kg CAPE 1 and 75 mg/kg CAPE 2 treatment in hypertension as well as with nifedipine (p≤0.001) treatment. Epinephrine-induced hypertension in anesthetized cats was significantly and dose-dependently inhibited (p0.05) on full blood count, liver and kidney function, and urine composition in hypertensive rats. Conclusion. The aqueous leaf extracts of Annona muricata, Persea americana, and their combination products possess antihypertensive properties, with combination products showing synergism and safety with use