Sciweavers

24 search results - page 1 / 5
» An Automated Test Code Generation Method for Web Application...
Sort
View
KBSE
2008
IEEE
13 years 11 months ago
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
David A. Turner, Moonju Park, Jaehwan Kim, Jinseok...
ECOWS
2011
Springer
12 years 4 months ago
Automating the Generation of Web Service Testbeds Using AOP
Abstract—One of the key concepts of service-oriented computing is dynamic binding which favors on-demand integration of services into a running system. Companies can outsource ta...
Lukasz Juszczyk, Schahram Dustdar
ICST
2009
IEEE
13 years 11 months ago
WS-TAXI: A WSDL-based Testing Tool for Web Services
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
ICNP
1999
IEEE
13 years 8 months ago
Automated Protocol Implementations Based on Activity Threads
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
Peter Langendörfer, Hartmut König
FORTE
2004
13 years 5 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui