@misc{indiciae93100a66e9c7,
  title = {GreyConE: Greybox fuzzing+Concolic execution guided test generation for high level design},
  author = {Mukta Debnath and Animesh Basak Chowdhury and Debasri Saha and Susmita Sur-Kolay},
  year = {2022},
  url = {https://arxiv.org/abs/2205.04047},
  note = {Source identifier: 2205.04047}
}