Api testing, service virtualisation, test environment and data management ,
Load and performance testing ,
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
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
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
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
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
The Oracle Problem in Software Testing: A Survey. Software Engineering, IEEE Transactions on, vol.41, issue.5, pp.507-525, 2015. ,
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
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
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
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
Encyclopedia of Database Systems, chapter Service Component Architecture (SCA), pp.2632-2633, 2009. ,
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
Orna Grumberg, and Doron A. Peled. Model checking, 2001. ,
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
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
WS-DIAMOND: An Approach to Web Services ? DIAgnosability, MONitoring and Diagnosis, volume 4 of Information and Communication Technologies and the Knowledge Economy, 2007. ,
Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987. ,
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
Standard ECMA-262 -ECMAScript Language Specification 5.1 Edition, 2011. ,
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
Service-Oriented Architecture: Concepts, Technology , and Design, 2005. ,
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
Eloquent JavaScript: A Modern Introduction to Programming, 2011. ,
Using formal specifications to support testing, 43. IETF. The Constrained Application Protocol (CoAP) -RFC 7252, pp.1-9, 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
Jirí Vomlel, and Marta Vomlelová. The SACSO methodology for troubleshooting complex systems, AI EDAM, vol.15, pp.321-333, 2001. ,
Checking Cache-Coherence Protocols with TLA + . Formal Methods in System Design, pp.125-131, 2003. ,
GENESIS -A Framework for Automatic Generation and Steering of Testbeds of Complex Web Services, ICECCS, pp.131-140, 2008. ,
Automatic Test Case Generation for Interacting Services, ICSOC Workshops, pp.66-78, 2008. ,
DOI : 10.1007/978-3-540-72912-9_5
Mathematical foundations of information theory, 1957. ,
Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002. ,
Theoretical Aspects of Computing -ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, Proceedings, chapter The PlusCal Algorithm Language, pp.36-60, 2009. ,
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services, WWV, pp.3-16, 2012. ,
DOI : 10.4204/EPTCS.98.3
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
Lazy propagation: a junction tree inference algorithm based on lazy evaluation, Artificial Intelligence, vol.113, issue.1, pp.203-245, 1999. ,
Bayesian dynamic scheduling for service composition testing, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01170994
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
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
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
Bayesian reasoning for software testing, Proceedings of the FSE/SDP workshop on Future of software engineering research, FoSER '10, pp.349-354, 2010. ,
How Amazon web services uses formal methods, Communications of the ACM, vol.58, issue.4, pp.66-73, 2015. ,
DOI : 10.1145/2699417
Understanding Web Services: XML, WSDL, SOAP, and UDDI. Independent technology guides, 2002. ,
Understanding SOA with Web Services. Independent technology guides, 2005. ,
Building microservices : designing fine-grained systems, 2015. ,
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
Automating Testing of SOA Composite Applications, 2016. ,
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
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988. ,
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988. ,
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
Automated Test Oracles, pp.1-48, 2015. ,
DOI : 10.1016/B978-0-12-800160-8.00001-2
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
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
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. ,
A survey of service oriented architecture systems testing. arXiv preprint, 2012. ,
Printer Troubleshooting Using Bayesian Networks, Intelligent Problem Solving. Methodologies and Approaches, pp.367-380, 2000. ,
DOI : 10.1007/3-540-45049-1_45
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation, MBT, pp.73-87, 2012. ,
DOI : 10.4204/EPTCS.80.6
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. ,
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
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
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. ,
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
Regression testing minimization, selection and prioritization: a survey. Software Testing, Verification and Reliability, pp.67-120, 2012. ,