Author:
Zhou Lei,Ping Jing,Xiao Hao,Wang Zheng,Pu Geguang,Ding Zuohua
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: WS-TAXI: A WSCDL-based Testing Tool for Web Services. In: ICST 2009, pp. 326–335 (2009)
2. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. In: Advances in Computers, vol. 58, pp. 118–149 (2003)
3. Business Process Modeling Language (BPML), http://www.ebpml.org/bpml.htm
4. Business Process Execution Language for Web Services version 1.1 http://www.ibm.com/developerworks/library/specification/ws-bpel/
5. Chan, W.K., Cheung, S.C., Leung, K.R.P.H.: Towards a Metamorphic Testing Methodology for Service-oriented Software Applications. In: QSIC 2005, pp. 470–476 (2005)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An abstract framework for choreographic testing;Journal of Logical and Algebraic Methods in Programming;2021-11
2. A Survey on Web Application Security;International Journal of Scientific Research in Computer Science, Engineering and Information Technology;2020-10-05
3. Fault-Recovery and Coherence in Internet of Things Choreographies;Securing the Internet of Things;2020
4. Fault-Recovery and Coherence in Internet of Things Choreographies;International Journal of Information Technologies and Systems Approach;2017-07
5. Verifying Service Choreography Model Based on Description Logic;Mathematical Problems in Engineering;2016