REST APIs are widely used for accessing web services. To support their use and testing, developers often write API specifications in open formats like OpenAPI. However, writing these specifications manually is tedious and error-prone, leading to incomplete or outdated specifications that can hinder both API usage and automated testing. Existing tools attempt to generate API specifications from source code using static or dynamic analysis. Unfortunately, these tools are often tightly coupled to specific languages and frameworks, making them hard to generalize and extend. This paper presents Speculate, the first approach to combine lightweight static analysis with large language models(LLMs) to automatically generate REST API specifications from source code.By leveraging LLMs trained on diverse codebases, Speculate generalizes easily across languages and frameworks. We evaluate Speculate on 19 real-world web repositories spanning two programming languages and three REST frameworks. Our results show that Speculate outperforms existing tools on both precision and recall across all dimensions.
Wed 8 JulDisplayed time zone: Eastern Time (US & Canada) change
10:30 - 12:30 | Requirement and SpecificationResearch Papers / Journal-First Paper at MB 2.430 Chair(s): Neil Ernst University of Victoria | ||
10:30 20mTalk | Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables Research Papers Aren A. Babikian University of Toronto, Alessio Di Sandro University of Toronto, Federico Formica McMaster University, Claudio Menghi University of Bergamo; McMaster University, Marsha Chechik University of Toronto Pre-print | ||
10:50 20mTalk | An empirical study on LLM-based classification of requirements-related provisions in food-safety regulations Journal-First Paper Shabnam Hassani University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Daniel Amyot University of Ottawa Pre-print | ||
11:10 20mTalk | Speculate: Generating REST API Specifications Using LLMs Research Papers Krishanu Singh IIT Delhi, Kushagra Karar IIT Delhi, Abhilash Jindal IIT Delhi, India, Guowei Yang University of Queensland | ||
11:30 20mTalk | Requirements Coverage-Guided Minimization for Natural Language Test Cases Journal-First Paper RONGQI PAN University of Ottawa, Feifei Niu Graz University of Technology, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Hanyang Hu Company A | ||
11:50 20mTalk | SpecWeaver: End-to-End HTTP API Specification Inference Across Multi-Layer Routing in Production Web Services Research Papers Wenbo Hu Institute of Information Engineering at Chinese Academy of Sciences, Jie Lu SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Jingting Chen Institute of Information Engineering, Chinese Academy of Sciences, Feng Li Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Xiaonan Shi Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences, Jinchen Wang Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences | ||
12:10 20mTalk | CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation Research Papers Tobias Kiecker Humboldt-Universität zu Berlin, Jan Arne Sparka Humboldt-Universität zu Berlin, Martin Reuter Humboldt-Universität zu Berlin, Albert Ziegler XBow, Lars Grunske Humboldt-Universität zu Berlin Pre-print | ||