Manuel Bravo, Nuno Machado, Paolo Romano, Luís E. T. Rodrigues. Towards effective and efficient search-based deterministic replay. In Christian Cachin, Robbert van Renesse, editors, Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013. ACM, 2013. [doi]
@inproceedings{BravoMRR13,
title = {Towards effective and efficient search-based deterministic replay},
author = {Manuel Bravo and Nuno Machado and Paolo Romano and Luís E. T. Rodrigues},
year = {2013},
doi = {10.1145/2524224.2524228},
url = {http://doi.acm.org/10.1145/2524224.2524228},
researchr = {https://researchr.org/publication/BravoMRR13},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
editor = {Christian Cachin and Robbert van Renesse},
publisher = {ACM},
isbn = {978-1-4503-2457-1},
}