Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
Sven SieverdingChristian EllenPeter BattramPublished in: FESCA (2013)
Keyphrases
- petri net
- sequence diagrams
- colored petri nets
- test cases
- state machines
- petri net model
- manufacturing systems
- model based testing
- discrete event systems
- uml models
- regression testing
- reactive systems
- service composition
- fuzzy petri net
- stochastic petri net
- test case generation
- data sets
- programmable logic controller
- concurrent systems
- intermediate representation
- relational databases