TY  - RPRT
TI  - Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
AU  - Fatimah K. Aljaafari
AU  - Rafael Menezes
AU  - Edoardo Manino
AU  - Fedor Shmarov
AU  - Mustafa A. Mustafa
AU  - Lucas C. Cordeiro
PY  - 2022
UR  - https://arxiv.org/abs/2206.06043
ID  - 2206.06043
ER  -