J. Clause, W. Li, and R. Orso, Dytan, Proceedings of the 2007 international symposium on Software testing and analysis, ISSTA '07, pp.196-206, 2007.
DOI : 10.1145/1273463.1273490

A. Goldberg and D. Robson, Smalltalk-80: The Language and its Implementation, 1983.

C. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser et al., Pin: Building customized program analysis tools with dynamic instrumentation, Proceedings of Program Language Design and Implementation (PLDI), pp.190-200, 2005.

N. Nethercote and A. Mycroft, Redux, RV '2003, Run-time Verification (Satellite Workshop of CAV '03), pp.149-170, 2003.
DOI : 10.1016/S1571-0661(04)81047-8

N. Nethercote and J. Seward, How to shadow every byte of memory used by a program, Proceedings of the 3rd international conference on Virtual execution environments , VEE '07, pp.65-74, 2007.
DOI : 10.1145/1254810.1254820

M. Olszewski, J. Cutler, and J. G. Steffan, JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory, 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007), pp.365-375, 2007.
DOI : 10.1109/PACT.2007.4336226
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.4427