{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:15:36Z","timestamp":1759032936407,"version":"3.41.0"},"reference-count":87,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,11,2]],"date-time":"2016-11-02T00:00:00Z","timestamp":1478044800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s10009-016-0440-3","type":"journal-article","created":{"date-parts":[[2016,11,2]],"date-time":"2016-11-02T06:48:45Z","timestamp":1478069325000},"page":"281-308","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Automation and intelligent scheduling of distributed system functional testing"],"prefix":"10.1007","volume":"19","author":[{"given":"Lom Messan","family":"Hillah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ariele-Paolo","family":"Maesano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"De Rosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Henri","family":"Wuillemin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Fontanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio Di","family":"Bona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Guerri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Libero","family":"Maesano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,2]]},"reference":[{"key":"440_CR1","unstructured":"http:\/\/martinfowler.com\/bliki\/DeploymentPipeline.html"},{"key":"440_CR2","unstructured":"https:\/\/jenkins-ci.org"},{"key":"440_CR3","unstructured":"http:\/\/www.midas-project.eu"},{"key":"440_CR4","unstructured":"http:\/\/www.w3.org\/TR\/wsdl"},{"key":"440_CR5","unstructured":"https:\/\/www.soapui.org"},{"key":"440_CR6","unstructured":"http:\/\/www.dedalus.eu"},{"key":"440_CR7","unstructured":"https:\/\/hssp.wikispaces.com"},{"key":"440_CR8","unstructured":"https:\/\/en.wikipedia.org\/wiki\/Service_Component_Architecture"},{"key":"440_CR9","unstructured":"http:\/\/www.w3.org\/TR\/wsdl20"},{"key":"440_CR10","unstructured":"http:\/\/swagger.io"},{"key":"440_CR11","unstructured":"http:\/\/www.w3.org\/TR\/scxml"},{"key":"440_CR12","unstructured":"https:\/\/www.w3.org\/TR\/xpath"},{"key":"440_CR13","unstructured":"http:\/\/www.dedalus.eu\/x1v1.cfm?chg_lang=eng"},{"key":"440_CR14","unstructured":"http:\/\/blog.simplytestify.com"},{"key":"440_CR15","unstructured":"IBM Rational Service Tester for SOA Quality: Functional testing. http:\/\/www-03.ibm.com\/software\/products\/fr\/servicetest"},{"key":"440_CR16","unstructured":"Parasoft: Api testing, service virtualisation, test environment and data management. https:\/\/www.parasoft.com"},{"key":"440_CR17","unstructured":"Soasta: Load and performance testing. https:\/\/www.soasta.com"},{"key":"440_CR18","unstructured":"Tricentis: Risk-based testing, model-based test automation and test data management. http:\/\/www.tricentis.com"},{"issue":"8","key":"440_CR19","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., Edmund, K.B., Tsong, Y.C., John, A.C., Myra, B.C., Wolfgang, G., Mark, H., Mary, J.H., Phil, M.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"key":"440_CR20","doi-asserted-by":"crossref","unstructured":"Paolo, A., Angelo, G., Elvinia, R.: Optimizing the automatic test generation by SAT and SMT solving for boolean expressions. In: Proceedings of the 2011 26th IEEE\/ACM International Conference on Automated Software Engineering, ASE \u201911, pp. 388\u2013391, Washington, DC. IEEE Computer Society (2011)","DOI":"10.1109\/ASE.2011.6100079"},{"key":"440_CR21","doi-asserted-by":"publisher","unstructured":"Askarunisa, A., Punitha, K.A.J., Abirami, A.M., Black box test case prioritization techniques for semantic based composite web services using OWL-S. In: Recent Trends in Information Technology (ICRTIT), 2011 International Conference, pp. 1215\u20131220. IEEE (2011)","DOI":"10.1109\/ICRTIT.2011.5972354"},{"key":"440_CR22","doi-asserted-by":"publisher","unstructured":"Athira, B., Samuel, P.: Web services regression test case prioritization. In: Computer Information Systems and Industrial Management Applications (CISIM), 2010 International Conference, pp. 438\u2013443. IEEE (2010)","DOI":"10.1109\/CISIM.2010.5643499"},{"key":"440_CR23","doi-asserted-by":"publisher","unstructured":"Barcelona, M.A., Garc\u00eda-Borgo\u00f1\u00f3n, L., L\u00f3pez-Nicol\u00e1s, G.: Practical experiences in the usage of MIDAS in the logistics domain. Int. J. Softw. Tools Technol. Transf. (2016). doi: 10.1007\/s10009-016-0430-5","DOI":"10.1007\/s10009-016-0430-5"},{"key":"440_CR24","doi-asserted-by":"publisher","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. Softw. Eng. IEEE Trans. 41(5), 507\u2013525 (2015)","DOI":"10.1109\/TSE.2014.2372785"},{"key":"440_CR25","doi-asserted-by":"publisher","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: WS-TAXI: A WSDL-based testing tool for web services. In: Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1\u20134, 2009, pp. 326\u2013335. IEEE Computer Society (2009)","DOI":"10.1109\/ICST.2009.28"},{"key":"440_CR26","doi-asserted-by":"publisher","unstructured":"Bentakouk, L., Poizat, P., Za\u00efdi, F.: Checking the behavioral conformance of web services with symbolic testing and an SMT solver. In: TAP, Lecture Notes in Computer Science, vol. 6706, pp. 33\u201350. Springer (2011)","DOI":"10.1007\/978-3-642-21768-5_4"},{"issue":"4","key":"440_CR27","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1002\/stvr.1470","volume":"23","author":"M Bozkurt","year":"2013","unstructured":"Bozkurt, M., Mark, H., Youssef, H.: Testing and verification in service-oriented architecture: a survey. Softw. Test. Verif. Reliab. 23(4), 261\u2013313 (2013)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"440_CR28","doi-asserted-by":"publisher","unstructured":"Cao, T. D., Felix, P., Castanet, R., Berrada, I.: Online testing framework for web services. In: 2010 Third International Conference on Software Testing, Verification and Validation, pp. 363\u2013372 (2010)","DOI":"10.1109\/ICST.2010.11"},{"key":"440_CR29","doi-asserted-by":"crossref","unstructured":"Chan, A.: Encyclopedia of database systems, chapter service component architecture (SCA), pp. 2632\u20132633. Springer US, Boston (2009)","DOI":"10.1007\/978-0-387-39940-9_1193"},{"key":"440_CR30","doi-asserted-by":"publisher","unstructured":"Chen, L., Wang, Z., Xu, L., Lu, H., Xu, B.: Test case prioritization for web service regression testing. In: Service Oriented System Engineering (SOSE), 2010 Fifth IEEE International Symposium, pp. 173\u2013178. IEEE (2010)","DOI":"10.1109\/SOSE.2010.27"},{"key":"440_CR31","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking, pp. 1\u2013314. MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"440_CR32","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Klieber, W., Nov\u00e1cek, M., Zuliani, P.: Model checking and the state explosion problem. In: Meyer, B., Nordio, M. (eds.) Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures, Lecture Notes in Computer Science, vol. 7682, pp. 1\u201330. Springer (2011)","DOI":"10.1007\/978-3-642-35746-6_1"},{"issue":"Suppl 1","key":"440_CR33","doi-asserted-by":"publisher","first-page":"D12","DOI":"10.1186\/1129-2377-15-S1-D12","volume":"15","author":"D Conforti","year":"2014","unstructured":"Conforti, D., Groccia, M.C., Corasaniti, B., Guido, R., Iannacchero, R.: EHMTI-0172. Calabria Cephalalgic Network: innovative services and systems for the integrated clinical management of headache patients. J. Headache Pain 15(Suppl 1), D12 (2014)","journal-title":"J. Headache Pain"},{"key":"440_CR34","unstructured":"Console, L., Fugini, M.: WS-DIAMOND: an approach to web services\u2013DIAgnosability, MONitoring and Diagnosis, Information and Communication Technologies and the Knowledge Economy, vol. 4. IOS Press, Amsterdam (2007)"},{"issue":"1","key":"440_CR35","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97\u2013130 (1987)","journal-title":"Artif. Intell."},{"issue":"1","key":"440_CR36","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1023\/A:1009796922698","volume":"2","author":"R Dechter","year":"1997","unstructured":"Dechter, R.: Elimination, bucket: a unifying framework for processing hard and soft constraints. Constraints 2(1), 51\u201355 (1997)","journal-title":"Constraints"},{"key":"440_CR37","unstructured":"ECMA International. Standard ECMA-262\u2014ECMAScript Language Specification 5.1 Edition (2011). http:\/\/www.ecma-international.org\/ecma-262\/5.1\/Ecma-262.pdf"},{"issue":"2","key":"440_CR38","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/32.988497","volume":"28","author":"S Elbaum","year":"2002","unstructured":"Elbaum, S., Malishevsky, A.G., Rothermel, G.: Test case prioritization: a family of empirical studies. Softw. Eng. IEEE Trans. 28(2), 159\u2013182 (2002)","journal-title":"Softw. Eng. IEEE Trans."},{"key":"440_CR39","volume-title":"Service-oriented architecture: concepts, technology, and design","author":"E Thomas","year":"2005","unstructured":"Thomas, E.: Service-oriented architecture: concepts, technology, and design. Prentice Hall PTR, Upper Saddle River (2005)"},{"issue":"3","key":"440_CR40","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"440_CR41","volume-title":"Eloquent JavaScript: a modern introduction to programming","author":"M Haverbeke","year":"2011","unstructured":"Haverbeke, M.: Eloquent JavaScript: a modern introduction to programming. No Starch Press Series, No Starch Press (2011)"},{"key":"440_CR42","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., L\u00fcttgen, G., Anthony, J.H., Simons, S., Vilkomir, M.R., Hussein, Z.: Using formal specifications to support. ACM Comput. Surv 41(2), 9:1\u20139:76 (2009)","DOI":"10.1145\/1459352.1459354"},{"key":"440_CR43","unstructured":"IETF. The Constrained Application Protocol (CoAP)\u2014RFC 7252 (2014). https:\/\/tools.ietf.org\/html\/rfc7252"},{"key":"440_CR44","doi-asserted-by":"publisher","unstructured":"Jehan, S., Pill, I., Wotawa, F.: Functional SOA testing based on constraints. In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, May 18\u201319, pp. 33\u201339 (2013)","DOI":"10.1109\/IWAST.2013.6595788"},{"key":"440_CR45","doi-asserted-by":"publisher","unstructured":"Jensen, F.V., Kj\u00e6rulff, U., Kristiansen, B., Langseth, H., Skaanning, C., Vomlel, J., Vomlelov\u00e1, M.: The SACSO methodology for troubleshooting complex systems. AI EDAM 15, 321\u2013333 (2001)","DOI":"10.1017\/S0890060401154065"},{"key":"440_CR46","doi-asserted-by":"publisher","unstructured":"Joshi, R., Lamport, L., Matthews, J., Tasiran, S., Tuttle, M.R.: Yuan, Y.: Checking cache-coherence protocols with TLA $$^{\\text{+}}$$ + . Formal Methods Syst. Des. 22(2), 125\u2013131 (2003)","DOI":"10.1023\/A:1022969405325"},{"key":"440_CR47","doi-asserted-by":"crossref","unstructured":"Juszczyk, L., Truong, H.L., Dustdar, S.: GENESIS\u2014a framework for automatic generation and steering of testbeds of complex web services. In: ICECCS, pp. 131\u2013140. IEEE Computer Society (2008)","DOI":"10.1109\/ICECCS.2008.27"},{"key":"440_CR48","doi-asserted-by":"crossref","unstructured":"Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: ICSOC Workshops, Lecture Notes in Computer Science, vol. 5472, pp. 66-78. Springer (2008)","DOI":"10.1007\/978-3-642-01247-1_7"},{"key":"440_CR49","unstructured":"Khinchin, A.I.A.: Mathematical foundations of information theory. Dover Books on Mathematics. Dover (1957)"},{"key":"440_CR50","unstructured":"Lamport, L.: Specifying systems. The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley (2002)"},{"key":"440_CR51","doi-asserted-by":"publisher","unstructured":"Lamport, L.: The PlusCal Algorithm Language. In: Theoretical Aspects of Computing\u2014ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16\u201320, 2009. Proceedings. Springer, Berlin, Heidelberg (2009)","DOI":"10.1007\/978-3-642-03466-4_2"},{"key":"440_CR52","doi-asserted-by":"publisher","unstructured":"Lampropoulos, L., Sagonas, K.F.: Automatic WSDL-guided test case generation for PropEr testing of web services. In: WWV, EPTCS, vol. 98, pp. 3\u201316 (2012)","DOI":"10.4204\/EPTCS.98.3"},{"key":"440_CR53","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Wolf, K.: Realizability is controllability. In: WS-FM, Lecture Notes in Computer Science, vol. 6194, pp. 110\u2013127. Springer (2009)","DOI":"10.1007\/978-3-642-14458-5_7"},{"issue":"1","key":"440_CR54","first-page":"203","volume":"113","author":"AL Finn","year":"1999","unstructured":"Finn, A.L., Jensen, V.: Lazy propagation: a junction tree inference algorithm based on lazy evaluation. Artif. Intell. 113(1), 203\u2013245 (1999)","journal-title":"Artif. Intell."},{"key":"440_CR55","unstructured":"Maesano, A.-P.: Bayesian dynamic scheduling for service composition testing. Ph.D. Thesis, Universit\u00e9 Pierre et Marie Curie\u2014Paris VI, 2015"},{"key":"440_CR56","doi-asserted-by":"publisher","unstructured":"Mayer, P., L\u00fcbke, D.: Towards a BPEL unit testing framework. In: TAV-WEB Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications. TAV-WEB \u201906, pp. 33\u201342. ACM, New York (2006). doi: 10.1145\/1145718.1145723","DOI":"10.1145\/1145718.1145723"},{"issue":"4","key":"440_CR57","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1016\/j.jss.2010.11.905","volume":"84","author":"L Mei","year":"2011","unstructured":"Mei, L., Chan, W.K., Tse, T.H., Merkel, R.G.: XML-manipulating test case prioritization for XML-manipulating services. J. Syst. Softw. 84(4), 603\u2013619 (2011)","journal-title":"J. Syst. Softw."},{"key":"440_CR58","doi-asserted-by":"publisher","unstructured":"Mirarab, S., Tahvildari, L.: A prioritization approach for software test cases based on bayesian networks. In: Dwyer, M., Lopes, A. (eds.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 4422, pp. 276\u2013290. Springer, Berlin, Heidelberg (2007)","DOI":"10.1007\/978-3-540-71289-3_22"},{"key":"440_CR59","doi-asserted-by":"publisher","unstructured":"Namin, A.S., Sridharan, M.: Bayesian reasoning for software testing. Proceedings of the FSE\/SDP workshop on future of software engineering research. FoSER \u201910, pp. 349\u2013354. ACM, New York (2010)","DOI":"10.1145\/1882362.1882433"},{"key":"440_CR60","doi-asserted-by":"publisher","unstructured":"Newcombe, C.: Why Amazon chose TLA +. In: A\u00eft Ameur, Y., Schewe, K.-D., (eds.) Abstract State Machines, Alloy, B, TLA, VDM., Z\u20144th International Conference, ABZ 2014, Toulouse, France, June 2\u20136, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8477, pp. 25\u201339. Springer (2014)","DOI":"10.1007\/978-3-662-43652-3_3"},{"issue":"4","key":"440_CR61","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/2699417","volume":"58","author":"C Newcombe","year":"2015","unstructured":"Newcombe, C., Rath, T., Zhang, F., Munteanu, B., Brooker, M., Deardeuff, M.: How Amazon web services uses formal methods. Commun. ACM 58(4), 66\u201373 (2015)","journal-title":"Commun. ACM"},{"key":"440_CR62","unstructured":"Newcomer, E.: Understanding Web Services: XML, WSDL, SOAP, and UDDI. Independent technology guides. Addison-Wesley (2002)"},{"key":"440_CR63","unstructured":"Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Independent technology guides. Addison-Wesley (2005)"},{"key":"440_CR64","unstructured":"Newman, S.: Building microservices: designing fine-grained systems, 1st edn. O\u2019Reilly, Sebastopol (2015)"},{"key":"440_CR65","doi-asserted-by":"publisher","unstructured":"Nguyen, C. D., Marchetto, A., Tonella, P.: Change sensitivity based prioritization for audit testing of webservice compositions. In: Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference, pp. 357\u2013365. IEEE (2011)","DOI":"10.1109\/ICSTW.2011.50"},{"key":"440_CR66","unstructured":"OASIS. Web Services Business Process Execution Language Version 2.0 (2007). http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"440_CR67","unstructured":"OASIS. MQTT Version 3.1.1 (2014). http:\/\/docs.oasis-open.org\/mqtt\/mqtt\/v3.1.1\/os\/mqtt-v3.1.1-os.html"},{"key":"440_CR68","unstructured":"Object Management Group (OMG). Uml testing profile, version 1.2. http:\/\/www.omg.org\/spec\/UTP\/1.2"},{"key":"440_CR69","unstructured":"Oracle. Automating Testing of SOA Composite Applications (2016). http:\/\/bit.ly\/2bhzr5F"},{"key":"440_CR70","doi-asserted-by":"publisher","unstructured":"Parsons, S.: Probabilistic graphical models: principles and techniques by Daphne Koller and Nir Friedman, MIT Press, 1231 pp., ISBN 0-262-01319-3. Knowl. Eng. Rev. 26(02), 237\u2013238 (2011)","DOI":"10.1017\/S0269888910000275"},{"key":"440_CR71","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann Publishers Inc., San Francisco (1988)"},{"key":"440_CR72","doi-asserted-by":"crossref","unstructured":"Perera, C., Zaslavsky, A.B., Christen, P., Georgakopoulos, D.: Sensing as a service model for smart cities supported by internet of things. CoRR. arXiv:1307.8198 (2013)","DOI":"10.1002\/ett.2704"},{"key":"440_CR73","doi-asserted-by":"publisher","unstructured":"Pezz\u00e8, M., Zhang, C.: Automated test oracles: a survey. Adv. Comput. 95, 1\u201348 (2015)","DOI":"10.1016\/B978-0-12-800160-8.00001-2"},{"issue":"3","key":"440_CR74","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1002\/qre.411","volume":"17","author":"K Rees","year":"2001","unstructured":"Rees, K., Coolen, F.P.A., Goldstein, M., Wooff, D.A.: Managing the uncertainties of software testing: a Bayesian approach. Qual. Reliab. Eng. Int. 17(3), 191\u2013203 (2001)","journal-title":"Qual. Reliab. Eng. Int."},{"issue":"1","key":"440_CR75","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"440_CR76","unstructured":"Schnoebelen, P.: The complexity of temporal logic model checking. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M., (eds.) Advances in Modal Logic 4, papers from the fourth conference on \u201cAdvances in Modal logic,\u201d held in Toulouse (France) in October 2002, pp. 393\u2013436. King\u2019s College Publications (2002)"},{"key":"440_CR77","doi-asserted-by":"crossref","unstructured":"Shamsoddin-Motlagh, E.: A survey of service oriented architecture systems testing. arXiv:1212.3248 (2012)","DOI":"10.5121\/ijsea.2012.3602"},{"key":"440_CR78","doi-asserted-by":"publisher","unstructured":"Skaanning, C., Jensen, F.V., Kj\u00e6rulff, U.: Printer Troubleshooting Using Bayesian Networks. In: Logananthara, R., Palm, G., Ali, M. (eds.) Intelligent Problem Solving. Methodologies and Approaches, Lecture Notes in Computer Science, vol. 1821, pp. 367\u2013380. Springer, Berlin, Heidelberg (2000)","DOI":"10.1007\/3-540-45049-1_45"},{"key":"440_CR79","doi-asserted-by":"publisher","unstructured":"Stokkink, G., Timmer, M., Stoelinga, M.: Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: MBT, EPTCS, vol. 80, pp. 73\u201387 (2012)","DOI":"10.4204\/EPTCS.80.6"},{"key":"440_CR80","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Chen, Y., Paul, R., Huang, H., Zhou, X., Wei, X.: Adaptive testing, oracle generation, and test case ranking for Web services. In: Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International, vol. 1, pp. 101\u2013106 (vol. 2). IEEE (2005)","DOI":"10.1109\/COMPSAC.2005.40"},{"key":"440_CR81","doi-asserted-by":"publisher","unstructured":"Wang, H., Zhou, Q., Shi, Y.: Describing and verifying web service composition using TLA reasoning. In: 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, July 5\u201310, 2010, pp. 234\u2013241. IEEE Computer Society (2010)","DOI":"10.1109\/SCC.2010.28"},{"key":"440_CR82","unstructured":"Web Hypertext Application Technology Working Group (WHATWG). Web sockets, in HTML Living Standard (2016). https:\/\/html.spec.whatwg.org\/multipage\/comms.html#network"},{"key":"440_CR83","doi-asserted-by":"crossref","unstructured":"Wilde, E., Pautasso, C. (eds.) REST: From Research to Practice. Springer (2011)","DOI":"10.1007\/978-1-4419-8303-9"},{"issue":"5","key":"440_CR84","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1109\/TSE.2002.1000453","volume":"28","author":"DA Wooff","year":"2002","unstructured":"Wooff, D.A., Goldstein, M., Coolen, F.P.A.: Bayesian graphical models for software testing. Softw. Eng. IEEE Trans. 28(5), 510\u2013525 (2002)","journal-title":"Softw. Eng. IEEE Trans."},{"key":"440_CR85","doi-asserted-by":"publisher","unstructured":"Wotawa, F., Schulz, M., Pill, I., Jehan, S., Leitner, P., Hummer, W., Schulte, S., Hoenisch, P., Dustdar, S.: Fifty shades of grey in SOA testing. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18\u201322, 2013, pp. 154\u2013157. IEEE Computer Society (2013)","DOI":"10.1109\/ICSTW.2013.26"},{"key":"440_CR86","doi-asserted-by":"publisher","unstructured":"Wu, C.-S., Lee, Y.-T.: Automatic SaaS test cases generation based on SOA in the cloud service. In: CloudCom, pp. 349\u2013354. IEEE Computer Society (2012)","DOI":"10.1109\/CloudCom.2012.6427576"},{"issue":"2","key":"440_CR87","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/stv.430","volume":"22","author":"S Yoo","year":"2012","unstructured":"Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization: a survey. Softw. Test. Verif. Reliab. 22(2), 67\u2013120 (2012)","journal-title":"Softw. Test. Verif. Reliab."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-016-0440-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0440-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0440-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T23:16:55Z","timestamp":1749683815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-016-0440-3"}},"subtitle":["Model-based functional testing in practice"],"short-title":[],"issued":{"date-parts":[[2016,11,2]]},"references-count":87,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["440"],"URL":"https:\/\/doi.org\/10.1007\/s10009-016-0440-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2016,11,2]]}}}