Automatically Generating Test Cases for Specification Mining

  title={Automatically Generating Test Cases for Specification Mining},
  author={Valentin Dallmeier and Nikolai Knopp and Christoph Mallon and Gordon Fraser and Sebastian Hack and Andreas Zeller},
  journal={IEEE Transactions on Software Engineering},
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… CONTINUE READING
Highly Cited
This paper has 54 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 40 extracted citations

Data-Driven Process Discovery and Analysis

Lecture Notes in Business Information Processing • 2016
View 10 Excerpts
Highly Influenced

GK-Tail+ An Efficient Approach to Learn Software Models

IEEE Transactions on Software Engineering • 2017
View 5 Excerpts
Highly Influenced

Discovering specification violations in networked software systems

2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) • 2015
View 6 Excerpts
Highly Influenced

Compositional Mining of Multiple Object API Protocols through State Abstraction

TheScientificWorldJournal • 2013
View 9 Excerpts
Highly Influenced

Inferring extended finite state machine models from software executions

Empirical Software Engineering • 2013
View 4 Excerpts
Highly Influenced

Leveraging specifications of subcomponents to mine precise specifications of composite components

2013 20th Working Conference on Reverse Engineering (WCRE) • 2013
View 4 Excerpts
Highly Influenced

An oversampling approach for mining program specifications

Frontiers of Information Technology & Electronic Engineering • 2018
View 1 Excerpt

Automatic Discovery of Behavioral Models From Software Execution Data

IEEE Transactions on Automation Science and Engineering • 2018
View 1 Excerpt

54 Citations

Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 34 references

Evolutionary testing of classes

ISSTA • 2004
View 4 Excerpts
Highly Influenced

Generating Fixes from Object Behavior Anomalies

2009 IEEE/ACM International Conference on Automated Software Engineering • 2009
View 2 Excerpts

Invariant-based automatic testing of AJAX user interfaces

2009 IEEE 31st International Conference on Software Engineering • 2009
View 1 Excerpt

Programs that test themselves

S. Misailovic A. Milicevic, D. Marinov, S. Khurshid.
Computer • 2009

Similar Papers

Loading similar papers…