Renjie Huang, Banghu Yin, Liqian Chen. Using Fuzzing to Help Abstract Interpretation Based Program Verification. In 22nd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2022 - Companion, Guangzhou, China, December 5-9, 2022. pages 782-783, IEEE, 2022. [doi]
Abstract is missing.