@inproceedings{LiuETAL24ExLiTool,
  author = {Liu, Yu and Thimmaiah, Aditya and Legunsen, Owolabi and Gligoric, Milos},
  title = {{ExLi}: An Inline-Test Generation Tool for {J}ava},
  booktitle = {Symposium on the Foundations of Software Engineering, formal tool demonstrations},
  pages = {To appear},
  year = {2024},
}