A FORMAL MODEL OF PROGRAM DEPENDENCES AND ITS IMPLICATIONS FOR SOFTWARE TESTING, DEBUGGING, AND MAINTENANCE

Authors

A PODGURSKI
LA Clarke

Publication Date

1990

Journal or Book Title

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Pages

965-979

Volume

16

Issue

9

Recommended Citation

PODGURSKI, A and Clarke, LA, "A FORMAL MODEL OF PROGRAM DEPENDENCES AND ITS IMPLICATIONS FOR SOFTWARE TESTING, DEBUGGING, AND MAINTENANCE" (1990). IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 453.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/453