Skeletal program enumeration for rigorous compiler testing.
Qirun ZhangChengnian SunZhendong SuPublished in: PLDI (2017)
Keyphrases
- test cases
- symbolic execution
- programming language
- search based software testing
- general purpose
- concurrent programs
- software systems
- programs written
- programming environment
- set of test cases
- program execution
- software testing
- code generation
- test generation
- neural network
- operating system
- dynamic programming
- genetic algorithm