TAV-WEB 2006
Workshop on Testing, Analysis and Verification of Web Services and Applications
In conjunction with ISSTA 2006
Holiday Inn by the Bay, Portland, Maine, Monday, July 17, 2006
Topics of interest
Testing, analysis and verification techniques and tools for web software. Areas of interest include (but not limited to) the following topics specifically applied to Web software:
- automated testing and verification,
- reverse engineering techniques and tools for testing and analysis,
- formal methods for describing and reasoning about Web software,
- documenting, modeling, and reasoning about architecture,
- model-driven testing,
- object-oriented and aspect-oriented programming methods,
- static analysis techniques,
- XML-based messaging,
- Web service descriptions,
- coordination and composition of Web services,
- interaction and choreography among Web services.
Important Dates
- Papers submission: April 21, 2006
- Author Notification: May 20, 2006
- Camera Ready: June 03, 2006
- TAV-WEB Workshop: Monday, July 17, 2006
Program Committee
- Carlo Bellettini, University of Milan, Italy
- Tevfik Bultan (Chair), University of California, Santa Barbara, USA
- Nurit Dor, IBM Haifa Research Lab, Israel
- Xiang Fu, Georgia Southwestern State University, USA
- Tom Henzinger, EPFL, Switzerland
- Shriram Krishnamurthi, Brown University, USA
- Yvan Labiche, Carleton University, Ottawa, Canada
- Giuseppe A. Di Lucca, University of Sannio, Benevento, Italy
- Alessandro Marchetto, University of Milan, Italy
- Lori Pollock, University of Delaware, USA
- Michael I. Schwartzbach, University of Aarhus, BRICS, Denmark
- Jeff Tian, Southern Methodist University, Dallas, USA
- Andrea Trentini, University of Milan, Italy
- W. Eric Wong, University of Texas at Dallas, USA
- Tao Xie, North Carolina State University, USA
- Andrea Zisman, City University, London, UK
Organizers
- Carlo Bellettini (carlo.bellettini@unimi.it) University of Milan
- Tevfik Bultan (bultan@cs.ucsb.edu) University of California, Santa Barbara
- Xiang Fu (xfu@canes.gsw.edu) Georgia Southwestern State University
- Andrea Trentini (andrea.trentini@unimi.it) University of Milan
