Symbiotic 4: Beyond Reachability (Competition Contribution)
Symbolic execution and program testing