Test template framework
- 1 July 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 18 (3) , 11-18
- https://doi.org/10.1145/174146.154190
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Specification-based test oracles for reactive systemsPublished by Association for Computing Machinery (ACM) ,1992
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991
- Automated module testing in PrologIEEE Transactions on Software Engineering, 1991
- Test sets generation from algebraic specifications using logic programmingJournal of Systems and Software, 1986
- Specification directed module testingIEEE Transactions on Software Engineering, 1986