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]
Abstract is missing.