Execution suppression: An automated iterative technique for locating memory errors

Dennis Jeffrey, Vijay Nagarajan, Rajiv Gupta, Neelam Gupta. Execution suppression: An automated iterative technique for locating memory errors. ACM Transactions on Programming Languages and Systems, 32(5), 2010. [doi]

Abstract

Abstract is missing.