James C. Corbett Matthew B. Dwyer John Hatcliff Robby A Language Framework for Expressing Checkable Properties of Dynamic Software. 205-223 2000 conf/spin/2000 SPIN db/conf/spin/spin2000.html#CorbettDHR00 http://dx.doi.org/10.1007/10722468_13