Handbook of theoretical computer science (vol. B)
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Model checking and abstraction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking
UML components: a simple process for specifying component-based software
UML components: a simple process for specifying component-based software
A practical guide to testing object-oriented software
A practical guide to testing object-oriented software
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
How Did Software Get So Reliable Without Proof?
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
A Practical Tutorial on Modified Condition/Decision Coverage
A Practical Tutorial on Modified Condition/Decision Coverage
Patterns in Property Specifications for Finite-State Verification
Patterns in Property Specifications for Finite-State Verification
Towards Property Oriented Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
The use of algebraic specification-based testing to validate applications implemented in SML is discussed, particularly the Veritas model-checker. Test case, oracle and data are generated from structured specifications in Casl with test oracles being responsible for driving and interpreting the results of tests according to fundamental research in the area. The objective of this work is twofold - to test conformance of the Veritas model checker with respect to a structured algebraic specification, and to contribute to further development in the area of specification-based testing by illustrating its application, focusing on theoretical problems and solutions anticipated.