@inproceedings{fan2026issre,
  title     = {An Empirical Study of {LLM}-Generated Specifications for {VeriFast}},
  author    = {Fan, Wen and Tran, Minh and Dod, Sanya and Hu, Xin and Rego, Marilyn and Xie, Danning and DiVincenzo, Jenna and Tan, Lin},
  booktitle = {37th IEEE International Symposium on Software Reliability Engineering (ISSRE)},
  year      = {2026}
}