Software and Information Systems
Research (Coming Soon)
Copyright text here
Hippocratic Binary Instrumentation: First Do No Harm
Meera Sridhar, Richard Wartell and Kevin W. Hamlen
Science of Computer Programming
(SCP), Special Issue on Invariant Generation, 93(B):110—124, November 2014.
Publication year: 2014