TAV-WEB

Keyphrases

Publications

2010

volume 35, 2010

Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010. TAV-WEB 35 (2010)

2008

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 TAV-WEB (2008)
Luciano Baresi, Sam Guinea, Liliana Pasquale
Towards a unified framework for the monitoring and recovery of BPEL processes. TAV-WEB (2008)
Michael Ruth, Shengru Tu
Empirical studies of a decentralized regression test selection framework for web services. TAV-WEB (2008)
Nuo Li, JeeHyun Hwang, Tao Xie
Multiple-implementation testing for XACML implementations. TAV-WEB (2008)
Xiang Fu, Kai Qian
SAFELI: SQL injection scanner using symbolic execution. TAV-WEB (2008)
Nikolai Tillmann, Jonathan de Halleux
White-box testing of behavioral web service contracts with Pex. TAV-WEB (2008)
Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten
Hybrid test of web applications with webtest. TAV-WEB (2008)
Graham Hughes, Tevfik Bultan, Muath Alkhalaf
Client and server verification for web services using interface grammars. TAV-WEB (2008)
Martin Karusseit, Tiziana Margaria, Holger Willebrandt
Policy expression and checking in XACML, WS-Policies, and the jABC. TAV-WEB (2008)

2006