Invariant Inference for Static Checking: An Empirical Evaluation (2002)
by
Jeremy W. Nimmer
,
Michael D. Ernst
| Venue: | In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002 |
| Citations: | 56 - 15 self |
BibTeX
@INPROCEEDINGS{Nimmer02invariantinference,
author = {Jeremy W. Nimmer and Michael D. Ernst},
title = {Invariant Inference for Static Checking: An Empirical Evaluation},
booktitle = {In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002},
year = {2002},
pages = {11--20}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Static checking can verify the absence of errors in a program, but often requires written annotations or speci cations. As a result, static checking can be dicult to use eectively: it can be dicult to determine a speci cation and tedious to annotate programs. Automated tools that aid the annotation process can decrease the cost of static checking and enable it to be more widely used.
