Automatically Testing Functional Properties of Code Translation Models

Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis. Automatically Testing Functional Properties of Code Translation Models. In Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, editors, Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pages 21055-21062, AAAI Press, 2024. [doi]

@inproceedings{EniserWC24,
  title = {Automatically Testing Functional Properties of Code Translation Models},
  author = {Hasan Ferit Eniser and Valentin Wüstholz and Maria Christakis},
  year = {2024},
  doi = {10.1609/aaai.v38i19.30097},
  url = {https://doi.org/10.1609/aaai.v38i19.30097},
  researchr = {https://researchr.org/publication/EniserWC24},
  cites = {0},
  citedby = {0},
  pages = {21055-21062},
  booktitle = {Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada},
  editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan},
  publisher = {AAAI Press},
}