256 search results - page 14 / 52 » Object-Based Data Flow Testing of Web Applications |
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
SAC
2009
ACM
14 years 5 days ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
DGO
2003
13 years 9 months ago
2003
MapStats for Kids is concerned with the development of online learning activities based on data from the FedStats web portal. The development of these web applications requires th...