DMCA

Dynamic reverse code generation for backward execution (2006)

Cached

Download Links

by Jooyong Lee
Venue:In Proceedings of the Post-CAV Workshop on Verification and Debugging
Citations:4 - 1 self