Oblique: Accelerating Page Loads Using Symbolic Execution.

Ronny Ko James Mickens Blake Loring Ravi Netravali

Published in: NSDI (2021)

Keyphrases

symbolic execution
test generation
static analysis
website
test data generation
specification language
source code
web pages
data flow
database systems
neural network