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
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",
}