155 citations · 309 across the 27 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.AI2018★ 12 cited
Greybox fuzzing as a contextual bandits problem
Ketan Patil, Aditya Kanade
Greybox fuzzing is one of the most useful and effective techniques for the bug detection in large scale application programs. It uses minimal amount of instrumentation. American Fu…
cs.SE2018
Active Learning for Efficient Testing of Student Programs
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…
cs.AI2018★ 22 cited
Deep Reinforcement Learning for Programming Language Correction
Rahul Gupta, Aditya Kanade, Shirish Shevade
Novice programmers often struggle with the formal syntax of programming languages. To assist them, we design a novel programming language correction framework amenable to reinforce…