Automated test generation for OpenCL kernels using fuzzing and constraint solving.
Chao PengAjitha RajanPublished in: GPGPU@PPoPP (2020)
Keyphrases
- constraint solving
- test generation
- constraint propagation
- constraint logic programming
- test cases
- constraint satisfaction problems
- constraint satisfaction
- symbolic execution
- test sequences
- design automation
- static analysis
- constraint solver
- software testing
- quality assurance
- constraint programming
- code coverage
- open source
- temporal constraints