Oracle-based checking of untrusted software (2001)

by G C Necula, S P Rahul
Venue:In Proc. of POPL’01