Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets.
Alexandre CannyDavid NavarreJosé Creissac CamposPhilippe A. PalanquePublished in: FM Workshops (1) (2019)
Keyphrases
- petri net
- model based testing
- sequence diagrams
- object oriented
- test cases
- petri net model
- colored petri nets
- manufacturing systems
- discrete event systems
- fuzzy petri net
- relational databases
- software engineering
- ims ld
- stochastic petri net
- service composition
- testing process
- data model
- security policies
- software design
- reverse engineering
- design patterns
- artificial intelligence
- programmable logic controller
- regression testing
- test data
- process model
- software development
- query language
- information systems