Towards effective and efficient search-based deterministic replay | Publicación