Refactoring design models for inductive verification (0)

by Y Cheng
Venue:In Proceedings of International Symposium on Software Testing and Analysis (ISSTA2002