In only its second year, the International Logic Olympiad is already booming as logic becomes more and more crucial in our ...

We propose Nopol, an approach to automatic repair of buggy conditional statements (i.e., if-then-else statements). This approach takes a buggy program as well as a test suite as input and generates a ...