Web applications have become standard for several areas, however, they tend to be poorly structured and do not have strongly-typed support. In this paper, we present a web application model and a process to extract the model using static and dynamic analysis. We show recurring problems regarding type and structure in web applications and formally describe algorithms to verify those problems. Finally, we show the potentials of our approach via tool support. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Woosung, J., Eunjoo, L., Kapsu, K., & Chisu, W. (2007). A type-based analysis for verifying web application. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4505 LNCS, pp. 813–820). https://doi.org/10.1007/978-3-540-72524-4_83
Mendeley helps you to discover research relevant for your work.