J. Hollingsworth

of the Resolve 2007 Workshop : Techniques and Tools for Verification and Instruction

W. Ogden, J. Hollingsworth, 2007 .

Proceedings of the Workshop on Binary Instrumentation and Applications

Naveen Kumar, Robert Cohn, Jeff Hollingsworth, 2009 .