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