@inproceedings{xiao2023icfem,
title={Vulnerability Detection via Typestate-Guided Code Representation Learning},
author={Cheng, Xiao},
booktitle={25th International Conference on Formal Engineering Methods},
year={2023},
series={ICFEM '23},
publisher={Springer}
}