A formal model of program dependences and its implications for software testing, debugging, and maintenance‖, (1990)

by A Podgurski, L A Clarke
Venue:IEEE Transactions on Software Engineering, Volume