Specification Inference Modulo Oracles for Database-Backed Web Applications
Abstract elided by the publisher.
Related papers
- Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles OOPSLA 2025
- Precise, dynamic information flow for database-backed applications PLDI 2016
- From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification POPL 2015
- Generating database migrations for evolving web applications GPCE 2011
- Pointer Analysis for Database-Backed Applications PLDI 2025
- Declarative assembly of web applications from predefined concepts Onward! 2019
- A program optimization for automatic database result caching POPL 2017
- The essence of command injection attacks in web applications POPL 2006