43 citations · 133 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 38 cited
Programming Not Only by Example
Hila Peleg, Sharon Shoham, Eran Yahav
In recent years, there has been tremendous progress in automated synthesis techniques that are able to automatically generate code based on some intent expressed by the programmer.…
cs.AI2017★ 43 cited
Learn&Fuzz: Machine Learning for Input Fuzzing
Patrice Godefroid, Hila Peleg, Rishabh Singh
Fuzzing consists of repeatedly testing an application with modified, or fuzzed, inputs with the goal of finding security vulnerabilities in input-parsing code. In this paper, we sh…