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

by D Giannakopoulou, K Havelund
Venue:In ASE ’01: Proceedings of the 16th IEEE international conference on Automated software engineering