Generative models have become adept at producing artifacts such as images, videos, and
prose at human-like levels of proficiency. New generative techniques, such as unsupervised …

We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs
managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation …

Research on software testing produces many innovative automated techniques, but
because software testing is by necessity incomplete and approximate, any new technique …

We present an approach for describing tests using non-deterministic test generation
programs. To write such programs, we introduce UDITA, a Java-based language with non …

Several promising techniques have been proposed to automate different tasks in software
testing, such as test data generation for object-oriented software. However, reported studies …

To address business requirements and to survive in competing markets, companies or open
source organizations often have to release different versions of their projects in different …

In an object-oriented program, a unit test often consists of a sequence of method calls that
create and mutate objects, then use them as arguments to a method under test. It is …

In this paper, we propose a new semantic clone detection technique by comparing
programs' abstract memory states, which are computed by a semantic-based static analyzer …

Developers of thread-safe classes struggle with two opposing goals. The class must be
correct, which requires synchronizing concurrent accesses, and the class should provide …

We propose Guided Random Testing (GRT), which uses static and dynamic analysis to
include information on program types, data, and dependencies in various stages of …