Application of PROLOG to test sets generation from algebraic specifications
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 261-275
- https://doi.org/10.1007/3-540-15199-0_17
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A PROLOG environment for developing and reasoning about data typesLecture Notes in Computer Science, 1985
- Oriented equational clauses as a programming languageThe Journal of Logic Programming, 1984
- A kernel language for algebraic specification and implementation extended abstractLecture Notes in Computer Science, 1983
- Weak Mutation Testing and Completeness of Test SetsIEEE Transactions on Software Engineering, 1982
- Two notions of correctness and their relation to testingActa Informatica, 1982
- Functional Program TestingIEEE 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 typesActa Informatica, 1978
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976