Reiko Heckel, Leonardo Mariani  Home/Search
Context Related
| lta.disco.unimib.it/homepa...fase05.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lta.disco.unimib.i...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. (Update)
Cited by: More
Towards Model-Driven Unit Testing - Gregor Engels Baris (Correct)
Active bibliography (related documents): More All
2.0: Component Integration Testing by Graph Transformations - Heckel, Mariani (Correct)
0.3: Static and Dynamic Analysis of Call Chains in Java - Atanas Rountev Scott (2004) (Correct)
0.2: Interprocedural Modification Side Effect Analysis With.. - Landi, Ryder, Zhang (1993) (Correct)
Similar documents based on text: More All
0.3: Towards Contract-based Testing of Web Services - Heckel, Lohmann (2004) (Correct)
0.3: UML - A Universal Modeling Language? - Engels, Heckel, Sauer (2000) (Correct)
0.2: A Bi-Categorical Axiomatisation of Concurrent Graph.. - Gadducci, Heckel.. (1999) (Correct)
BibTeX entry: (Update)
@misc{ heckel-automatic,
author = "Reiko Heckel and Leonardo Mariani",
title = "Automatic Conformance Testing of Web Services",
url = "citeseer.ist.psu.edu/heckel05automatic.html" }
Citations (may not include all citations):318 Scientific American (context) - Berners-Lee, Hendler et al. - 2001
230 The Unified Software Development Process (context) - Jacobson, Booch et al. - 1999
148 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Rozenberg - 1997
99 World Wide Web Consortium (context) - Services, Group et al. - 2002
95 An applicable family of data flow testing criteria (context) - Frankl, Weyuker - 1988
52 Analyzing partition testing strategies (context) - Weyuker, Jeng - 1991
47 Interprocedural def-use associations for C systems with sing.. (context) - Pande, Landi et al. - 1994
45 A domain strategy for computer program testing (context) - White, Cohen - 1980
35 Data Refinement: Model-Oriented Proof Methods and Their Comp.. (context) - de Roever, Engelhardt - 1998
26 Protocol testing: review of methods and relevance for softwa.. (context) - Bochmann, Petrenko - 1994
16 The PROGRES approach: language and environment (context) - Schurr, Winter et al. - 1999
14 Specifying concurrent languages and systems with #-grammars (context) - Kaplan, Loyall et al. - 1991
12 Web Services architecture (context) - Booth, Haas et al. - 2004
6 The GROOVE simulator: A tool for state space generation - Rensink - 2004
5 Uml-based integration testing - Hartmann, Imoberdorf et al. - 2000
5 Tutorial introduction to graph transformation: a software en.. (context) - Baresi, Heckel - 2002
4 Data flow analysis techniques for program test data selectio.. (context) - Rapps, Wejuker - 1982
3 SeDiTeC - testing based on sequence diagram - Fraikin, Leonhardt - 2002
2 Model-based discovery of Web Services - Hausmann, Heckel et al. - 2004
2 Detecting conflicting functional requirements in a use case .. (context) - Hausmann, Heckel et al. - 2002
2 Generating test cases for code generators by unfolding graph.. (context) - Baldan, Konig et al. - 2004
1 ACM Transactions on Software Engineering Methodology (context) - Jeng, Weyuker - 1994
1 tu-berlin (context) - Berlin, graph et al. - 2004
1 Enterprise Team Designing Enterprise Application with JEE Pl.. (context) - Johnson, Designing et al. - 2002
Documents on the same site (http://www.lta.disco.unimib.it/homepage/leonardo.mariani/publications.html): More
A Technique for Verifying Component-Based Software - Mariani, Pezze (2004) (Correct)
Fault-Tolerant Routing for P2P Systems with Unstructured Topology - Mariani (Correct)
Towards Testing and Analysis of Systems that Use Serialization - Denaro, Mariani (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC