At the End of Synthesis: Narrowing Program Candidates

Published:

Recommended citation: David Shriver, Sebastian G. Elbaum, Kathryn T. Stolee. 2017. At the End of Synthesis: Narrowing Program Candidates. In 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, ICSE-NIER 2017, Buenos Aires, Argentina, May 20-28, 2017. 19-22. https://doi.org/10.1109/ICSE-NIER.2017.7