On the Automated Verification of Web Applications with Embedded SQL.
Shachar ItzhakyTomer KotekNoam RinetzkyMooly SagivOrr TamirHelmut VeithFlorian ZulegerPublished in: ICDT (2017)
Keyphrases
- web applications
- automated verification
- model checking
- automated reasoning
- formal verification
- application development
- relational databases
- query language
- sql queries
- end users
- application developers
- web services
- web browser
- web application development
- databases
- database
- data types
- database design
- database applications
- data manipulation
- visual studio
- sql server
- stored procedures
- database technology
- search engine