Mining Models - SPIN 2012
by Andreas Zeller

Proceedings of the 19th International Conference on Model Checking Software, Pages 23-23, Springer-Verlag, July 2012.

ISBN: 978-3-642-31758-3

Download as PDF file.

Abstract

Modern Model Checking techniques can easily verify advanced properties in complex software systems. Specifying these models and properties is as hard as ever, though. I present techniques to extract models from legacy systems-models that are precise and complete enough to serve as specifications, and which open the door to modular verification.

BibTeX Entry

@inproceedings{zeller-spin-2012,
    title = "Mining Models",
    author = "Andreas Zeller",
    year = "2012",
    month = jul,
    booktitle = "Proceedings of the 19th International Conference on Model Checking Software",
    location = "Oxford, UK",
    pages = "23--23",
    publisher = "Springer-Verlag",
    ISBN = "978-3-642-31758-3",
}

Show all publications of the Software Engineering Chair.