Valgrind: A program supervision framework (2003)

by Nicholas Nethercote, Julian Seward
Venue:In Third Workshop on Runtime Verification (RV’03