[ecoop-info] CfP - TAV-WEB 2010

gwen.salaun at inria.fr gwen.salaun at inria.fr
Fri Apr 30 11:47:06 CEST 2010


4th International Workshop on Testing, Analysis, and Verification of
Web Software (TAV-WEB 2010)

Held in conjunction with ASE 2010

Antwerp, Belgium, September 20 - September 24, 2010

Web Site: http://www.tav-web.org/


The last decade has seen the explosive growth of interactive Web
software, which is now commonplace in many application domains
including retail (such as Amazon and Travelocity) and finance (such as
on-line trading and banking). This explosive growth is likely to
accelerate further by adoption of service oriented computing 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. We believe that investigating
the testing, analysis and verification problems in this particular
domain is an extremely important research topic.  Developing
dependable Web software has its own unique set of challenges:

    * Distributed nature of Web accessible software components makes
      interoperability and integration especially challenging. Web
      applications and services are prone to concurrency errors since
      they rely on concurrent processing of user/service requests.

    * Interfaces play an important role in coordination of components
      within a Web application or coordination of Web services across
      organizational boundaries, and interface violations can cause
      serious problems.

    * Diverse communication mechanisms such as synchronous and
      asynchronous messaging and remote procedure calls result in
      complex interaction behavior.

    * Performance is an important problem for web software due to a
      high volume of web accesses and requests and communication
      overhead (such as service interactions) inside web software.

    * Security and privacy are critical for web software due to ease
      of access and cross-enterprise exchange of potentially sensitive

    * New languages (such as BPEL), new software development platforms
      (such as Ruby on Rails), and data formats (such as XML)
      introduced for this particular domain present new challenges.

    * Migrating legacy software to web software calls for new
      techniques and tools to support the process.

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 the ones listed above. These demands will require
and inspire new testing, analysis and verification techniques and
corresponding tools, which will form the focus of this workshop.


Submission: 15 June, 2010
Author Notification: 16 July, 2010
Camera Ready: 30 July, 2010
Workshop: 21 September, 2010 


Topics of interest include, but are not limited to:

    * Models and tools for analyzing, designing, composing, and
       discovering Web services and Business processes.

    * Formal models for specifying and reasoning on Web software.

    * Model-checking and debugging of Web software.

    * Web quality, metrics, reliability, security, and performance

    * Testing and evaluation of Web systems and applications.

    * Surveys, case studies and industrial or experience reports.

The goal of the workshop is to bring together researchers and
practitioners interested in the aforementioned fields, to share and
identify common problems, and to devise general solutions in the
context of testing, analysis, and verification of Web software. It is
expected that formal paper presentations will be followed by lively


TAV-WEB 2010 calls for both research papers and experience
reports. Papers should be up to 12 pages, using the EPTCS style, and
they must indicate the authors names, affiliation and contact
information. Submissions should be submitted using the EasyChair
system (http://www.easychair.org/conferences/?conf=tavweb10) by June
15, 2010. All submissions will be reviewed by the Program Committee
for acceptance. Accepted papers will be published in the proceedings
of the workshop in the EPTCS series.


Luciano Baresi, Politecnico di Milano (Italy)
Tevfik Bultan, UCSB, Santa Barbara (US)
Gregorio Diaz, University of Castilla la Mancha (Spain)
Francisco Duran, University of Malaga (Spain)
Howard Foster, Imperial College, London (UK)
Xiang Fu, Hofstra University (US)
William Halfond, University of Southern California (US)
Sylvain Hallé, Université du Québec à Montréal (Canada)
Yang Liu, National University of Singapore
Tiziana Margaria, University of Potsdam (Germany)
John Mullins, Montreal Polytechnical School (Canada)
Jeff Offutt, George Mason University (US)
Gwen Salaün, Grenoble INP-INRIA-LIG (France)
Marjan Sirjani, Reykjavik University (Iceland)
Sara Sprenkle, Washington & Lee University (US)
Fatiha Zaidi, University of Paris-Sud XI (France) 

PC Chairs

Xiang Fu, Hofstra University (US)
Sylvain Hallé, Université du Québec à Montréal (Canada)
Gwen Salaün, Grenoble INP-INRIA-LIG (France)

More information about the ecoop-info mailing list