This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

Automatically Generating Test Cases for Specification Mining
by Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Gordon Fraser, Sebastian Hack, Andreas Zeller

IEEE Transactions on Software Engineering, Pages 243-257, Volume 38, Number 2, March 2012.

Download as PDF file.


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 Maori 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.

BibTeX Entry

    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
    year = "2012",
    month = mar,
    journal = "IEEE Transactions on Software Engineering",
    number = "2",
    pages = "243--257",
    volume = "38",

Show all publications of the Software Engineering Chair.