We present the first symbolic execution and automatic test generation tool for C++ programs. First we describe our effort in extending an existing symbolic execution tool for C programs to handle C++ programs. We then show how we made this tool generic, efficient and usable to handle real-life industrial applications. Novel features include extended symbolic virtual machine, library optimizatio...

This report serves as initial documentation of the design and methodology to be employed by Ballista, an automatic robustness testing and hardening tool for Commercial Off-The-Shelf software components. The Ballista architecture includes the following major components: • Automatic testing of software modules determines whether they behave robustly in the face of exceptional inputs. • Characteri...

In order to reduce the high cost of manual software testing and at the same time to increase the reliability of the testing processes researchers and practitioners have tried to automate it. One of the most important components in a testing environment is an automatic test data generator — a system that automatically generates test data for a given program. Through the years several attempts in...

This paper presents an automatic method of medical image segmentation used inthe study of the Central Nervous System (CNS) by multilevel thresholding based on histogram difference. Our method produced a performance of an 88.6%, for the considered testing images, when the results where compared with those provided by a human expert. Keywordsmedical image, Magnetic Resonance Imaging (MRI), image ...

Test case generation is among the most labour-intensive tasks in software testing and also one that has a strong impact on the effectiveness and efficiency of software testing. For these reasons, it has also been one of the most active topics in the research on software testing for several decades, resulting in many different approaches and tools. This paper presents an orchestrated survey of t...