Sign in

Symbolic model extraction for web application verification.

Ivan BocicTevfik Bultan
Published in: ICSE (2017)
Keyphrases
  • web applications
  • high level
  • database
  • databases
  • case study
  • open source
  • source code
  • web browser