Testing against formal specifications: A theoretical view
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991
- Test case selection using VDMPublished by Springer Nature ,1988
- Test sets generation from algebraic specifications using logic programmingJournal of Systems and Software, 1986
- A contribution to the theory of program testingTheoretical Computer Science, 1985
- Application of PROLOG to test sets generation from algebraic specificationsPublished by Springer Nature ,1985
- On Testing Non-Testable ProgramsThe Computer Journal, 1982
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981