We present a technique that improves random test generation by incorporating feedback
obtained from executing test inputs as they are created. Our technique builds inputs …

We present CESE, a tool that combines exhaustive enumeration of test inputs from a
structured domain with symbolic execution driven test generation. We target programs …

Although unit tests are recognized as an important tool in software development,
programmers prefer to write code, rather than unit tests. Despite the emergence of tools like …

This paper describes an analysis approach based on a of static and dynamic techniques to?
nd run-time errors in Java code. It uses symbolic execution to? nd constraints under which …

Various program analysis techniques are efficient at discovering failures and properties.
However, it is often difficult to evaluate results, such as program traces. This calls for …

Many static and dynamic analyses have been developed to improve program quality.
Several of them are well known and widely used in practice. It is not entirely clear, however …

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet
the manually created test scripts are often seriously incomplete. A unit-testing tool called …

We present COMET, a system that automatically assembles a test suite for a C program to
improve line coverage, and give initial results for a prototype implementation. COMET works …

We present a novel framework, Whispec, for white-box testing of methods that manipulate
structurally complex data, such as those that pervade library classes. Given method …

For many years, researchers have claimed that software specifications can be used to
improve many software development activities. A formal specification documents important …