Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.
Margus VeanesColin CampbellWolfgang GrieskampWolfram SchulteNikolai TillmannLev NachmansonPublished in: Formal Methods and Testing (2008)
Keyphrases
- reactive systems
- model based testing
- object oriented
- test cases
- software testing
- control flow
- petri net
- software development
- sequence diagrams
- model checking
- software engineering
- relational databases
- information flow
- software design
- formal methods
- temporal logic
- testing process
- data model
- data flow
- test data
- security policies
- regression testing
- test suite
- database
- design patterns
- query language
- software maintenance
- reverse engineering
- software systems
- high level
- information systems