Oracle-based checking of untrusted software (2001)

by G C Neeula, S P Rahul
Venue:in Proc. of P0PLV1, ACM