@article{P102.004,
author={Ronsse, Michiel and De Bosschere, K.},
title={Non-Intrusive Detection of Synchronization Errors Using Execution Replay},
journal={Automated Software Engineering},
year={2002},
month={1},
volume={9},
number={1},
pages={95-121},
editor={Nuseibeh, B.},
publisher={Kluwer Academic Publishers},
}