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

by Matthew B Dwyer, George S Avrunin, James C Corbett
Venue:In Conference on Software Engineering