Modeling black-box components with probabilistic synthesis
Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle · 2020
This paper is concerned with synthesizing programs based on black-box oracles: we are interested in the case where there exists an executable implementation of a component or library, but its internal structure is unknown. We are provided with just an API or function signature, and aim to synthesize a program with equivalent behavior.