Woosung Jung Eunjoo Lee Kapsu Kim Chisu Wu A Type-Based Analysis for Verifying Web Application. 813-820 2007 conf/waim/2007 APWeb/WAIM http://dx.doi.org/10.1007/978-3-540-72524-4_83 db/conf/waim/waim2007.html#JungLKW07