A Survey of Analysis Models and Methods in Website Verification and Testing, Proc. Seventh International Conference on Web Engineering ICWE 2007, pp.306-311, 2007. ,
DOI : 10.1007/978-3-540-73597-7_25
The cow suite approach to planning and deriving test suites in UML projects, UML 2002 - The Unified Modeling Language. Model Engineering, Languages, Concepts, and Tools. 5th International Conference, pp.383-397, 2002. ,
A passive testing approach based on invariants: application to the WAP, Computer Networks, vol.48, issue.2, pp.247-266 ,
DOI : 10.1016/j.comnet.2004.09.009
Rt-uml for modeling realtime web services, Proc. IEEE Services Computing Workshops SCW 2006, pp.131-139, 2006. ,
DOI : 10.1109/scw.2006.35
Approaches to developing semantic web services, International Journal of Computer Science (IJCS), vol.1, issue.1, pp.8-21, 2006. ,
Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services, Proc. of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), pp.41-56, 1999. ,
DOI : 10.1007/978-0-387-35578-8_3
Web services description language wsdl ver, 2001. ,
Writing Effective Use Cases, 2000. ,
Specification and Validation of the Business Process Execution Language for Web Services, Abstract State Machines, pp.78-94, 2004. ,
DOI : 10.1007/978-3-540-24773-9_7
Testing timed systems with timed purposes, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications, pp.166-171, 2000. ,
DOI : 10.1109/RTCSA.2000.896386
Generating test cases specifications for bpel compositions of web services using spin, Proc. International Workshop on Web Services - Modeling and Testing WS-MaTe, pp.83-94, 2006. ,
BPMN, business process modeling notation, 2009. ,
Transforming BPEL to Petri Nets, Business Process Management, pp.220-235, 2005. ,
DOI : 10.1007/11538394_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.4950
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003. ,
DOI : 10.1109/32.588521
Timed modelling and analysis in Web service compositions, First International Conference on Availability, Reliability and Security (ARES'06), p.7, 2006. ,
DOI : 10.1109/ARES.2006.134
An Expressive and Implementable Formal Framework for Testing Real-Time Systems, Proc. 16th IFIP International Conference on Testing of Communicating Systems TestCom 2005, pp.209-225, 2005. ,
DOI : 10.1007/3-540-45739-9_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.535.4078
An object-oriented web test model for testing web applications, Asia-Pacific Conference on Quality Software 0, p.111, 2000. ,
DOI : 10.1109/apaq.2000.883784
URL : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.477.3772&rep=rep1&type=pdf
Timed Modeling of Web Services Composition for Automatic Testing, 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, pp.417-426, 2007. ,
DOI : 10.1109/SITIS.2007.110
A Framework of Model-Driven Web Application Testing, 30th Annual International Computer Software and Applications Conference (COMPSAC'06), pp.157-162, 2006. ,
DOI : 10.1109/COMPSAC.2006.96
Structure testing of web applications, Proc. 11th Annual International Symposium on Software Reliability Engineering, pp.84-96, 2000. ,
Turning Web Applications into Web Services by Wrapping Techniques, 14th Working Conference on Reverse Engineering (WCRE 2007), pp.199-208, 2007. ,
DOI : 10.1109/WCRE.2007.51
Reference model for service oriented architecture 1.0. oasis standard, 12 october, 2006. ,
Approaches to developing semantic web services, International Journal of Computer Science, vol.1, issue.1, pp.8-10, 2006. ,
Automated Functional Conformance Test Generation for Semantic Web Services, IEEE International Conference on Web Services (ICWS 2007), pp.110-117, 2007. ,
DOI : 10.1109/ICWS.2007.48
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.660.2522
Analysis and testing of Web applications, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, p.25, 2001. ,
DOI : 10.1109/ICSE.2001.919078
Automatic composition and invocation of semantic web services, UMBC, 2004. ,
Web site test tools and site management tools. http://www.softwareqatest.com/qatweb1.html 47. W3C: extensible markup language xml ,
Transforming BPEL into annotated deterministic finite state automata for service discovery, Proceedings. IEEE International Conference on Web Services, 2004., pp.316-323, 2004. ,
DOI : 10.1109/ICWS.2004.1314753
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.593
Regression testing for web applications based on slicing, Computer Software and Applications Conference, Annual International 0, p.652, 2003. ,
Transformation BPEL to CP-Nets for Verifying Web Services Composition, International Conference on Next Generation Web Services Practices (NWeSP'05), p.6, 2005. ,
DOI : 10.1109/NWESP.2005.77
OWL-S Based Interaction Testing of Web Service-Based System, Third International Conference on Next Generation Web Services Practices (NWeSP'07), pp.31-34, 2007. ,
DOI : 10.1109/NWESP.2007.16
Automatic composition of semantic web services, International Conference on Web Services ICWS 2003, pp.38-41, 2003. ,