@inproceedings{ZhongETAL25exLongTool,
  author = {Zhong, Linghan and Yuan, Samuel and Zhang, Jiyang and Liu, Yu and Nie, Pengyu and Li, Junyi Jessy and Gligoric, Milos},
  title = {A Tool for Generating Exceptional Behavior Tests With Large Language Models},
  booktitle = {Symposium on the Foundations of Software Engineering, formal tool demonstrations},
  pages = {To appear},
  year = {2025},
}