48 citations · 157 across the 6 of their papers we have counts for
1 paper · 1 filter
Phuc C. Nguyen, David Van Horn
In this paper, we study the problem of generating inputs to a higher-order program causing it to error. We first study the problem in the setting of PCF, a typed, core functional l…