Automatic generation of UML sequence diagrams from test counterexamples.
Daniel CarballaLaura M. CastroPublished in: Erlang Workshop (2016)
Keyphrases
- sequence diagrams
- model based testing
- test cases
- regression testing
- class diagrams
- petri net
- uml models
- activity diagrams
- intermediate representation
- class diagram
- unified modelling language
- test sequences
- dependency graph
- test suite
- software maintenance
- data sets
- test generation
- software design
- test data
- software development
- general purpose
- decision trees