Skeletal Program Enumeration for Rigorous Compiler Testing.
Qirun ZhangChengnian SunZhendong SuPublished in: CoRR (2016)
Keyphrases
- test cases
- symbolic execution
- search based software testing
- search space
- programming language
- object oriented
- neural network
- computer programs
- software systems
- concurrent programs
- program execution
- code generation
- test generation
- programming environment
- software testing
- general purpose
- artificial intelligence
- test set
- dynamic programming
- data model
- test data generation
- control program
- multi agent systems
- multiscale