Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls

Mark W. Bailey, Jack W. Davidson. Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls. IEEE Trans. Software Eng., 29(11):1031-1042, 2003. [doi]

Abstract

Abstract is missing.