High-level testing and example-directed development of software specifications
- 30 November 1984
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 4 (4), 317-325
- https://doi.org/10.1016/0164-1212(84)90031-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Life-Cycle Software ValidationComputer, 1982
- Error Sensitive Test Cases Analysis (ESTCA)IEEE Transactions on Software Engineering, 1980
- Functional Program TestingIEEE Transactions on Software Engineering, 1980
- Observations of Fallibility in Applications of Modern Programming MethodologiesIEEE Transactions on Software Engineering, 1976
- Structured programming and formal specificationIEEE Transactions on Software Engineering, 1975
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- Programming by action clustersBIT Numerical Mathematics, 1969