Valgrind: A Program Supervision Framework
Nicholas Nethercote, Julian Seward[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003
Electronic Notes in Theoretical Computer Science, volume 89
Elsevier
Pages 44-66
2003
Electronic Notes in Theoretical Computer Science, volume 89
Elsevier
Pages 44-66
2003