TAV-WEB 2008: Seattle, WA, USA

Tevfik Bultan, Tao Xie (Eds.): Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, USA, July 21, 2008. ACM 2008, ISBN 978-1-60558-053-1

Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten:
Hybrid test of web applications with webtest. 1-7
Michael Ruth, Shengru Tu:
Empirical studies of a decentralized regression test selection framework for web services. 8-14
Luciano Baresi, Sam Guinea, Liliana Pasquale:
Towards a unified framework for the monitoring and recovery of BPEL processes. 15-19
Martin Karusseit, Tiziana Margaria, Holger Willebrandt:
Policy expression and checking in XACML, WS-Policies, and the jABC. 20-26
Nuo Li, JeeHyun Hwang, Tao Xie:
Multiple-implementation testing for XACML implementations. 27-33
Xiang Fu, Kai Qian:
SAFELI: SQL injection scanner using symbolic execution. 34-39
Graham Hughes, Tevfik Bultan, Muath Alkhalaf:
Client and server verification for web services using interface grammars. 40-46
Nikolai Tillmann, Jonathan de Halleux:
White-box testing of behavioral web service contracts with Pex. 47-48