Specification Inference modulo Oracles for Database-backed Web ApplicationsIn Person Talk
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 OctDisplayed 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 30mTalk | 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 30mTalk | Specification Inference modulo Oracles for Database-backed Web ApplicationsIn Person Talk Research Papers | ||
12:00 30mTalk | 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 | ||