Tool competitions are a special form of comparative evaluation, where each tool has a team
of developers or supporters associated that makes sure the tool is properly configured to …

The setup of Symbiotic 8 for Test-Comp 2021 brings radical changes in the test generation
for coverage-branches property. Similarly as in Symbiotic 7, we generate tests by running …

Correcting bugs using modern Automated Program Repair (APR) can be both time-
consuming and resource-expensive. We describe a program repair approach that aims to …

When checking concurrent software using a finite-state model, we face a formidable state
explosion problem. One solution to this problem is dependence-based program slicing …

DG is a C++ library providing elements for building program analysis tools. Its main
components are a points-to analysis, a data dependence analysis, a control dependence …

There are many formal methods for proving or disproving various properties of programs
(eg, that all assertions in a program hold). One such method is symbolic execution that …

Research competitions and challenges are a driving force in transferring theoretical results
into working software tools that demonstrate the state of the art in the respective field of …

KLEE is a tool for dynamic symbolic execution. It can automatically generate test cases for
computer programs written in programming languages, which can be translated to the LLVM …

Timing verification of hard real-time systems is required to ensure the safety, security, and
functionality of these systems. To ensure these systems are within specification, typical …