Model Checking-based Verification of Web Application.

Huaikou Miao Hongwei Zeng Model Checking-based Verification of Web Application. 47-55 2007 conf/iceccs/2007 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.30 db/conf/iceccs/iceccs2007.html#MiaoZ07