Specifying and Generating Test Cases Using Observer Automata
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case StudyLecture Notes in Computer Science, 2003
- Automated test generation from timed automataInternational Journal on Software Tools for Technology Transfer, 2003
- Validation and automatic test generation on UML models: the AGATHA approachElectronic Notes in Theoretical Computer Science, 2002
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checkingThe Journal of Logic and Algebraic Programming, 2002
- ATGen: automatic test data generation using constraint logic programming and symbolic executionSoftware Testing, Verification and Reliability, 2001
- Autolink — Putting SDL-based test generation into practicePublished by Springer Science and Business Media LLC ,1998
- An experiment in automatic generation of test suites for protocols with verification technologyScience of Computer Programming, 1997
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Parallelism for freeACM Transactions on Programming Languages and Systems, 1996
- A formal evaluation of data flow path selection criteriaIEEE Transactions on Software Engineering, 1989