Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft
ISSTA, 1998.
@inproceedings{ISSTA-1998-GodefroidHJ,
author = "Patrice Godefroid and Robert S. Hanmer and Lalita Jategaonkar Jagadeesan",
booktitle = "{Proceedings of International Symposium on Software Testing and Analysis}",
doi = "10.1145/271771.271800",
pages = "124--133",
publisher = "{ACM Press}",
title = "{Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft}",
year = 1998,
}