1. Leonid Baraz Tevi Devor Orna Etzion Shalom Goldenberg Alex Skaletsky Yun Wang and Yigel Zemach. 2003. IA-32 Execution Layer: A Two-phase Dynamic Translator Designed to Support IA-32 Applications on Itanium®-based Systems Proceedings of the 36th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO 36). IEEE Computer Society Washington DC USA 191--201. http://dl.acm.org/citation.cfm?id=956417.956550 Leonid Baraz Tevi Devor Orna Etzion Shalom Goldenberg Alex Skaletsky Yun Wang and Yigel Zemach. 2003. IA-32 Execution Layer: A Two-phase Dynamic Translator Designed to Support IA-32 Applications on Itanium®-based Systems Proceedings of the 36th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO 36). IEEE Computer Society Washington DC USA 191--201. http://dl.acm.org/citation.cfm?id=956417.956550
2. SELECT---a formal system for testing and debugging programs by symbolic execution
3. Derek L. Bruening. 2004. Efficient Transparent and Comprehensive Runtime Code Manipulation. Ph.D. Dissertation. Cambridge MA USA. AAI0807735. Derek L. Bruening. 2004. Efficient Transparent and Comprehensive Runtime Code Manipulation. Ph.D. Dissertation. Cambridge MA USA. AAI0807735.