Input Repair via Synthesis and Lightweight Error Feedback

Lukas Kirschner, Ezekiel Soremekun, Rahul Gopinath +1

Often times, input data may ostensibly conform to a given input format, but cannot be parsed by a conforming program, for instance, due to human error or data corruption. In such c…