A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance

Andy Podgurski, Lori A. Clarke. A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance. IEEE Trans. Software Eng., 16(9):965-979, 1990. [doi]

Abstract

Abstract is missing.