@inproceedings{crabtree,
  author = {Takashima, Yoshiki and Cho, Chanhee and Martins, Ruben and Jia, Limin and P\u{a}s\u{a}reanu, Corina S.},
  booktitle = {Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
  title = {Crabtree: Rust API Test Synthesis Guided by Coverage and Type},
  year  = {2024}
}