2022/03/30 by Zheng Guo, David Cao, Davin Tjong +3 · 1 voice · 1 citation
Computer Science · #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.PL
paper · pdf · doi:10.1145/3519939.3523450
arxiv published 2022/03/30 · arxiv created 2022/04/05 · arxiv updated 2022/04/06 · openalex publication_date 2022/06/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/30
With the rise of software-as-a-service and microservice architectures, RESTful APIs are now ubiquitous in mobile and web applications. A service can have tens or hundreds of API methods, making it a challenge for programmers to find the right combination of methods to solve their task. We present APIphany, a component-based synthesizer for programs that compose calls to RESTful APIs. The main innovation behind APIphany is the use of precise semantic types, both to specify user intent and to direct the search. APIphany contributes three novel mechanisms to overcome challenges in adapting component-based synthesis to the REST domain: (1) a type inference algorithm for augmenting REST specifications with semantic types; (2) an efficient synthesis technique for "wrangling" semi-structured data, which is commonly required in working with RESTful APIs; and (3) a new form of simulated execution to avoid executing APIs calls during synthesis. We evaluate APIphany on three real-world APIs and 32 tasks extracted from GitHub repositories and StackOverflow. In our experiments, APIphany found correct solutions to 29 tasks, with 23 of them reported among top ten synthesis results.