Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle: Modeling black-box components with probabilistic synthesis. GPCE 2020: 1-14