Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver-Reference-Cited by-同舟云学术

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver

Published:2011 Issue: Volume: Page:33-50
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Bentakouk Lina,Poizat Pascal,Zaïdi Fatiha

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21768-5_4

Reference30 articles.

1. OASIS: Web Services Business Process Execution Language (WSBPEL) Version 2.0. Technical report, OASIS (April 2007)

2. ter Beek, M.H., Bucchiarone, A., Gnesi, S.: Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics 1(5), 1–10 (2007)

3. Poizat, P., Royer, J.C.: A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. JUCS 12(12), 1741–1782 (2006)

4. Bentakouk, L., Poizat, P., Zaïdi, F.: A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems. In: Proc. of TESTCOM, pp. 16–32 (2009)

5. Bentakouk, L., Poizat, P., Zaïdi, F.: A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems. Long version, in P. Poizat Webpage (2009)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model Checking Based Web Service Verification: A Systematic Literature Review;IEEE Transactions on Services Computing;2021-05-01

2. Monitoring Interactions Across Multi Business Processes with Token Carried Data;IEEE Transactions on Services Computing;2019-11-01

3. Combining ontology reductions with new approaches to automated abstract planning of Planics;Applied Soft Computing;2017-04

4. Automation and intelligent scheduling of distributed system functional testing;International Journal on Software Tools for Technology Transfer;2016-11-02

5. Test selection for traces refinement;Theoretical Computer Science;2015-01