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

by Dimitra Giannakopoulou , Klaus Havelund
Venue:IN PROCEEDINGS, INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE’01
Citations:61 - 8 self