TAV-WEB 2008

Workshop on Testing, Analysis and Verification of Web Software

Seattle, WA, Monday, July 21, 2008

In conjunction with ISSTA 2008

Registeration for ISSTA and TAV-WEB is open here.


Purpose and Scope

The last decade has seen the explosive growth of interactive Web software, which is now commonplace in many application domains including retail and finance. This explosive growth is likely to accelerate further by adoption of service oriented computing paradigm that enables interactions among Web accessible software components, facilitating business-to-business application development. Challenges in developing Web accessible software has inspired a new wave of languages, standards, and tools that have not yet become part of the mainstream software engineering research and education. On the other hand, an increasingly large number of software developers work exclusively on Web software development.

Developing dependable Web software requires effective testing, analysis and verification techniques and tools that address not only the needs of software in general but also the peculiar challenges of this domain such as:

These challenges will require and inspire new testing, analysis and verification techniques and corresponding tools, which will form the focus of this workshop.

The scope of the TAV-WEB 2008 has been extended (from the web service scope of previous workshops TAV-WEB 2004 and TAV-WEB 2006) to include all Web software. This increase in scope is intended to help bring together researchers working on testing, analysis and verification of web services and interactive web applications together.

This one-full-day workshop will seek both research papers and experience reports from the academic, research, and industrial communities. The workshop will also invite tool demonstrations for papers that have a tool in them.

Accepted papers will be included in the ISSTA proceedings and thus will be accessible to the workshop participants before the workshop to facilitate interaction and discussion. The accepted papers will also be published in the ACM Digital Library.

Important Dates

Paper Submissions

Papers must follow the ACM conference format and must not exceed 7 pages, including figures and references. All submissions must be in English. Papers must be submitted electronically, in PDF format, using the TAV-WEB easychair conference system.

Each submitted paper will be reviewed by at least three PC members. Acceptance will be primarily based on content quality, workshop relevance, and potential to generate discussion. For each accepted paper, an author must attend and present the paper at the workshop.

Camera-Ready Copy: Please see the instructions on how to submit the camera-ready copy of your paper and your signed ACM copyright form.


Workshop registration can be done via the ISSTA registration site.


Program Committee

Past TAV-WEB Workshops

TAV-WEB 2006
TAV-WEB 2004