APLAS 2025
Mon 27 - Thu 30 October 2025 Bengaluru, India

This program is tentative and subject to change.

In logical reasoning, specification inference attempts to synthesize an explanatory hypothesis from a given conclusion. We consider the specification synthesis problem for database-backed web-applications where only an \textit{oracle} access to the application is available. Such is a real case for test teams where they are not provided access to the application. Our algorithm begins with an initial hypothesis constructed from responses of the web-application on a sampled dataset, and then improves this hypothesis iteratively via carefully constructed queries to the application (via an SMT solver). Finally, statistical tests are used to validate the \textit{soundness} and \textit{maximality} of the constructed hypothesis. We implement our algorithm in a tool, WEBSPEC, and demonstrate its capabilities on a large web-based enterprise resource planning (ERP) software. WEBSPEC infers \textit{semantically equivalent} specifications as the ground-truth in all cases.

This program is tentative and subject to change.

Wed 29 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:00 - 12:30
Program Analysis, Specifications, and Decision ProceduresResearch Papers at R104
Chair(s): PRITAM MANOHAR GHARAT Microsoft Research India
11:00
30m
Talk
Checking Consistency of Event-driven Traces
Research Papers
Parosh Aziz Abdulla Uppsala University; Mälardalen University, Mohamed Faouzi Atig Uppsala University, Sweden, Samuel Grahn Uppsala University, Govind Rajanbabu Uppsala University, Ramanathan S. Thinniyam Uppsala University
11:30
30m
Talk
Specification Inference modulo Oracles for Database-backed Web ApplicationsIn Person Talk
Research Papers
Nitesh Trivedi IIT KANPUR, Subhajit Roy IIT Kanpur
12:00
30m
Talk
Decision Procedures for A Theory of String SequencesRemote Talk
Research Papers
Denghang Hu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Taolue Chen Birkbeck, University of London, Philipp Ruemmer University of Regensburg and Uppsala University, Fu Song Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology, Zhilin Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Hide past events