Test sets generation from algebraic specifications using logic programming
- 30 November 1986
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 6 (4), 343-360
- https://doi.org/10.1016/0164-1212(86)90004-x
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A contribution to the theory of program testingTheoretical Computer Science, 1985
- On hierarchies of abstract data typesActa Informatica, 1983
- Two notions of correctness and their relation to testingActa Informatica, 1982
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981
- Final algebra semantics and data type extensionsJournal of Computer and System Sciences, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- Test data as an aid in proving program correctnessCommunications of the ACM, 1978
- 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