Automatically Generating Test Cases for Specification Mining

Authors:
Valentin Dallmeier;Nikolai Knopp;Christoph Mallon;Gordon Fraser;Sebastian Hack;Andreas Zeller
Affiliations:
Universität des Saarlandes, Saarbrücken;Universität des Saarlandes, Saarbrücken;Universität des Saarlandes, Saarbrücken;Universität des Saarlandes, Saarbrücken;Universität des Saarlandes, Saarbrücken;Universität des Saarlandes, Saarbrücken
Venue:
IEEE Transactions on Software Engineering
Year:
2012

Citing 0
Cited 4

Dynamic property mining for embedded software

Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Automatic synthesis of modular connectors via composition of protocol mediation patterns

Proceedings of the 2013 International Conference on Software Engineering
Termination proofs from tests

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Producing software by integration: challenges and research directions (keynote)

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 (“Tautoko” is the Mãori word for “enhance, enrich.”) 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 800 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.