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 …

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 …

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 …

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 …

Concolic execution and fuzzing are two complementary coverage-based testing techniques.
How to achieve the best of both remains an open challenge. To address this research …

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 …

This report describes the 2020 Competition on Software Testing (Test-Comp), the 2nd
edition of a series of comparative evaluations of fully automatic software test-case …

We introduce a new symbolic reflection API for implementing tool-independent summaries
for the symbolic execution of C programs. We formalise the proposed API as a symbolic …

Abstract Modified Condition/Decision Coverage (MC/DC) is an important criterion to test the
safety-critical applications because it generates test cases in a linear manner from N+ 1 to 2 …

Dynamic Symbolic Execution (DSE) is an important method for the testing of programs. The
major advantage of DSE is its path-bypath exploration of the program execution space …