Atsuto Kubo Hironori Washizaki Yoshiaki Fukazawa Automatic Extraction and Verification of Page Transitions in aWeb Application. 350-357 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.31 db/conf/apsec/apsec2007.html#KuboWF07