Patterns in Property Specifications for Finite-State Verification (1999)

by Matthew B. Dwyer , George S. Avrunin , James C. Corbett
Venue:In Proceedings of the 21st International Conference on Software Engineering ICSE'99
Citations:294 - 19 self