GreyConE: Greybox Fuzzing + Concolic Execution Guided Test Generation for High Level Designs.
Mukta DebnathAnimesh Basak ChowdhuryDebasri SahaSusmita Sur-KolayPublished in: ITC (2022)
Keyphrases
- test generation
- symbolic execution
- high level
- low level
- test cases
- test sequences
- design automation
- static analysis
- quality assurance
- testing process
- mutation testing
- software testing
- test data generation
- source code
- programming language
- image data
- code coverage
- regression testing
- integrity constraints
- quality assessment
- data sets
- software engineering
- query processing
- database systems
- case study
- metadata
- information systems
- learning algorithm