Application of PROLOG to test sets generation from algebraic specifications

This publication has 16 references indexed in Scilit:

• A PROLOG environment for developing and reasoning about data types
  Published by Springer Nature ,1985
• Oriented equational clauses as a programming language
  The Journal of Logic Programming, 1984
• A kernel language for algebraic specification and implementation extended abstract
  Published by Springer Nature ,1983
• Weak Mutation Testing and Completeness of Test Sets
  IEEE Transactions on Software Engineering, 1982
• Two notions of correctness and their relation to testing
  Acta Informatica, 1982
• 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 Defense Technical Information Center (DTIC) ,1980
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• Reliability of the Path Analysis Testing Strategy
  IEEE Transactions on Software Engineering, 1976
• A System to Generate Test Data and Symbolically Execute Programs
  IEEE Transactions on Software Engineering, 1976