Automated flow graph-based testing of object-oriented software modules
- 30 November 1993
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 23 (2) , 95-109
- https://doi.org/10.1016/0164-1212(93)90076-a
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Clarifying some fundamental concepts in software testingIEEE Transactions on Software Engineering, 1993
- Testing the completeness of specificationsIEEE Transactions on Software Engineering, 1989
- An applicable family of data flow testing criteriaIEEE Transactions on Software Engineering, 1988
- Test sets generation from algebraic specifications using logic programmingJournal of Systems and Software, 1986
- A Mathematical Framework for the Investigation of TestingIEEE Transactions on Software Engineering, 1983
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981
- The applicability of program schema results to programsInternational Journal of Parallel Programming, 1979