Domain and value checking of web application invocation arguments

Authors:
William G. J. Halfond
Affiliations:
University of Southern California, Los Angeles, USA
Venue:
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Year:
2011

Citing 5
Cited 0

Static approximation of dynamically generated Web pages

WWW '05 Proceedings of the 14th international conference on World Wide Web
Helping End-Users "Engineer" Dependable Web Applications

ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Improving test case generation for web applications using automated interface discovery

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Finding bugs in dynamic web applications

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Automated identification of parameter mismatches in web applications

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Invocations are widely used by many web applications, but have been found to be a common source of errors. This paper presents a new technique that can statically verify that an invocation's set of argument names, types, and request method match the constraints of a target interface. An empirical evaluation of the technique shows that it is successful at identifying previously unknown errors in web applications.