Automated Verification Tool for DHTML

Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito

DOI 10.1109/ase.2006.21 dblp

Abstract

Automated verification for client-side programs of DHTML applications has become necessary. This is because DHTML applications are increasingly complicated in order to enhance the functionality and usability of dynamic Web content. We are therefore motivated to create a tool for automatically verifying a JavaScript program of a DHTML application against a specification describing the page flows. The verification is based on a type inference technique focusing on DOM updates

BibTeX

@inproceedings{Tateishi-al:ASE06,
  author    = {Takaaki Tateishi and
               Hisashi Miyashita and
               Kouichi Ono and
               Shin Saito},
  title     = {Automated Verification Tool for {DHTML}},
  booktitle = {ASE},
  pages     = {363--364},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
}

Automated Verification Tool for DHTML

Abstract

Related papers