Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605580531

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Client and server verification for web services using interface grammars

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08 ◽

10.1145/1390832.1390839 ◽

2008 ◽

Cited By ~ 9

Author(s):

Graham Hughes ◽

Tevfik Bultan ◽

Muath Alkhalaf

Keyword(s):

Web Services

Towards a unified framework for the monitoring and recovery of BPEL processes

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08 ◽

10.1145/1390832.1390835 ◽

2008 ◽

Cited By ~ 7

Author(s):

Luciano Baresi ◽

Sam Guinea ◽

Liliana Pasquale

Keyword(s):

Unified Framework ◽

Bpel Processes

SAFELI

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08 ◽

10.1145/1390832.1390838 ◽

2008 ◽

Cited By ~ 17

Author(s):

Xiang Fu ◽

Kai Qian

White-box testing of behavioral web service contracts with Pex

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08 ◽

10.1145/1390832.1390840 ◽

2008 ◽

Cited By ~ 3

Author(s):

Nikolai Tillmann ◽

Jonathan de Halleux

Keyword(s):

Web Service ◽

Service Contracts ◽

White Box Testing

Hybrid test of web applications with webtest

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08 ◽

10.1145/1390832.1390833 ◽

2008 ◽

Cited By ~ 16

Author(s):

Harald Raffelt ◽

Tiziana Margaria ◽

Bernhard Steffen ◽

Maik Merten

Keyword(s):

Web Applications ◽

Hybrid Test

Empirical studies of a decentralized regression test selection framework for web services

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08 ◽

10.1145/1390832.1390834 ◽

2008 ◽

Cited By ~ 4

Author(s):

Michael E. Ruth ◽

Shengru Tu

Keyword(s):

Web Services ◽

Empirical Studies ◽

Test Selection ◽

Regression Test Selection ◽

Regression Test ◽

Selection Framework

Policy expression and checking in XACML, WS-Policies, and the jABC

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08 ◽

10.1145/1390832.1390836 ◽

2008 ◽

Cited By ~ 3

Author(s):

Martin Karusseit ◽

Tiziana Margaria ◽

Holger Willebrandt

Multiple-implementation testing for XACML implementations

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08 ◽

10.1145/1390832.1390837 ◽

2008 ◽

Cited By ~ 19

Author(s):

Nuo Li ◽

JeeHyun Hwang ◽

Tao Xie

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Client and server verification for web services using interface grammars

Towards a unified framework for the monitoring and recovery of BPEL processes

SAFELI

White-box testing of behavioral web service contracts with Pex

Hybrid test of web applications with webtest

Empirical studies of a decentralized regression test selection framework for web services

Policy expression and checking in XACML, WS-Policies, and the jABC

Multiple-implementation testing for XACML implementations

Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08
Latest Publications