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
Verification techniques are well-suited for automatic test-case generation. They basically need to check the reachability of every test goal and generate test cases for all reachable goals. This is also the basic idea of our CoVeriTest submission. However, the set of test goals is not fixed in CoVeriTest , instead we can configure the set of test goals. For Test-Comp'19, we support the set of all __VERIFIER_error() calls as well as the set of all branches. Thus, we can deal with the two testdoi:10.1007/s10009-020-00572-1 fatcat:g3w2echfkvbwdcdd5dnu6375iq