Testing by means of inductive program learning

This publication has 30 references indexed in Scilit:

• Inductive database relations
  IEEE Transactions on Knowledge and Data Engineering, 1993
• A fortran language system for mutation‐based software testing
  Software: Practice and Experience, 1991
• Automated module testing in Prolog
  IEEE Transactions on Software Engineering, 1991
• Mockingbird: A logical methodology for testing
  The Journal of Logic Programming, 1990
• Automated test case generation for programs specified by relational algebra queries
  IEEE Transactions on Software Engineering, 1990
• Automated concept acquisition in noisy environments
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• A theory of the learnable
  Communications of the ACM, 1984
• Assessing Test Data Adequacy through Program Inference
  ACM Transactions on Programming Languages and Systems, 1983
• A theory and methodology of inductive learning
  Artificial Intelligence, 1983
• A Methodology for LISP Program Construction from Examples
  Journal of the ACM, 1977