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
Testing web services: A survey, 2010. ,
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
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
Using formal specifications to support testing, ACM Computing Surveys, vol.41, issue.2, pp.1-76, 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, 2013. ,
DOI : 10.1109/IWAST.2013.6595788
Bayesian dynamic scheduling for service composition testing, Ph.D. Dissertation, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01170994
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
Building Microservices, 2015. ,
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988. ,
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