GKLEE: concolic verification and test generation for GPUs.
Guodong LiPeng LiGeoffrey SawayaGanesh GopalakrishnanIndradeep GhoshSreeranga P. RajanPublished in: PPOPP (2012)
Keyphrases
- test generation
- symbolic execution
- test cases
- design automation
- test sequences
- static analysis
- software testing
- mutation testing
- general purpose
- quality assurance
- code coverage
- real world
- regression testing
- vision system
- database
- open source
- object oriented
- training set
- high level
- information systems
- artificial intelligence
- machine learning
- databases