Developing and assuring trustworthy web services

Proceedings - 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005

Volumn 2005, Issue , 2005, Pages 43-50

  Tsai, W T ^a   Wei, X ^a   Chen, Y ^a   Xiao, B ^a   Paul, R ^b   Huang, H ^a  

^a Arizona State University   (United States)

^b ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

Author keywords

Model checking; Test case generation; Vulnerability; Web services; Web services testing

Indexed keywords

COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; ELECTRONIC COMMERCE; FAST RESPONSE COMPUTER SYSTEMS; STANDARDIZATION;

MODEL CHECKING; SWISS CHEESE NEGATIVE TESTING; TEST CASE GENERATION; VULNERABILITY; WEB SERVICES; WEB SERVICES TESTING;

WORLD WIDE WEB;

EID: 30344475769     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISADS.2005.1452016     Document Type: Conference Paper

References (17)

1. D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and R. Majumdar, "Generating Tests from Counterexamples", Proceedings of the 26th International Conference on Software Engineering (ICSE'04), Scotland, UK, May 2004, pp. 326-335.
2. E. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press, 2002.
3. T. Y. Chen and M. F. Lau, "Test Cases Selection Strategies Based on Boolean Specifications", Software Testing, Verification and Reliability, Vol. 11, No. 3, Sep. 2001, pp.165-180.
4. J. Clune and L. Chen, "Testing Web Services: Methods for Ensuring Server and Client Reliability" at http://www.syscon.com/websphere/
5. N. Davidson, "Testing Web Services" at http://www.webservices. org/,in October 2002.
6. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Lazy Abstraction", In Proceedings of the 29th Annual Symposium on Principles of Programming Languages, 2002, pages 58-70.
7. G. Holtzman, "The Spin Model Checker," IEEE Transactions on Software Engineering, Vol. 23, No. 5, May 1997, pp. 279-295.
8. J. Myerson, "Testing for SOAP Interoperability" at http://www.webservicesarchitect.com/,Feb 2002.
9. Wim De Pauw, et al., "Websight Visualizing the Execution of Web Services", Workshop on Testing, Analysis and Verification of Web Services, Boston, MA, July 2004.
10. W. T. Tsai, R. Paul, Y. Wang, C. Fan, and D. Wang, "Extending WSDL to Facilitate Web Services Testing", Proc. of IEEE HASE, 2002, pp. 171-172.
11. W. T. Tsai, R. Paul, Z. Cao, L. Yu, A. Saimi, and B. Xiao, "Verification of Web Services Using an Enhanced UDDI Server", Proc. of IEEE WORDS, 2003, pp. 131-138.
12. W. T. Tsai, R. Paul, L. Yu, A. Saimi, and Z. Cao, "Scenario-Based Web Service Testing with Distributed Agents", IEICE Transactions on Information and Systems, 2003, Vol. E86-D, No. 10, 2003, pp. 2130-2144.
13. W.T. Tsai, Lian Yu, Feng Zhu and Ray J. Paul, "Rapid Verification of Embedded Systems Using Patterns", COMPSAC 2003: 466-471.
14. W. T. Tsai, R. Paul, L. Yu, X. Wei, and F. Zhu, "Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems", to appear in book Software Evolution with UML and XML, edited by H. Yang, 2004.
15. W. T. Tsai, D. Zhang, Y. Chen, H. Huang, Ray Paul, and Ning Liao, "A Software Reliability Model for Web Services", the 8th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, November 2004, pp. 144-149.
16. W. T. Tsai, Y. Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, and Ray Paul, "Testing Web Services Using Progressive Group Testing", Advanced Workshop on Content Computing, Zhenjiang, China, November 2004, pp. 314-322.
17. W. T. Tsai, X. Wei, L. Yu, R. Paul, and H. Huang, "Condition-Event Combination Covering Analysis for High-Assurance System Requirements", to appear in Computer Systems Science & Engineering (CSSE) journal.