Test Generation from Event System Abstractions to Cover Their States and Transitions.
Jacques JulliandOlga KouchnarenkoPierre-Alain MassonGuillaume VoironPublished in: Program. Comput. Softw. (2018)
Keyphrases
- test generation
- state transitions
- test cases
- symbolic execution
- state transition
- test sequences
- design automation
- quality assurance
- event detection
- mutation testing
- static analysis
- admissible heuristics
- high level
- event types
- data sets
- training data
- test data generation
- quality control
- open source
- decision trees
- computer vision
- machine learning