Cited By
View all- Wang BBaluta TKolluri ASaxena PSpinellis DGousios GChechik MDi Penta M(2021)SynGuar: guaranteeing generalization in programming by exampleProceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3468264.3468621(677-689)Online publication date: 20-Aug-2021
- Shen JRinard M(2021)Active Learning for Inference and Regeneration of Applications that Access DatabasesACM Transactions on Programming Languages and Systems10.1145/343095242:4(1-119)Online publication date: 22-Jan-2021
- Collie BWoodruff JO'Boyle MErwig MGray J(2020)Modeling black-box components with probabilistic synthesisProceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3425898.3426952(1-14)Online publication date: 16-Nov-2020
- Show More Cited By