A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams.
Faiz Ul MuramHuy TranUwe ZdunPublished in: APSEC (2016)
Keyphrases
- artificial intelligence
- sequence diagrams
- model checking
- verification method
- temporal logic
- class diagrams
- petri net
- uml models
- activity diagrams
- intermediate representation
- temporal properties
- formal verification
- formal specification
- finite state machines
- test cases
- model checker
- regression testing
- model based testing
- automated verification
- timed automata
- computation tree logic
- epistemic logic
- symbolic model checking
- class diagram
- bounded model checking
- dependency graph
- transition systems
- formal methods
- knowledge based systems
- reactive systems
- test suite
- modal logic
- database systems
- high level