Automata-Based Verification of Temporal Properties on Running Programs (2001)

by D Giannakopoulou, K Havelund
Venue:In Proc. ASE