DIVINE: DIscovering Variables IN Executables.

Gogul Balakrishnan, Thomas W. Reps

Browse the full VMCAI paper archive.