A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Stateful testing: Finding more errors in code and contracts
2011
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
Automated random testing has shown to be an effective approach to finding faults but still faces a major unsolved issue: how to generate test inputs diverse enough to find many faults and find them quickly. Stateful testing, the automated testing technique introduced in this article, generates new test cases that improve an existing test suite. The generated test cases are designed to violate the dynamically inferred contracts (invariants) characterizing the existing test suite. As a
doi:10.1109/ase.2011.6100094
dblp:conf/kbse/WeiRFPHSNM11
fatcat:4gadu3um3jbeveodoedsgsl2a4