Tool Support for Improving Test Coverage

This publication has 9 references indexed in Scilit:

• Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries
  Published by Springer Nature ,2001
• Slicing concurrent programs
  Published by Association for Computing Machinery (ACM) ,2000
• System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow
  Published by Association for Computing Machinery (ACM) ,1999
• Static slicing of threaded programs
  Published by Association for Computing Machinery (ACM) ,1998
• What's in a region?
  ACM Letters on Programming Languages and Systems, 1993
• Incremental program testing using program dependence graphs
  Published by Association for Computing Machinery (ACM) ,1993
• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• A formal notion of program-based test data adequacy
  Information and Control, 1983