Tri-modal under-approximation for test generation.
Hadrien BrideJacques JulliandPierre-Alain MassonPublished in: Sci. Comput. Program. (2016)
Keyphrases
- test generation
- test cases
- symbolic execution
- design automation
- test sequences
- static analysis
- quality assurance
- mutation testing
- modal logic
- approximation algorithms
- regression testing
- software testing
- case study
- computer vision
- databases
- pattern matching
- open source
- image data
- relational databases
- information systems
- code coverage