A CASE study in module testing

This publication has 13 references indexed in Scilit:

• Module test case generation
  Published by Association for Computing Machinery (ACM) ,1989
• Trace specifications: methodology and models
  IEEE Transactions on Software Engineering, 1988
• A rational design process: How and why to fake it
  IEEE Transactions on Software Engineering, 1986
• An Evaluation of Random Testing
  IEEE Transactions on Software Engineering, 1984
• Automatic generation of random self-checking test cases
  IBM Systems Journal, 1983
• Data Abstraction, Implementation, Specification, and Testing
  ACM Transactions on Programming Languages and Systems, 1981
• Functional Program Testing
  IEEE Transactions on Software Engineering, 1980
• Theoretical and empirical studies on using program mutation to test the functional correctness of programs
  Published by Association for Computing Machinery (ACM) ,1980
• Reliability of the Path Analysis Testing Strategy
  IEEE Transactions on Software Engineering, 1976
• An Approach to Program Testing
  ACM Computing Surveys, 1975