A formal model of program dependences and its implications for software testing, debugging, and maintenance 论文

1990IEEE Transactions on Software Engineering引用 402
DOI
Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchSoftware Engineering Research
企业软件Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
关系图谱

A formal model of program dependences and its implications for software testing, debugging, and maintenance · 作者

L

Lori A. Clarke

A

Andy Podgurski