Active Learning for Efficient Testing of Student Programs

no code implementations • 13 Apr 2018 • Ishan Rastogi, Aditya Kanade, Shirish Shevade

In this work, we propose an automated method to identify semantic bugs in student programs, called ATAS, which builds upon the recent advances in both symbolic execution and active learning.

Active Learning