All-du-path coverage for parallel programs

This publication has 11 references indexed in Scilit:

• Automatic generation of path covers based on the control flow analysis of computer programs
  IEEE Transactions on Software Engineering, 1994
• Interprocedural def-use associations for C systems with single level pointers
  IEEE Transactions on Software Engineering, 1994
• Efficient computation of interprocedural definition-use chains
  ACM Transactions on Programming Languages and Systems, 1994
• Structural testing of concurrent programs
  IEEE Transactions on Software Engineering, 1992
• Path analysis testing of concurrent programs
  Information and Software Technology, 1992
• Automated software test data generation
  IEEE Transactions on Software Engineering, 1990
• The evaluation of program-based software test data adequacy criteria
  Communications of the ACM, 1988
• On Path Cover Problems in Digraphs and Applications to Program Testing
  IEEE Transactions on Software Engineering, 1979
• A System to Generate Test Data and Symbolically Execute Programs
  IEEE Transactions on Software Engineering, 1976
• On Two Problems in the Generation of Program Test Paths
  IEEE Transactions on Software Engineering, 1976