Language-based replay via data flow cut
Abstract
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it logs all non-deterministic side effects passing through the interface from the environment and feeds them back during replay. The replay interface is critical for correctness and recording overhead of replay tools.
BibTeX
@inproceedings{Wu-al:FSE10,
author = {Ming Wu and
Fan Long and
Xi Wang and
Zhilei Xu and
Haoxiang Lin and
Xuezheng Liu and
Zhenyu Guo and
Huayang Guo and
Lidong Zhou and
Zheng Zhang},
title = {Language-based replay via data flow cut},
booktitle = {FSE},
pages = {197--206},
publisher = {{ACM}},
year = {2010},
}