Matthew B. Dwyer, Corina S. Pasareanu
Filter-Based Model Checking of Partial Systems
FSE, 1998.
@inproceedings{FSE-1998-DwyerP,
author = "Matthew B. Dwyer and Corina S. Pasareanu",
booktitle = "{Proceedings of the Sixth International Symposium on Foundations of Software Engineering}",
doi = "10.1145/288195.288307",
pages = "189--202",
publisher = "{ACM}",
title = "{Filter-Based Model Checking of Partial Systems}",
year = 1998,
}