HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair.
Qian ZhangJiyuan WangGuoqing Harry XuMiryung KimPublished in: ASPLOS (2022)
Keyphrases
- test generation
- symbolic execution
- static analysis
- test cases
- source code
- test sequences
- mutation testing
- design automation
- software testing
- test data generation
- program understanding
- real world
- data sets
- test suite
- specification language
- artificial intelligence
- regular expressions
- color space
- software systems
- program code