T. Tateishi, Hisashi Miyashita, K. Ono, Shin Saito
{"title":"Automated Verification Tool for DHTML","authors":"T. Tateishi, Hisashi Miyashita, K. Ono, Shin Saito","doi":"10.1109/ASE.2006.21","DOIUrl":null,"url":null,"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","PeriodicalId":403196,"journal":{"name":"21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASE.2006.21","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
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