@article{interactivecodegenerationviatestdriven,
  title = {Interactive Code Generation via Test-Driven User-Intent Formalization},
  author = {Shuvendu K. Lahiri and Sarah Fakhoury and Aaditya Naik and Georgios Sakkas and Saikat Chakraborty and Madanlal Musuvathi and Piali Choudhury and Curtis von Veh and Jeevana Priya Inala and Chenglong Wang and Jianfeng Gao},
  year = {2022},
  eprint = {2208.05950},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2208.05950v2},
}