research
∙
09/08/2023
Seeding Contradiction: a fast method for generating full-coverage test suites
The regression test suite, a key resource for managing program evolution...
share
research
∙
08/21/2022
Improving Counterexample Quality from Failed Program Verification
In software verification, a successful automated program proof is the ul...
research
∙
04/21/2009
