Sign in
Peter Provost
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Computational Complexity
Test Data
Trade Off
Top Venues
PLDI
</>
Publications
</>
Daniel Perelman
,
Sumit Gulwani
,
Dan Grossman
,
Peter Provost
Test-driven synthesis.
PLDI
(2014)