Automated Testing and
Verification of Web Services
Open source tools
Analysis libraries
Industrial tools
Workshops:
Researchers
Gerardo
Canfora (U. Sannio)
Michael
Ernst (MIT)
Howard Foster
(Imperial College London, UK)
Jeff Offutt (George Mason U.)
Massimiliano
Di Penta (U.
Sannio - Benevento)
Barbara
Ryder
(Rutgers U.)
Wei-Tek
Tsai
(Arizona State U.)
Jie
Xu
(U. Leeds, UK)
Papers/Articles/Projects
- WS Security:
-
A Framework for Building Privacy-Conscious Composite Web Services,
ICWS 06
-
An Approach for Realizing Privacy-Preserving Web-Based Services,
WWW 05
- WS testing:
- G. Canfora and M. Di Penta. Testing
Services and Service-Centric Systems: Challenges and Opportunities.
IT Professional 06
- G. Canfora and M. Di Penta. SOA:
Testing and Self-checking. WS-MaTE 06
- G. Canfora. User–side
Testing of Web Services. CSMR 05 [PDF]
- Using
Test Cases as Contract to Ensure Service Compliance across Releases
- ASU
SOA testing papers
- Vienna
University of Technology papers
- U
Leeds papers Pedagogic
Data as a Basis for Web Service Fault Models
- Imperial
Colleage papers
- USCB
Papers
- Compiler
Directed Program-fault Coverage for Highly Available Java Internet
Services
- Testing
of Java Web Services for Robustness Robustness
Testing of Java Server Applications
- Generating
Test Cases for Web Services Using Data Perturbation
Testing
Web Services by XML Perturbation
- Simulating
Errors in Web Services
- Trustworthy
Web Services: Actions for Now
- Model-based
Verification of Web Service Compositions
- Automated
Testing of XML/SOAP based Web Services
- Towards
Contract-based Testing of Web Services
- Using
Test Cases as Contract to Ensure Service Compliance
across Releaases
- SOA:
Testing and Self-Checking
- User-side
Testing of Web Services
- Testing
XML Web Services
- Essentials
of Web Services Testing
- Testing of Service Oriented Architectures
– A practical approach
- Using
JMeter to Performance Test Web Services
- Web
service testing tools
- Web
Services Security Testing - OWASP
- Web
Services and XML - Testing Web Services: What You Need To Know ...
- WS-FIT:
A Tool for Dependability Analysis of Web Services
- Testing
Web Services
- Detection
of web service substitutability and composability
- Generating
Test Cases Specifications for BPEL Compositions of
Web Services using SPIN
- Model
Checking Multi-Agent Web Services
- AETG
Web: A Web Based Service for Automatic Efficient Test
Generation from Functional Requirements AETG
- Jeff Offutt and Wuzhi Xu,Generating
Test Cases for Web Services Using Data Perturbation, TAV-WEB
2004
- H.Foster,
S.Uchitel, J.Magee,
J.Kramer, Model-based
Verification of Web Service Compositions, ASE 2003
- Ken Birman, Robbert van Renesse, and Werner Vogels, Adding
high availability and autonomic behavior to Web services.
ICSE 04
Others