2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Alex Renda, Yi Ding, Michael Carbin
Programmers and researchers are increasingly developing surrogates of programs, models of a subset of the observable behavior of a given program, to solve a variety of software dev…