Mockingbird: A logical methodology for testing

Publisher Website

31 March 1990

journal article
Published by Elsevier in The Journal of Logic Programming

Vol. 8 (1-2) , 95-119
https://doi.org/10.1016/0743-1066(90)90053-8

Abstract

No abstract available

Keywords

LOGICAL METHODOLOGY

This publication has 22 references indexed in Scilit:

Andrew: a distributed personal computing environment
Communications of the ACM, 1986
Relating logic programs and attribute grammars
The Journal of Logic Programming, 1985
An Evaluation of Random Testing
IEEE Transactions on Software Engineering, 1984
Automatic generation of random self-checking test cases
IBM Systems Journal, 1983
An Automatic Generator for Compiler Testing
IEEE Transactions on Software Engineering, 1982
Compiler testing using a sentence generator
Software: Practice and Experience, 1980
Hints on Test Data Selection: Help for the Practicing Programmer
Computer, 1978
Toward a theory of test data selection
IEEE Transactions on Software Engineering, 1975
Automatic generation of test cases
IBM Systems Journal, 1970
Generating test programs from syntax
Computing, 1967