@inproceedings{xiao2024fgs,
title={Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing},
author={Cheng, Xiao and Ren, Jiawei and Sui, Yulei},
booktitle={Proceedings of the 32st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
year={2024},
series={FSE '24},
publisher={ACM}
}