Component-Based Synthesis for Complex APIs

Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps