Generating test cases for specification mining

Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller
2010 Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10  
Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO 1 typestate miner generates test cases that cover previously unobserved behavior, systematically extending the execution space and enriching the specification. To our knowledge, this is the first combination of systematic test case generation and typestate mining-a combination with clear benefits: On a sample of
more » ... defects seeded into six Java subjects, a static typestate verifier fed with enriched models would report significantly more true positives, and significantly fewer false positives than the initial models.
doi:10.1145/1831708.1831719 dblp:conf/issta/DallmeierKMHZ10 fatcat:nwhtck7yo5defey6v3e6korfci