Client and server verification for web services using interface grammars

TAV-WEB 2008 - Proceedings of the Workshop on Testing, Analysis and Verification of Web Software

Volumn , Issue , 2008, Pages 40-46

  Hughes, Graham ^a   Bultan, Tevfik ^a   Alkhalaf, Muath ^a  

^a University of California   (United States)

Author keywords

Interface grammars; Web services

Indexed keywords

AUTOMOBILE DRIVERS; COMPUTATIONAL GRAMMARS; COMPUTER SOFTWARE SELECTION AND EVALUATION; ELECTRONIC COMMERCE; SOFTWARE TESTING; SPECIFICATIONS; TECHNICAL PRESENTATIONS; VERIFICATION; WEB SERVICES;

AUTOMATICALLY GENERATE; AUTOMATICALLY GENERATES; CASE STUDIES; E COMMERCES; INTERFACE GRAMMARS; INTERFACE SPECIFICATIONS; INTEROPERABLE; ORGANIZATIONAL BOUNDARIES; SERVICE INTERFACES; SOFTWARE COMPONENTS;

WORLD WIDE WEB;

EID: 57449090510     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390832.1390839     Document Type: Conference Paper

References (22)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1988.
2. R. Alur, P. Cerny, P. Madhusudan, and W. Nam. Synthesis of interface specifications for java classes. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symp. on Principles of Prog. Languages, (POPL 2005), 2005.
3. Amazon web services. http://solutions.amazonwebservices.com/.
4. J. A. Bauer and A. B. Finger. Test plan generation using formal grammars. In Proceedings of the 4th International Conference on Software Engineering, pages 425-432, Munich, Germany, September 1979.
5. A. Betin-Can and T. Bultan. Verifiable web services with hierarchical interfaces. In Proceedings of the IEEE International Conference on Web Services (ICWS 2005, pages 85-94.
6. A. Betin-Can and T. Bultan. Verifiable concurrent programming using concurrency controllers. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), pages 248-257, 2004.
7. G. Brat, K. Havelund, S. Park, and W. Visser. Java pathfinder: Second generation of a Java model checker. In Proceedings Workshop on Advances in Verification, 2000.
8. A. Chakrabarti, L. de Alfaro, T. Henzinger, M. Jurdziński, and F. Mang. Interface compatibility checking for software modules. In Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002), pages 428-441, 2002.
9. L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings 9th Annual Symposium on Foundations of Software Engineering, pages 109-120, 2001.
10. A. G. Duncan and J. S. Hutchison. Using attributed grammars to test designs and implementations. In Proceedings of the 5th International Conference on Software Engineering, pages 170-178, New York, NY, USA, March 1981.
11. G. Hughes and T. Bultan. Extended interface grammars for automated stub generation. In Proceedings of the Automated Formal Methods Workshop (AFM 2007), 2007.
12. G. Hughes and T. Bultan. Interface grammars for modular software model checking. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA '07), pages 39-49, 2007.
13. B. A. Malloy and J. F. Power. A top-down presentation of purdom's sentence-generation algorithm. Technical Report NUIM-CS-TR-2005-04, National University of Ireland at Maynooth, May 2005.
14. P. M. Maurer. Generating test data with enhanced context-free grammars. IEEE Software, 7(4):50-55, 1990.
15. P. M. Maurer. The design and implementation of a grammar-based data generator. Software Practice and Experience, 22(3):223-244, March 1992.
16. P. Purdom. A sentence generator for testing parsers. BIT, 12(3):366-375, 1972.
17. E. Sirer and B. N. Bershad. Using production grammars in software testing. In Proceedings of DSL'99: the 2nd Conference on Domain-Specific Languages, pages 1-13, Austin, TX, US, 1999.
18. Simple object access protocol (soap) 1.1. W3C Note 08, http://www.w3.org/TR/SOAP/, May 2000.
19. J. Whaley, M. Martin, and M. Lam. Automatic extraction of object-oriented component interfaces. In Proceedings of the 2002 ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), 2002.
20. Web services description language (WSDL) 1.1. http://www.w3.org/TR/wsdl.
21. Extensible markup language (XML) 1.0 (second edition). W3C, http://www.w3.org/TR/REC-xml, 2000.
22. XML Schema part 2: Datatypes. W3C Recommendation, http://www.w3.org/TR/ xmlschema-2/, May 2001.