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 |
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 |
