Learn More
A system built in terms of autonomous software agents may require even greater correctness assurance than one that is merely reacting to the immediate control of its users. Agents make substantial decisions for themselves, so thorough testing is an important consideration. However, autonomy also makes testing harder; by their nature, autonomous agents may(More)
Software testing is an effective, yet expensive, method to improve software quality. Test automation, a potential way to reduce testing cost, has received enormous research attention recently, but the so-called “oracle problem” (how to decide the PASS/FAIL outcome of a test execution) is still a major obstacle to such cost reduction. We have(More)
BACKGROUND AND PURPOSE In acute stroke it is no longer sufficient to detect simply ischemia, but also to try to evaluate reperfusion/recanalization status and predict eventual hemorrhagic transformation. Arterial spin labeling (ASL) perfusion may have advantages over contrast-enhanced perfusion-weighted imaging (cePWI), and susceptibility weighted imaging(More)
Although cross-sectional diffusion tensor imaging (DTI) studies revealed significant white matter changes in mild cognitive impairment (MCI), the utility of this technique in predicting further cognitive decline is debated. Thirty-five healthy controls (HC) and 67 MCI subjects with DTI baseline data were neuropsychologically assessed at one year. Among(More)
PURPOSE To test whether susceptibility-weighted magnetic resonance imaging at baseline may help predict cognitive decline. MATERIALS AND METHODS This prospective study was approved by the institutional review board, and written informed consent was obtained from all participants. Thirty-five healthy control subjects and 69 patients with mild cognitive(More)
Model-based testing relies on the assumption that effective adequacy criteria can be defined in terms of model coverage achieved by a set of test paths. However, such test paths are only abstract test cases and input test data must be specified to make them concrete. We propose a novel approach that combines model-based and combinatorial testing in order to(More)