USMMC: a self-contained model checker for UML state machines.
Shuang LiuYang LiuJun SunManchun ZhengBimlesh WadhwaJin Song DongPublished in: ESEC/SIGSOFT FSE (2013)
Keyphrases
- state machines
- model checker
- state machine
- formal methods
- sequence diagrams
- model checking
- finite state machines
- reactive systems
- test suite
- formal verification
- regression testing
- temporal logic
- description language
- petri net
- formal specification
- specification language
- test cases
- set theory
- intermediate representation
- ai planning
- artificial intelligence
- fault tolerant
- knowledge based systems
- recurrent networks
- software engineering
- planning domains
- software architecture
- general purpose
- expert systems