Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification
暂无分享,去创建一个
Dimitris Dranidis | Iraklis Paraskakis | Ervin Ramollari | Dimitrios Kourtesis | I. Paraskakis | E. Ramollari | D. Dranidis | D. Kourtesis
[1] George Eleftherakis,et al. XmCTL: Extending temporal logic to facilitate formal veri cation of X-machine models , 2001 .
[2] Gilbert Thomas Laycock,et al. The theory and practice of specification based software testing , 1993 .
[3] Reiko Heckel,et al. Automatic Conformance Testing of Web Services , 2005, FASE.
[4] Florentin Ipate,et al. An integration testing method that is proved to find all faults , 1997, Int. J. Comput. Math..
[5] Dimitris Dranidis,et al. Formal Verification of Web Service Behavioural Conformance through Testing , 2007 .
[6] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[7] Andrea Polini,et al. Audition of Web Services for Testing Conformance to Open Specified Protocols , 2004, Architecting Systems with Trustworthy Components.
[8] Iraklis Paraskakis,et al. Web Service Discovery in the FUSION Semantic Registry , 2008, BIS.
[9] Iraklis Paraskakis,et al. Combining SAWSDL, OWL-DL and UDDI for Semantically Enhanced Web Service Discovery , 2008, ESWC.
[10] Correct Systems -building Business Process Solutions Chapter 3 , .
[11] Petros Kefalas,et al. A DESIGN LANGUAGE AND TOOL FOR X-MACHINES SPECIFICATION , 2000 .
[12] Sungwon Kang,et al. Generating Test Cases for Web Services Using Extended Finite State Machine , 2006, TestCom.
[13] J. Farrell,et al. Semantic Annotations for WSDL and XML Schema , 2007 .
[14] Samuel Eilenberg,et al. Automata, languages, and machines. A , 1974, Pure and applied mathematics.
[15] Raymond A. Paul,et al. Verification of Web services using an enhanced UDDI server , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..
[16] G. Eleftherakis,et al. Developing Tools for Formal Methods , 2003 .
[17] Amit M. Paradkar,et al. Model-based functional conformance testing of web services operating on persistent data , 2006, TAV-WEB '06.