Miguel Nuno Caneiras Bravo
AuthID: R-001-T8N
11
TITLE: Towards effective and efficient search-based deterministic replay
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLISHED: 2013, SOURCE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLISHED: 2013, SOURCE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013
