Specification Inference Modulo Oracles for Database-Backed Web Applications.

Nitesh Trivedi, Subhajit Roy

Browse the full APLAS paper archive.