Generating high coverage tests for SystemC designs using symbolic execution.

Bin Lin Zhenkun Yang Kai Cong Fei Xie

Published in: ASP-DAC (2016)

Keyphrases

symbolic execution
test generation
test suite
static analysis
test data generation
artificial intelligence
database
case study
specification language
building blocks
test cases