A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)
[chapter]
2020
Lecture Notes in Computer Science
Our CoVeriTest submission, which is implemented in the analysis framework CPAchecker, uses verification techniques for automatic test-case generation. To this end, it checks the reachability of every test goal and generates one test case per reachable goal. Instead of checking the reachability of every test goal individually, which is too expensive, CoVeriTest considers all test goals at once and removes already covered goals from future reachability queries. To deal with the diverse set of
doi:10.1007/978-3-030-45234-6_30
fatcat:gounrrbnlrhh3k3h7arumucvai