Valgrind: A program supervision framework. (2003)

by N NETHERCOTE, J SEWARD
Venue:In In Third Workshop on Runtime Verification (RV’03)