E. Barr, M. Harman, P. Mcminn, M. Shahbaz, and S. Yoo, The oracle problem in software testing: A survey. Software Engineering, IEEE Transactions on, vol.41, issue.5, pp.507-525, 2015.

M. Bozkurt, M. Harman, and Y. Hassoun, Testing and verification in service-oriented architecture: a survey, Software Testing, Verification and Reliability, vol.5562, issue.1-2, pp.261-313, 2013.
DOI : 10.1002/stvr.1470

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.15-27, 2014.
DOI : 10.1186/1129-2377-15-S1-D12

R. Dechter, Bucket Elimination: A Unifying Framework for Probabilistic Inference
DOI : 10.1007/978-94-011-5014-9_4

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-976, 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
DOI : 10.1109/IWAST.2013.6595788

L. Lamport, Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

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

S. Mirarab and L. Tahvildari, A Prioritization Approach for Software Test??Cases Based on Bayesian Networks, Fundamental Approaches to Software Engineering (FASE) 2007, pp.276-290, 2007.
DOI : 10.1007/978-3-540-71289-3_22

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

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, pp.67-120, 2012.