Test-Comp 2022 is the 4th edition of the Competition on Software Testing. Research
competitions are a means to provide annual comparative evaluations. Test-Comp focusses …

The 5th edition of the Competition on Software Testing (Test-Comp 2023) provides again an
overview and comparative evaluation of automatic test-suite generators for C programs. The …

We describe and evaluate a novel approach to automated test generation that exploits
fuzzing and Bounded Model Checking (BMC) engines to detect security vulnerabilities in C …

This report describes Test-Comp 2021, the 3rd edition of the Competition on Software
Testing. The competition is a series of annual comparative evaluations of fully automatic …

In this paper, we present the design of Owi, a symbolic interpreter for WebAssembly written
in OCaml, and how we used it to create a state-of-the-art tool to find bugs in programs …

WebAssembly (Wasm) is a new binary instruction format that allows targeted compiled code
written in high-level languages to be executed by the browser's JavaScript engine with near …

Coverage Guided Fuzzing (CGF) is a greybox test generation technique. Bounded Model
Checking (BMC) is a whitebox test generation technique. Both these have been highly …

Achieving high test coverage is important when developing blockchain smart contracts, but it
could be challenging without automated reasoning tools. In this paper, we present SolTG, an …

Abstract We introduce Ultimate TestGen, a novel tool for automatic test-case generation.
Like many other test-case generators, Ultimate TestGen builds on verification technology, ie …

Automata-based Software Model Checking (Competition Contribution) Page 340 Ultimate
TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition …