GreyConE: Greybox Fuzzing + Concolic Execution Guided Test Generation for High Level Designs.

Sat, 01 Jan 2022 00:00:00 +0100

Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha, Susmita Sur-Kolay:
GreyConE: Greybox Fuzzing + Concolic Execution Guided Test Generation for High Level Designs. ITC 2022: 494-498