@article{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},
year={2024},
number = {FSE},
journal = {Proc. ACM Softw. Eng.},
publisher={ACM}
}