On the automated verification of web applications with embedded SQL.
Shachar ItzhakyTomer KotekNoam RinetzkyMooly SagivOrr TamirHelmut VeithFlorian ZulegerPublished in: CoRR (2016)
Keyphrases
- web applications
- automated verification
- model checking
- automated reasoning
- formal verification
- application development
- relational databases
- query language
- end users
- sql queries
- database
- application developers
- database design
- data types
- web browser
- web services
- databases
- temporal logic
- mashup
- web application development
- graph theory
- database technology
- website
- database server
- web server
- database applications
- data model
- expert systems
- web development
- visual studio
- case study