@inproceedings{xiao2024csa,
title={Precise Sparse Abstract Execution via Cross-Domain Interaction},
author={Cheng, Xiao and Wang, Jiawei and Sui, Yulei},
booktitle={46th International Conference on Software Engineering},
year={2024},
series={ICSE '24},
publisher={ACM/IEEE}
}