A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing.
Guixin YeTianmin HuZhanyong TangZhenye FanShin Hwei TanBo ZhangWenxiang QianZheng WangPublished in: ESEC/SIGSOFT FSE (2023)
Keyphrases
- test cases
- test data
- software systems
- software testing
- black box
- regression testing
- test suite reduction
- number of test cases
- test data generation
- test sequences
- test generation
- test case selection
- test set
- test suite
- general purpose
- source code
- test case generation
- covering arrays
- programming language
- testing process
- open source
- model based testing
- set of test cases
- software engineering
- unit testing