Automatic conformance testing of web services

Lecture Notes in Computer Science

Volumn 3442, Issue , 2005, Pages 34-48

  Heckel, Reiko ^a   Mariani, Leonardo ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; CLIENT SERVER COMPUTER SYSTEMS; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; QUALITY CONTROL;

AUTOMATIC CONFORMANCE TESTING; BEHAVIORAL DESCRIPTIONS; HIGH-QUALITY IMPLEMENTATION; WEB SERVICES;

WORLD WIDE WEB;

EID: 24644510437     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31984-9_4     Document Type: Conference Paper

References (24)

1. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284 (2001) 34-43
2. W3C Web Services Architecture Working Group: Web Services architecture requirements. W3C working draft, World Wide Web Consortium (2002)
3. Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web Services architecture. W3C working group note, W3C (2004)
4. Hausmann, J.H., Heckel, R., Lohmann, M.: Model-based discovery of Web Services. In: Intl. Conference on Web Services. (2004)
5. Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: a software engineering perspective. In: Intl. Conference on Graph Transformation. Volume 1 of LNCS., Springer (2002)
6. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley (1999)
7. Kaplan, S., Loyall, J., Goering, S.: Specifying concurrent languages and systems with δ-grammars. In Ehrig, H., Kreowski, H.J., Rozenberg, G., eds.: Proc. 4th Intl. Workshop on Graph Grammars and Their Application to Computer Science. Volume 532 of LNCS., Springer (1991) 475-489
8. de Roever, W.P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and Their Comparison. Volume 47 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1998)
9. White, L., Cohen, E.J.: A domain strategy for computer program testing. IEEE Transactions on Software Engineering 6 (1980) 247-257
10. Weyuker, E., Jeng, B.: Analyzing partition testing strategies. IEEE Transactions on Software Engineering 17 (1991) 703-711
11. Jeng, B., Weyuker, E.J.: A simplified domain-testing strategy. ACM Transactions on Software Engineering Methodology 3 (1994) 254-270
12. Rapps, S., Wejuker, E.: Data flow analysis techniques for program test data selection. In: 6th Intl. Conference on Software Engineering. (1982) 272-278
13. Frankl, P.G., Weyuker, E.J.: An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering 14 (1988) 1483-1498
14. Pande, H.D., Landi, W.A., Ryder, B.G.: Interprocedural def-use associations for C systems with single level pointers. IEEE Transactions on Software Engineering 20 (1994) 385-403
15. Hausmann, J., Heckel, R., Taentzer, G.: Detecting conflicting functional requirements in a use case driven approach: a static analysis technique based on graph transformation. In: Intl. Conference on Software Engineering. (2002) 105-155
16. Rozenberg, G., ed.: Handbook of Graph Grammars and Computing by Graph Transformation. Volume Volume 1 - Foundations. World Scientific (1997)
17. Technical University Berlin: The attributed graph grammar system (AGG). http://tfs.cs.tu-berlin.de/agg/ (Visited in 2004)
18. Baldan, P., König, B., Stürmer, I.: Generating test cases for code generators by unfolding graph transformation systems. In: Proc. 2nd Intl. Conference on Graph Transformation, Rome, Italy (2004)
19. Bochmann, G.V., Petrenko, A.: Protocol testing: review of methods and relevance for software testing. In: Proceedings of the 1994 ACM SIGSOFT Intl. Symposium on Software Testing and Analysis, ACM Press (1994) 109-124
20. Schürr, A., Winter, A.J., Zündorf, A.: The PROGRES approach: language and environment. In: Handbook of graph grammars and computing by graph transformation: vol.2: applications, languages, and tools, World Scientific (1999) 487-550
21. Rensink, A.: The GROOVE simulator: A tool for state space generation. In: 2nd Intl. Workshop on Applications of Graph Transformations with Industrial Relevance. Volume 3062 of LNCS., Springer (2004) 479-485
22. Singh, I., Stearns, B., Johnson, M., Enterprise Team: Designing Enterprise Applications with the J2EE Platform. 2nd edn. Addison-Wesley (2002)
23. Fraikin, F., Leonhardt, T.: SeDiTeC - testing based on sequence diagram. In: IEEE Intl. Conference on Automated Software Engineering. (2002)
24. Hartmann, J., Imoberdorf, C., Meisinger, M.: Uml-based integration testing. In: Intl. Symposium on Software Testing and Analysis, ACM Press (2000) 60-70