Issues in the full scale use of formal methods for automated testing
- 1 May 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 21 (3) , 71-78
- https://doi.org/10.1145/226295.226303
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Automated module testing in PrologIEEE Transactions on Software Engineering, 1991
- A specifier's introduction to formal methodsComputer, 1990
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981