Oracle-based checking of untrusted software (2001)

by G Necula, S Rahul
Venue:In 28th ACM Symposium on Principles of Programming Languages (POPL01