Programs expecting structured inputs often consist of both a syntactic analysis stage, which
parses raw input, and a semantic analysis stage, which conducts checks on the parsed input …

We present JQF, a platform for performing coverage-guided fuzz testing in Java. JQF is
designed both for practitioners, who wish to find bugs in Java programs, as well as for …

Property-based random testing, exemplified by frameworks such as Haskell's QuickCheck,
works by testing an executable predicate (a property) on a stream of randomly generated …

Regression test selection (RTS) reduces regression testing costs by re-running only tests
that can change behavior due to code changes. Researchers and large software …

Intensive use of libraries in Java projects brings potential risk of dependency conflicts, which
occur when a project directly or indirectly depends on multiple versions of the same library …

Formal methods are a key to engineering more reliable systems. In this paper, we focus on
an important application of formal methods—enumerating solutions to logical formulas that …

We present a technique to distinguish valid from invalid data structure objects. The
technique is based on building an artificial neural network, more precisely a binary classifier …

Programs expecting structured inputs often consist of both a syntactic analysis stage, in
which raw input is parsed into an internal data structure, and a semantic analysis stage …

Abstract Property-Based Testing requires the programmer to write suitable generators, ie,
programs that generate (possibly in a random way) input values for which the program …

The risk posed by software bugs has increased tremendously as software is now essential to
many aspects of our daily lives. Software testing is still the most common method for finding …