@article{ren2024dtc,
title={Dynamic Transitive Closure-Based Static Analysis through the Lens of Quantum Search},
author={Ren, Jiawei and Sui, Yulei and Cheng, Xiao and Feng, Yuan and Zhao, Jianjun},
journal={ACM Transactions on Software Engineering and Methodology},
year={2024}
}