Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case.
Boutheina BannourChristophe GastonArnault LapitreJose Pablo EscobedoPublished in: HASE (2012)
Keyphrases
- sequence diagrams
- activity diagrams
- model based testing
- uml models
- class diagrams
- embedded software
- class diagram
- test cases
- regression testing
- petri net
- intermediate representation
- unified modelling language
- software testing
- object oriented
- test suite
- software maintenance
- test data
- high level
- test set
- dependency graph
- testing process
- test sequences
- requirements analysis
- database
- general purpose
- image features
- training data
- artificial intelligence