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]
@article{PodgurskiC90,
title = {A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance},
author = {Andy Podgurski and Lori A. Clarke},
year = {1990},
url = {http://www.computer.org/tse/ts1990/e0965abs.htm},
tags = {testing, maintenance, debugging},
researchr = {https://researchr.org/publication/PodgurskiC90},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {16},
number = {9},
pages = {965-979},
}