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, US - researchr publication

researchr

You are not signed in
Sign in
Sign up

Tevfik Bultan, Tao Xie, editors, 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, US. ACM, 2008.

Conference: ISSTA2008

Abstract is missing.

Hybrid test of web applications with webtestHarald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten. 1-7 [doi]

Empirical studies of a decentralized regression test selection framework for web servicesMichael Ruth, Shengru Tu. 8-14 [doi]

Towards a unified framework for the monitoring and recovery of BPEL processesLuciano Baresi, Sam Guinea, Liliana Pasquale. 15-19 [doi]

Policy expression and checking in XACML, WS-Policies, and the jABCMartin Karusseit, Tiziana Margaria, Holger Willebrandt. 20-26 [doi]

Multiple-implementation testing for XACML implementationsNuo Li, JeeHyun Hwang, Tao Xie. 27-33 [doi]

SAFELI: SQL injection scanner using symbolic executionXiang Fu, Kai Qian. 34-39 [doi]

Client and server verification for web services using interface grammarsGraham Hughes, Tevfik Bultan, Muath Alkhalaf. 40-46 [doi]

White-box testing of behavioral web service contracts with PexNikolai Tillmann, Jonathan de Halleux. 47-48 [doi]

runs on WebDSL