TY  - RPRT
TI  - An Efficient Black-Box Support of Advanced Coverage Criteria for Klee
AU  - Nicolas Berthier
AU  - Steven De Oliveira
AU  - Nikolai Kosmatov
AU  - Delphine Longuet
AU  - Romain Soulat
PY  - 2022
DO  - 10.1145/3555776.3577713
UR  - https://arxiv.org/abs/2211.14592
ID  - 2211.14592
ER  -