Assessing Test Data Adequacy through Program Inference

This publication has 11 references indexed in Scilit:

• Data Abstraction, Implementation, Specification, and Testing
  ACM Transactions on Programming Languages and Systems, 1981
• Reliability theory of program testing
  Acta Informatica, 1981
• Theories of Program Testing and the Application of Revealing Subdomains
  IEEE Transactions on Software Engineering, 1980
• The applicability of program schema results to programs
  International Journal of Parallel Programming, 1979
• Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
  ACM Transactions on Programming Languages and Systems, 1979
• Testing Programs with the Aid of a Compiler
  IEEE Transactions on Software Engineering, 1977
• A Methodology for LISP Program Construction from Examples
  Journal of the ACM, 1977
• Reliability of the Path Analysis Testing Strategy
  IEEE Transactions on Software Engineering, 1976
• Constructing Programs from Example Computations
  IEEE Transactions on Software Engineering, 1976
• An Approach to Program Testing
  ACM Computing Surveys, 1975