Test Generation for SystemC designs by interlaced Greybox Fuzzing and Concolic Execution.

Mukta Debnath Animesh Basak Chowdhury Debasri Saha Susmita Sur-Kolay

Published in: CoRR (2022)

Keyphrases

test generation
symbolic execution
test cases
test sequences
design automation
mutation testing
static analysis
quality assurance
software testing
testing process
motion compensation
database
data flow
computational complexity
database systems
high level
motion compensated
life cycle
code coverage
metadata