@article{yang2026mosps,
title={Multi-Stage On-Demand Program Slicing for Modular Analysis of Multi-Threaded Programs},
author={Yang, Jiawei and Cheng, Xiao and Wang, Jiawei and Luo, Xiapu and Sui, Yulei},
year={2026},
number = {ISSTA},
journal = {Proceedings of the ACM on Software Engineering},
publisher={ACM}
}