Automatabased verification of temporal properties on running programs (2001)

by Dimitra Giannakopoulou, Klaus Havelund
Venue:In Proc. ASE-01