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 BibTeX

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