Model-based test case generation from UML sequence diagrams using extended finite state machines.
Mauricio RochaAdenilso SimãoThiago SousaPublished in: Softw. Qual. J. (2021)
Keyphrases
- sequence diagrams
- finite state machines
- test case generation
- test cases
- class diagrams
- object oriented systems
- regression testing
- uml models
- software testing
- test suite
- model based testing
- activity diagrams
- finite state automata
- model checking
- test data generation
- petri net
- class diagram
- intermediate representation
- test generation
- software maintenance
- test sequences
- software systems
- test set
- object oriented
- testing process
- regular expressions
- source code
- artificial intelligence
- software engineering
- hidden markov models