Takaaki Tateishi Hisashi Miyashita Kouichi Ono Shin Saito Automated Verification Tool for DHTML. 363-364 2006 conf/kbse/2006 ASE http://doi.ieeecomputersociety.org/10.1109/ASE.2006.21 db/conf/kbse/ase2006.html#TateishiMOS06