W. Sadiq and M. E. Orlowska, Analyzing process models using graph reduction techniques, 11th International Conference on Advanced Information System Engineering, pp.117-134, 2000.
DOI : 10.1016/S0306-4379(00)00012-0

W. M. Aalst, A. Hirnschall, and H. M. Verbeek, An alternative way to analyze workflow graphs, Proc. of the 14th Int. Conf. on Advanced Information Systems Engineering, ser. CAiSE '02, pp.535-552, 2002.

J. Vanhatalo, H. Völzer, and F. Leymann, Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition, Proceedings of the 5th international conference on Service- Oriented Computing, ser. ICSOC '07, pp.43-55, 2007.
DOI : 10.1007/978-3-540-74974-5_4

J. Vanhatalo, H. Völzer, and J. Koehler, The refined process structure tree, Proc. of the 6th International Conference on Business Process Management, ser. BPM '08, pp.100-115, 2008.

M. Bozkurt, M. Harman, and Y. Hassoun, Testing and verification in service-oriented architecture: a survey Software Testing, Verification and Reliability, 2012.

F. De-angelis, A. Polini, and G. De-angelis, A Counter-Example Testing Approach for Orchestrated Services, 2010 Third International Conference on Software Testing, Verification and Validation, pp.373-382, 2010.
DOI : 10.1109/ICST.2010.27

J. Vanhatalo, H. Vlzer, F. Leymann, and S. Moser, Automatic Workflow Graph Refactoring and Completion, Service-Oriented Computing, ICSOC 2008, ser, pp.100-115, 2008.
DOI : 10.1109/TSE.2004.1274043

L. Mei, W. K. Chan, and T. H. Tse, Data flow testing of service choreography, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.151-160, 2009.
DOI : 10.1145/1595696.1595720