James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. A Language Framework for Expressing Checkable Properties of Dynamic Software. In Klaus Havelund, John Penix, Willem Visser, editors, SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Volume 1885 of Lecture Notes in Computer Science, pages 205-223, Springer, 2000.
Abstract is missing.