Patterns in Property Specifications for Finite-State Verification.

Matthew B. Dwyer, George S. Avrunin, James C. Corbett

Browse the full ICSE paper archive.