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:58 - 15 self

Document Versions

Invariant Inference for Static Checking: An Empirical Evaluation –Jeremy W. Nimmer, Michael D. Ernst — 2002 — In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002
Invariant inference for static checking: An empirical evaluation –Jeremy W. Nimmer, Michael D. Ernst — 2002 — In Proc. of the ACM SIGSOFT 10th Int. Symp. on the Foundations of Software Engineering