Model Checking Database Applications
No abstract available.
Related papers
- Using active learning to synthesize models of applications that access databases PLDI 2019
- Generating database migrations for evolving web applications GPCE 2011
- Active Learning for Inference and Regeneration of Applications that Access Databases TOPLAS 2021
- Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels PLDI 2023
- Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases TACAS 2004
- Precise, dynamic information flow for database-backed applications PLDI 2016
- Checking Robustness Between Weak Transactional Consistency Models ESOP 2021
- Graphiti: Bridging Graph and Relational Database Queries PLDI 2025