Test Selection for Object-Oriented Software Based on Formal Specifications
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Testing object‐oriented software: a surveySoftware Testing, Verification and Reliability, 1996
- The ASTOOT approach to testing object-oriented programsACM Transactions on Software Engineering and Methodology, 1994
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991
- The power of the future perfect in program logicsInformation and Control, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985