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

Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha, Susmita Sur-Kolay

Browse the full ITC paper archive.