Automated module testing in Prolog
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 17 (9) , 934-943
- https://doi.org/10.1109/32.92913
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Mockingbird: A logical methodology for testingThe Journal of Logic Programming, 1990
- Test sets generation from algebraic specifications using logic programmingJournal of Systems and Software, 1986
- Selecting Software Test Data Using Data Flow InformationIEEE Transactions on Software Engineering, 1985
- An Evaluation of Random TestingIEEE Transactions on Software Engineering, 1984
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981
- A Domain Strategy for Computer Program TestingIEEE Transactions on Software Engineering, 1980
- Functional Program TestingIEEE Transactions on Software Engineering, 1980
- 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
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975