Semantic program repair using a reference implementation.

Sergey Mechtaev Manh-Dung Nguyen Yannic Noller Lars Grunske Abhik Roychoudhury

Published in: ICSE (2018)

Keyphrases

efficient implementation
semantic network
semantically equivalent
high level
domain specific
semantic similarity
neural network
case study
semantic web
program execution
logical representation
high level programming