DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects. - Wentao Zhang; Jinghao Jia; Erkai Yu; Darko Marinov; Tianyin Xu (ASE, 2025)