Model-Based Testing of Obligations.
Iram RubabShaukat AliLionel C. BriandYves Le TraonPublished in: QSIC (2014)
Keyphrases
- model based testing
- test cases
- software development
- software design
- deontic logic
- testing process
- security policies
- software testing
- sequence diagrams
- test sequences
- test set
- database
- real world
- test generation
- test data
- petri net
- software projects
- distributed systems
- open source
- object oriented
- data structure
- case study
- machine learning
- databases