TY  - RPRT
TI  - GreyConE: Greybox fuzzing+Concolic execution guided test generation for high level design
AU  - Mukta Debnath
AU  - Animesh Basak Chowdhury
AU  - Debasri Saha
AU  - Susmita Sur-Kolay
PY  - 2022
UR  - https://arxiv.org/abs/2205.04047
ID  - 2205.04047
ER  -