262 search results - page 18 / 53 » Verifying Web Applications Using Bounded Model Checking |
DAGSTUHL
2006
15 years 1 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
90
Voted
ISSE
2010
14 years 10 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
MOMM
2009
ACM
15 years 4 months ago
2009
ACM
Modeling adaptivity is a challenging task for two reasons: 1) adaptation is usually strongly interwoven with the general functionality of the web application, separation of concer...
84
Voted
ICWE
2007
Springer
15 years 5 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
90
Voted
USS
2008
15 years 2 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...