A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets.
João Pascoal FariaAna C. R. PaivaPublished in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
- sequence diagrams
- event driven
- petri net
- colored petri nets
- model based testing
- uml models
- class diagrams
- activity diagrams
- class diagram
- test cases
- regression testing
- information delivery
- publish subscribe
- unified modelling language
- real time
- intermediate representation
- databases
- markup language
- security policies
- case study
- web services