Context: Automatic code-based test input generation aims at generating a test suite ensuring good code coverage. Dynamic Symbolic Execution (DSE) recently emerged as a strong code-based testing technique to increase coverage by solving path conditions with a combination of symbolic constraint solving and concrete executions. Objective: When selecting paths in DSE for generating test inputs, som...

In order to minimize production losses, and limit the use of chemicals, several organic products have been developed. The objective this study is assess effect biostimulant Banzai fertilizer on cocoa tree productivity. Conducted in department Toumodi, took place one device with a field that has received last three years (DAE) another no past (DSE). results obtained showed plots had applied prod...

The diagnostic accuracy of dobutamine stress echocardiography (DSE) (incremental infused doses of 5, 10, 20 and 30 micrograms/kg/min) was evaluated in 141 patients who underwent coronary arteriography within 2 weeks of DSE. All patients were being evaluated for known or suspected coronary artery disease (CAD). DSE was interpreted blindly as normal or showing evidence of CAD, depending on the pr...

Dobutamine stress echocardiography (DSE) is an accurate noninvasive test used for the diagnosis and evaluation of patients with known or suspected coronary artery disease (CAD). The aim of this study was to determine the rate of positive findings in DSE, to define the echocardiographic and clinical characteristics of women with systemic lupus erythematosus (SLE) and to evaluate the safety of DS...

BACKGROUND The identification of hibernating myocardium is important in selecting patients who will benefit from coronary revascularization. This study was performed to determine whether dobutamine stress echocardiography (DSE) could identify hibernating myocardium and predict improvement in regional systolic wall thickening after revascularization. METHODS AND RESULTS DSE was performed in 49...

Unit test generation tools typically aim at one of two objectives: to explore the program behavior in order to exercise automated oracles, or to produce a representative test set that can be used to manually add oracles or to use as a regression test set. Dynamic symbolic execution (DSE) can efficiently explore all simple paths through a program, exercising automated oracles such as assertions ...

In type 2 diabetes, coronary artery disease (CAD), the major cause of mortality, is often diagnosed late because of silent myocardial ischemia (MI) (1). Asymptomatic type 2 diabetic patients, particularly those with additional atherogenic factors predisposing to a more severe coronary risk (i.e., those “at high risk”) have to be, therefore, screened for CAD (2). Exercise electrocardiogram (ECG)...

R econfigurable architectures are becoming increasingly popular as they bear a promise of combining the flexibility of software with the performance of hardware. Nevertheless, such architectures are subject to numerous constraints, such as performance, memory requirements, chip area, and power consumption. To create an efficient design, performing Design Space Exploration (DSE) at various stage...

BACKGROUND Despite pre-kidney-transplant cardiovascular (CV) assessment being routine care to minimise perioperative risk, the utility of such assessment is not well established. The study reviewed the evaluation and outcome of a standardised CV assessment protocol. METHODS Data were analysed for 231 patients (age 53.4 ± 12.9 years, diabetes 34.6%) referred for kidney transplantation between ...

BACKGROUND Cardiac allograft vasculopathy (CAV) is a major late complication in cardiac transplant recipients and has a relevant impact on outcome of these patients. AIMS OF THIS STUDY to compare, in cardiac transplant recipients patients, the diagnostic value of pressure/volume relationship (ESPVR) during dobutamine stress echocardiography (DSE) for coronary artery disease, assessed by Multi...