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

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

Browse the full FASE paper archive.