Validation of contracts using enabledness preserving finite state abstractions (2009)

by G de Caso, V Braberman, D Garbervetsky, S Uchitel
Venue:In Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on