Execution suppression: An automated iterative technique for locating memory errors