Problem identification using program checking

Christian S. Collberg, Todd A. Proebsting. Problem identification using program checking. Discrete Applied Mathematics, 144(3):270-280, 2004. [doi]

Abstract

Abstract is missing.