Uncovering bugs in code coverage profilers via control flow constraint solving

Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou

January, 2023