GreyConE: Greybox fuzzing+Concolic execution guided test generation for high level design. (arXiv:2205.04047v3 [cs.SE] UPDATED)

Exhaustive testing of high-level designs pose an arduous challenge due to
complex branching conditions, loop structures and inherent concurrency of
hardware designs. Test engineers aim to generate quality test-cases satisfying
various code coverage metrics to ensure minimal presence of bugs in a design.
Prior works in testing SystemC designs are time inefficient which obstruct
achieving the desired coverage in shorter time-span. We interleave greybox
fuzzing and concolic execution in a systematic manner and generate quality
test-cases accelerating test coverage metrics. …

design fuzzing se test