Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301431527> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4301431527 abstract "A large number of web applications is based on a relational database together with a program, typically a script, that enables the user to interact with the database through embedded SQL queries and commands. In this paper, we introduce a method for formal automated verification of such systems which connects database theory to mainstream program analysis. We identify a fragment of SQL which captures the behavior of the queries in our case studies, is algorithmically decidable, and facilitates the construction of weakest preconditions. Thus, we can integrate the analysis of SQL queries into a program analysis tool chain. To this end, we implement a new decision procedure for the SQL fragment that we introduce. We demonstrate practical applicability of our results with three case studies, a web administrator, a simple firewall, and a conference management system." @default.
- W4301431527 created "2022-10-05" @default.
- W4301431527 creator A5002512849 @default.
- W4301431527 creator A5010920313 @default.
- W4301431527 creator A5025839310 @default.
- W4301431527 creator A5037668871 @default.
- W4301431527 creator A5052440027 @default.
- W4301431527 creator A5063337176 @default.
- W4301431527 creator A5082349206 @default.
- W4301431527 date "2016-10-06" @default.
- W4301431527 modified "2023-10-17" @default.
- W4301431527 title "On the automated verification of web applications with embedded SQL" @default.
- W4301431527 doi "https://doi.org/10.48550/arxiv.1610.02101" @default.
- W4301431527 hasPublicationYear "2016" @default.
- W4301431527 type Work @default.
- W4301431527 citedByCount "0" @default.
- W4301431527 crossrefType "posted-content" @default.
- W4301431527 hasAuthorship W4301431527A5002512849 @default.
- W4301431527 hasAuthorship W4301431527A5010920313 @default.
- W4301431527 hasAuthorship W4301431527A5025839310 @default.
- W4301431527 hasAuthorship W4301431527A5037668871 @default.
- W4301431527 hasAuthorship W4301431527A5052440027 @default.
- W4301431527 hasAuthorship W4301431527A5063337176 @default.
- W4301431527 hasAuthorship W4301431527A5082349206 @default.
- W4301431527 hasBestOaLocation W43014315271 @default.
- W4301431527 hasConcept C118643609 @default.
- W4301431527 hasConcept C136764020 @default.
- W4301431527 hasConcept C141589383 @default.
- W4301431527 hasConcept C150451098 @default.
- W4301431527 hasConcept C153269930 @default.
- W4301431527 hasConcept C154420247 @default.
- W4301431527 hasConcept C164120249 @default.
- W4301431527 hasConcept C167544706 @default.
- W4301431527 hasConcept C179531526 @default.
- W4301431527 hasConcept C194222762 @default.
- W4301431527 hasConcept C199360897 @default.
- W4301431527 hasConcept C33882796 @default.
- W4301431527 hasConcept C41008148 @default.
- W4301431527 hasConcept C510870499 @default.
- W4301431527 hasConcept C55596503 @default.
- W4301431527 hasConcept C5655090 @default.
- W4301431527 hasConcept C77088390 @default.
- W4301431527 hasConcept C80444323 @default.
- W4301431527 hasConcept C97854310 @default.
- W4301431527 hasConceptScore W4301431527C118643609 @default.
- W4301431527 hasConceptScore W4301431527C136764020 @default.
- W4301431527 hasConceptScore W4301431527C141589383 @default.
- W4301431527 hasConceptScore W4301431527C150451098 @default.
- W4301431527 hasConceptScore W4301431527C153269930 @default.
- W4301431527 hasConceptScore W4301431527C154420247 @default.
- W4301431527 hasConceptScore W4301431527C164120249 @default.
- W4301431527 hasConceptScore W4301431527C167544706 @default.
- W4301431527 hasConceptScore W4301431527C179531526 @default.
- W4301431527 hasConceptScore W4301431527C194222762 @default.
- W4301431527 hasConceptScore W4301431527C199360897 @default.
- W4301431527 hasConceptScore W4301431527C33882796 @default.
- W4301431527 hasConceptScore W4301431527C41008148 @default.
- W4301431527 hasConceptScore W4301431527C510870499 @default.
- W4301431527 hasConceptScore W4301431527C55596503 @default.
- W4301431527 hasConceptScore W4301431527C5655090 @default.
- W4301431527 hasConceptScore W4301431527C77088390 @default.
- W4301431527 hasConceptScore W4301431527C80444323 @default.
- W4301431527 hasConceptScore W4301431527C97854310 @default.
- W4301431527 hasLocation W43014315271 @default.
- W4301431527 hasLocation W43014315272 @default.
- W4301431527 hasOpenAccess W4301431527 @default.
- W4301431527 hasPrimaryLocation W43014315271 @default.
- W4301431527 hasRelatedWork W1980548249 @default.
- W4301431527 hasRelatedWork W1995354730 @default.
- W4301431527 hasRelatedWork W2044009024 @default.
- W4301431527 hasRelatedWork W2183270057 @default.
- W4301431527 hasRelatedWork W2381269413 @default.
- W4301431527 hasRelatedWork W2738342198 @default.
- W4301431527 hasRelatedWork W2743421908 @default.
- W4301431527 hasRelatedWork W2748564340 @default.
- W4301431527 hasRelatedWork W604023535 @default.
- W4301431527 hasRelatedWork W976811131 @default.
- W4301431527 isParatext "false" @default.
- W4301431527 isRetracted "false" @default.
- W4301431527 workType "article" @default.