Remgen: Remanufacturing a Random Program Generator for Compiler Testing.
Haoxin TuHe JiangXiaochen LiZhilei RenZhide ZhouLingxiao JiangPublished in: ISSRE (2022)
Keyphrases
- data sets
- test cases
- symbolic execution
- search based software testing
- programming language
- general purpose
- java bytecode
- programs written
- test generation
- uniformly distributed
- concurrent programs
- software testing
- computer programs
- open source
- dynamic analysis
- code generation
- program execution
- testing process
- software systems
- supply chain
- high level