Invariant Inference for Static Checking: An Empirical Evaluation (2002)

by Jeremy W Nimmer, Michael D Ernst
Venue:FSE ’02 (10th International Symposium on the Foundations of Software Engineering