Lan Guo, Supratik Mukhopadhyay, Bojan Cukic. Does Your Result Checker Really Check?. In 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings. pages 399-404, IEEE Computer Society, 2004. [doi]
Abstract is missing.