Model-based testing for concurrent systems: unfolding-based test selection.
Hernán Ponce de LeónStefan HaarDelphine LonguetPublished in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
- concurrent systems
- model based testing
- petri net
- test cases
- sequence diagrams
- software testing
- temporal logic
- software development
- software design
- formal specification
- process algebra
- testing process
- distributed systems
- model checking
- test data
- security policies
- test generation
- database systems
- neural network
- test set
- training set
- test sequences
- decision trees
- artificial intelligence