TY - GEN
T1 - A type-based analysis for verifying web application
AU - Woosung, Jung
AU - Eunjoo, Lee
AU - Kapsu, Kim
AU - Chisu, Wu
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
KW - Analysis
KW - Verification
KW - Web application model
UR - http://www.scopus.com/inward/record.url?scp=38049035489&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:38049035489
SN - 9783540724834
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 813
EP - 820
BT - Advances in Data and Web Management - Joint 9th Asia-Pacific Web Conference, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007, Proceedings
T2 - Joint 9th Asia-Pacific Web Conference on Advances in Data and Web Management, APWeb 2007 and 8th International Conference on Web-Age Information Management, WAIM 2007
Y2 - 16 June 2007 through 18 June 2007
ER -