Domain and value checking of web application invocation arguments

DOI 10.1109/ase.2011.6100121 dblp

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.

BibTeX

@inproceedings{Halfond:ASE11,
  author    = {William G. J. Halfond},
  title     = {Domain and value checking of web application invocation arguments},
  booktitle = {ASE},
  pages     = {544--547},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
}

Domain and value checking of web application invocation arguments

Abstract

Related papers