. Parasoft, Api testing, service virtualisation, test environment and data management

. Soasta, Load and performance testing

S. Anand, E. K. Burke, J. A. Tsong-yueh-chen, M. B. Clark, W. Cohen et al., An orchestrated survey of methodologies for automated software test case generation, Journal of Systems and Software, vol.86, issue.8, pp.861978-2001, 2013.
DOI : 10.1016/j.jss.2013.02.061

P. Arcaini, A. Gargantini, and E. Riccobene, Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.388-391, 2011.
DOI : 10.1109/ASE.2011.6100079

A. Askarunisa, K. A. Punitha, and A. M. Abirami, Black box test case prioritization techniques for semantic based composite web services using OWL-S, 2011 International Conference on Recent Trends in Information Technology (ICRTIT), pp.1215-1220, 2011.
DOI : 10.1109/ICRTIT.2011.5972354

B. Athira and P. Samuel, Web services regression test case prioritization, 2010 International Conference on Computer Information Systems and Industrial Management Applications (CISIM), pp.438-443, 2010.
DOI : 10.1109/CISIM.2010.5643499

M. A. Barcelona, L. García-borgoñón, and G. López-nicolás, Practical experiences in the usage of MIDAS in the logistics domain, International Journal on Software Tools for Technology Transfer, vol.5, issue.1, pp.1-15, 2016.
DOI : 10.1007/s10009-016-0430-5

E. T. 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.

C. Bartolini, A. Bertolino, E. Marchetti, and A. Polini, WS-TAXI: A WSDL-based Testing Tool for Web Services, 2009 International Conference on Software Testing Verification and Validation, pp.326-335, 2009.
DOI : 10.1109/ICST.2009.28

L. Bentakouk, P. Poizat, and F. Zaïdi, Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver, Lecture Notes in Computer Science, vol.58, issue.7, pp.33-50, 2011.
DOI : 10.1007/978-3-540-73368-3_18

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

T. D. Cao, P. Felix, R. Castanet, and I. Berrada, Online Testing Framework for Web Services, 2010 Third International Conference on Software Testing, Verification and Validation, pp.363-372, 2010.
DOI : 10.1109/ICST.2010.11

URL : https://hal.archives-ouvertes.fr/hal-00997950

A. Chan, Encyclopedia of Database Systems, chapter Service Component Architecture (SCA), pp.2632-2633, 2009.

L. Chen, Z. Wang, L. Xu, H. Lu, and B. Xu, Test Case Prioritization for Web Service Regression Testing, 2010 Fifth IEEE International Symposium on Service Oriented System Engineering, pp.173-178, 2010.
DOI : 10.1109/SOSE.2010.27

E. M. Clarke, Orna Grumberg, and Doron A. Peled. Model checking, 2001.

E. M. Clarke, W. Klieber, M. Novácek, and P. Zuliani, Model Checking and the State Explosion Problem, Tools for Practical Software Verification, LASER, International Summer School 2011, pp.1-30, 2011.
DOI : 10.2140/pjm.1955.5.285

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

L. Console and M. Fugini, WS-DIAMOND: An Approach to Web Services ? DIAgnosability, MONitoring and Diagnosis, volume 4 of Information and Communication Technologies and the Knowledge Economy, 2007.

J. De, K. , and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987.

R. Dechter, Bucket elimination: a unifying framework for processing hard and soft constraints, ACM Computing Surveys, vol.28, issue.4es, pp.51-55, 1997.
DOI : 10.1145/242224.242302

E. International, Standard ECMA-262 -ECMAScript Language Specification 5.1 Edition, 2011.

S. Elbaum, A. G. Malishevsky, and G. , Test case prioritization: a family of empirical studies, IEEE Transactions on Software Engineering, vol.28, issue.2, pp.159-182, 2002.
DOI : 10.1109/32.988497

T. Erl, Service-Oriented Architecture: Concepts, Technology , and Design, 2005.

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

M. Haverbeke, Eloquent JavaScript: A Modern Introduction to Programming, 2011.

R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick et al., Using formal specifications to support testing, 43. IETF. The Constrained Application Protocol (CoAP) -RFC 7252, pp.1-9, 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

V. Finn, U. Jensen, B. Kjaerulff, H. Kristiansen, C. Langseth et al., Jirí Vomlel, and Marta Vomlelová. The SACSO methodology for troubleshooting complex systems, AI EDAM, vol.15, pp.321-333, 2001.

R. Joshi, L. Lamport, J. Matthews, S. Tasiran, M. R. Tuttle et al., Checking Cache-Coherence Protocols with TLA + . Formal Methods in System Design, pp.125-131, 2003.

L. Juszczyk, H. L. Truong, and S. Dustdar, GENESIS -A Framework for Automatic Generation and Steering of Testbeds of Complex Web Services, ICECCS, pp.131-140, 2008.

K. Kaschner and N. Lohmann, Automatic Test Case Generation for Interacting Services, ICSOC Workshops, pp.66-78, 2008.
DOI : 10.1007/978-3-540-72912-9_5

A. Ya and . Khinchin, Mathematical foundations of information theory, 1957.

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

L. Lamport, Theoretical Aspects of Computing -ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, Proceedings, chapter The PlusCal Algorithm Language, pp.36-60, 2009.

L. Lampropoulos and K. F. Sagonas, Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services, WWV, pp.3-16, 2012.
DOI : 10.4204/EPTCS.98.3

N. Lohmann and K. Wolf, Realizability Is Controllability, WS-FM, pp.110-127, 2009.
DOI : 10.1007/978-3-642-14458-5_7

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.4346

L. Anders, . Madsen, V. Finn, and . Jensen, Lazy propagation: a junction tree inference algorithm based on lazy evaluation, Artificial Intelligence, vol.113, issue.1, pp.203-245, 1999.

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

P. Mayer and D. Lübke, Towards a BPEL unit testing framework, Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications , TAV-WEB '06, pp.33-42, 2006.
DOI : 10.1145/1145718.1145723

L. Mei, W. K. Chan, T. H. Tse, and R. G. Merkel, XML-manipulating test case prioritization for XML-manipulating services, Journal of Systems and Software, vol.84, issue.4, pp.603-619, 2011.
DOI : 10.1016/j.jss.2010.11.905

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.1362

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

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

C. Newcombe, T. Rath, F. Zhang, B. Munteanu, M. Brooker et al., How Amazon web services uses formal methods, Communications of the ACM, vol.58, issue.4, pp.66-73, 2015.
DOI : 10.1145/2699417

E. Newcomer, Understanding Web Services: XML, WSDL, SOAP, and UDDI. Independent technology guides, 2002.

E. Newcomer and G. Lomow, Understanding SOA with Web Services. Independent technology guides, 2005.

S. Newman, Building microservices : designing fine-grained systems, 2015.

C. D. Nguyen, A. Marchetto, and P. Tonella, Change Sensitivity Based Prioritization for Audit Testing of Webservice Compositions, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, pp.357-365, 2011.
DOI : 10.1109/ICSTW.2011.50

. Oracle, Automating Testing of SOA Composite Applications, 2016.

S. Parsons, Probabilistic Graphical Models: Principles and Techniques by Daphne Koller and Nir Friedman, MIT Press, 1231 pp., $95.00, ISBN 0-262-01319-3, The Knowledge Engineering Review, vol.26, issue.02, pp.237-238, 2011.
DOI : 10.1017/S0269888910000275

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

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

C. Perera, A. B. Zaslavsky, P. Christen, and D. Georgakopoulos, Sensing as a service model for smart cities supported by Internet of Things, Transactions on Emerging Telecommunications Technologies, vol.15, issue.2, 1307.
DOI : 10.1002/ett.2704

M. Pezzè and C. Zhang, Automated Test Oracles, pp.1-48, 2015.
DOI : 10.1016/B978-0-12-800160-8.00001-2

K. Rees, F. P. Coolen, M. Goldstein, and D. A. Wooff, Managing the uncertainties of software testing: a Bayesian approach, Quality and Reliability Engineering International, vol.47, issue.3, pp.191-203, 2001.
DOI : 10.1002/qre.411

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

P. Schnoebelen, The Complexity of Temporal Logic Model Checking Advances in Modal Logic 4, papers from the fourth conference onAdvances in Modal logic, Toulouse (France) in, pp.393-436, 2002.

E. Shamsoddin-motlagh, A survey of service oriented architecture systems testing. arXiv preprint, 2012.

C. Skaanning, V. Finn, U. Jensen, and . Kjaerulff, Printer Troubleshooting Using Bayesian Networks, Intelligent Problem Solving. Methodologies and Approaches, pp.367-380, 2000.
DOI : 10.1007/3-540-45049-1_45

G. Stokkink, M. Timmer, and M. Stoelinga, Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation, MBT, pp.73-87, 2012.
DOI : 10.4204/EPTCS.80.6

W. T. Tsai, Y. Chen, R. Paul, H. Huang, X. Zhou et al., Adaptive testing, oracle generation, and test case ranking for Web services, Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International, pp.101-106, 2005.

H. Wang, Q. Zhou, and Y. Shi, Describing and Verifying Web Service Composition Using TLA Reasoning, 2010 IEEE International Conference on Services Computing, pp.234-241, 2010.
DOI : 10.1109/SCC.2010.28

D. A. Wooff, M. Goldstein, and F. P. Coolen, Bayesian graphical models for software testing, IEEE Transactions on Software Engineering, vol.28, issue.5, pp.510-525, 2002.
DOI : 10.1109/TSE.2002.1000453

F. Wotawa, M. Schulz, I. Pill, S. Jehan, P. Leitner et al., Philipp Hoenisch, and Schahram Dustdar. Fifty Shades of Grey in SOA Testing, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, pp.154-157, 2013.

C. Wu and Y. Lee, Automatic SaaS test cases generation based on SOA in the cloud service, 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, pp.349-354, 2012.
DOI : 10.1109/CloudCom.2012.6427576

S. Yoo and M. Harman, Regression testing minimization, selection and prioritization: a survey. Software Testing, Verification and Reliability, pp.67-120, 2012.