TY  - RPRT
TI  - Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing
AU  - Yixiao Yang
PY  - 2022
UR  - https://arxiv.org/abs/2211.04712
ID  - 2211.04712
ER  -