A Rewriting-based Approach to Trace Analysis (2002)

by K Havelund, G Ro¸su
Venue:Automated Software Engineering