Symbolic model extraction for web application verification.

Ivan Bocic Tevfik Bultan

Published in: ICSE (2017)

Keyphrases

web applications
high level
database
databases
case study
open source
source code
web browser