E. Barr, M. Harman, P. Mcminn, M. Shahbaz, and S. Yoo, The Oracle Problem in Software Testing: A Survey, IEEE Transactions on Software Engineering, vol.41, issue.5, p.41, 2015.
DOI : 10.1109/TSE.2014.2372785

M. Bozkurt, M. Harman, and Y. Hassoun, Testing web services: A survey, 2010.

D. Conforti, M. C. Groccia, B. Corasaniti, R. Guido, and R. Iannacchero, EHMTI-0172. ???Calabria cephalalgic network???: innovative services and systems for the integrated clinical management of headache patients, The Journal of Headache and Pain, vol.15, issue.Suppl 1, pp.1-1, 2014.
DOI : 10.1186/1129-2377-15-S1-D12

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick et al., Using formal specifications to support testing, ACM Computing Surveys, vol.41, issue.2, pp.1-76, 2009.
DOI : 10.1145/1459352.1459354

S. Jehan, I. Pill, and F. Wotawa, Functional SOA testing based on constraints, 2013 8th International Workshop on Automation of Software Test (AST), pp.33-39, 2013.
DOI : 10.1109/IWAST.2013.6595788

A. P. Maesano, Bayesian dynamic scheduling for service composition testing, Ph.D. Dissertation, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01170994

A. S. Namin and M. Sridharan, Bayesian reasoning for software testing, Proceedings of the FSE/SDP workshop on Future of software engineering research, FoSER '10, pp.349-354, 2010.
DOI : 10.1145/1882362.1882433

S. Newman, Building Microservices, 2015.

J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988.

S. Yoo and M. Harman, Regression testing minimization, selection and prioritization: a survey, Software Testing, Verification and Reliability, vol.18, issue.2, pp.67-120, 2012.
DOI : 10.1002/stv.430