Automatically Testing Functional Properties of Code Translation Models.

Hasan Ferit Eniser Valentin Wüstholz Maria Christakis

Published in: AAAI (2024)

Keyphrases

functional properties
probabilistic model
statistical models
prior knowledge
statistical model
neural network
search engine
information systems
case study
parametric models
query translation