Abstract The Java Modeling Language (JML) can be used to specify the detailed design of
Java classes and interfaces by adding annotations to Java source files. The aim of JML is to …

Frameworks and libraries offer reusable and customizable functionality through Application
Programming Interfaces (APIs). Correctly using large and sophisticated APIs can represent a …

Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon
invariant detector reports likely program invariants. An invariant is a property that holds at a …

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 …

Dynamic analysis of software systems produces behavioral models that are useful for
analysis, verification and testing. The main techniques for extracting models of functional …

Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is
designed and implemented with several usage scenarios in mind, some of which possibly …

Dynamically discovering likely program invariants from concrete test executions has
emerged as a highly promising software engineering technique. Dynamic invariant …

This paper describes a technique that selects, from a large set of test inputs, a small subset
likely to reveal faults in the software under test. The technique takes a program or software …

Parameterized unit tests extend the current industry practice of using closed unit tests
defined as parameterless methods. Parameterized unit tests separate two concerns: 1) They …