The oracle problem in software testing: A survey. Software Engineering, IEEE Transactions on, vol.41, issue.5, pp.507-525, 2015. ,
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
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
Bucket Elimination: A Unifying Framework for Probabilistic Inference ,
DOI : 10.1007/978-94-011-5014-9_4
Using formal specifications to support testing, ACM Computing Surveys, vol.41, issue.2, pp.1-976, 2009. ,
DOI : 10.1145/1459352.1459354
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
Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002. ,
Bayesian dynamic scheduling for service composition testing, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01170994
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
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
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988. ,
Regression testing minimization, selection and prioritization: a survey. Software Testing, Verification and Reliability, pp.67-120, 2012. ,