"Does Your Result Checker Really Check?"

Lan Guo, Supratik Mukhopadhyay, Bojan Cukic (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics