Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution).

Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs

Browse the full FASE paper archive.