Papers

This paper gives an introduction to the patterns system.

• Property Specification Patterns for Finite-state Verification, Matthew B. Dwyer, George S. Avrunin and James C. Corbett in the 2nd Workshop on Formal Methods in Software Practice, March, 1998.

This paper gives a brief overview of our updated pattern system, describes our survey of property specifications, and presents the results of the survey (extracted from the raw data that is linked below).

• Patterns in Property Specifications for Finite-state Verification, Matthew B. Dwyer, George S. Avrunin and James C. Corbett in Proceedings of the 21st International Conference on Software Engineering, May, 1999.

In addition to the basic patterns, we have developed tool support for defining the atomic propositions that parameterize patterns in terms of the execution behavior of a Java program.

• A Language Framework For Expressing Checkable Properties of Dynamic Software , James C. Corbett, Matthew B. Dwyer, John Hatcliff, and Robby in Proceedings of the SPIN Software Model Checking Workshop, Lecture Notes in Computer Science, Springer-Verlag, Aug, 2000.

Some papers reporting on applications of FSV that use patterns. The work on developing case studies for these papers inspired the need for and informed the structure of the pattern system.

• Model checking graphical user interfaces using abstractions, Matthew B. Dwyer, Vicki Carr, and Laura Hines, in Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, November, 1997.
• Filter-based Model Checking of Partial Systems, Matthew B. Dwyer and Corina S. Pasareanu, in Proceedings of the 7th ACM SIGSOFT international symposium on Foundations of software engineering, November, 1998.
• Model Checking Generic Container Implementations, Matthew B. Dwyer and Corina S. Pasareanu, in International Seminar on Generic Programming, April, 1998.