Automated Verification Tool for DHTML

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.

By: Takaaki Tateishi, Hisashi Miyashita, Kohichi Ono, Shin Saito

Published in: RT0651 in 2007

This Research Report is not available electronically. Please request a copy from the contact listed below. IBM employees should contact ITIRC for a copy.

Questions about this service can be mailed to .