Using UML Models and Formal Verification in Model-Based Testing.
Qaisar A. MalikDragos TruscanJohan LiliusPublished in: ECBS (2010)
Keyphrases
- formal verification
- model based testing
- uml models
- sequence diagrams
- test cases
- model checking
- petri net
- model checker
- bounded model checking
- symbolic model checking
- intermediate representation
- automated verification
- regression testing
- test generation
- test sequences
- test data
- test set
- software testing
- dependency graph
- testing process
- data sets
- software development
- object oriented
- multi agent systems
- information systems