{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T08:11:26Z","timestamp":1694074286518},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T00:00:00Z","timestamp":1474416000000},"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-0437-y","type":"journal-article","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T13:18:50Z","timestamp":1474463930000},"page":"309-324","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Combining usage-based and model-based testing for service-oriented architectures in the industrial practice"],"prefix":"10.1007","volume":"19","author":[{"given":"Steffen","family":"Herbold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Harms","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Grabowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,21]]},"reference":[{"key":"437_CR1","unstructured":"Dedalus. http:\/\/www.dedalus.eu\/"},{"key":"437_CR2","unstructured":"Health Level Seven International. http:\/\/www.hl7.org.uk\/"},{"key":"437_CR3","unstructured":"Itainnova-instituto tecnol\u00f3gico de arag\u00f3n. http:\/\/www.itainnova.es\/"},{"key":"437_CR4","unstructured":"Jacareto. http:\/\/sourceforge.net\/projects\/jacareto\/"},{"key":"437_CR5","unstructured":"Object management group (omg). http:\/\/www.omg.org"},{"key":"437_CR6","unstructured":"Selenium webdriver. http:\/\/www.seleniumhq.org\/"},{"key":"437_CR7","unstructured":"ALL4TEC: MaTeLo. http:\/\/www.all4tec.net\/index.php\/en\/model-based-testing\/20-markov-test-logic-matelo(linkcheckedJune2nd,2014)"},{"key":"437_CR8","volume-title":"Model-driven testing: using the uml testing profile","author":"P Baker","year":"2007","unstructured":"Baker, P., Dai, Z.R., Grabowski, J., Haugen, O., Schieferdecker, I., Williams, C.: Model-driven testing: using the uml testing profile. Springer-Verlag New York Inc, Secaucus (2007)"},{"key":"437_CR9","doi-asserted-by":"crossref","unstructured":"Barcelona\u00a0Li\u00e9dana, M.A., L\u00f3pez-Nicol\u00e1s, G., Garc\u00eda-Borgon\u030b\u00f3n, L.: Practical experiences in the usage of midas in the logistics domain. Software Tools for Technology Transfer (STTT), accepted (2016)","DOI":"10.1007\/s10009-016-0430-5"},{"key":"437_CR10","doi-asserted-by":"publisher","unstructured":"Chen, C., Zaidman, A., Gross, H.G.: A framework-based runtime monitoring approach for service-oriented software systems. In: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, QASBA \u201911, pp. 17\u201320. ACM, New York, NY, USA (2011). doi: 10.1145\/2031746.2031752","DOI":"10.1145\/2031746.2031752"},{"issue":"2","key":"437_CR11","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/TSE.1980.234477","volume":"6","author":"RC Cheung","year":"1980","unstructured":"Cheung, R.C.: A user-oriented software reliability model. IEEE Trans. Softw. Eng. 6(2), 118\u2013125 (1980). doi: 10.1109\/TSE.1980.234477","journal-title":"IEEE Trans. Softw. Eng."},{"key":"437_CR12","volume-title":"Elements of information theory","author":"TM Cover","year":"2006","unstructured":"Cover, T.M., Thomas, J.A.: Elements of information theory, 2nd edn. Wiley, Hoboken (2006)","edition":"2"},{"key":"437_CR13","doi-asserted-by":"publisher","unstructured":"De\u00a0Francesco, A., Di\u00a0Napoli, C., Giordano, M., Ottaviano, G., Perego, R., Tonellotto, N.: A soa testing platform on the cloud: The midas experience. In: Intelligent Networking and Collaborative Systems (INCoS), 2014 International Conference on, pp. 659\u2013664 (2014). doi: 10.1109\/INCoS.2014.62","DOI":"10.1109\/INCoS.2014.62"},{"key":"437_CR14","doi-asserted-by":"crossref","unstructured":"Di\u00a0Napoli, C., De\u00a0Francesco, A., Giordano, M., Ottaviano, G., Tonellotto, N., Perego, R.: Midas: a cloud platform for soa testing as a service. International Journal of High Performance Computing and Networking (2015) (in press)","DOI":"10.1504\/IJHPCN.2015.071254"},{"key":"437_CR15","doi-asserted-by":"publisher","unstructured":"Dulz, W., Zhen, F.: MaTeLo\u2014statistical usage testing by annotated sequence diagrams, Markov Chains and TTCN-3. In: Proceedings of the 3rd International Conference on Quality Software (QSIC) (2003)","DOI":"10.1109\/QSIC.2003.1319119"},{"key":"437_CR16","unstructured":"Eclipse Foundation: Papyrus. https:\/\/eclipse.org\/papyrus\/"},{"key":"437_CR17","doi-asserted-by":"publisher","unstructured":"Feliachi, A., Le Guen, H.: Generating transition probabilities for automatic model-based test generation. In: Proceedings of the 3rd International Conference on Software Testing, Verification and Validation (ICST) (2010). doi: 10.1109\/ICST.2010.26","DOI":"10.1109\/ICST.2010.26"},{"key":"437_CR18","volume-title":"An introduction to probability theory and its applications","author":"W Feller","year":"1971","unstructured":"Feller, W.: An introduction to probability theory and its applications. Wiley, Hoboken (1971)"},{"issue":"3","key":"437_CR19","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S1389-1286(03)00249-4","volume":"42","author":"J Grabowski","year":"2003","unstructured":"Grabowski, J., Hogrefe, D., R\u00e9thy, G., Schieferdecker, I., Wiles, A., Willcock, C.: An introduction to the testing and test control notation (TTCN-3). Comput. Netw. 42(3), 375\u2013403 (2003). doi: 10.1016\/S1389-1286(03)00249-4","journal-title":"Comput. Netw."},{"key":"437_CR20","unstructured":"GS1: Logistics interoperability model version 1. http:\/\/www.gs1.org\/lim (2007)"},{"key":"437_CR21","unstructured":"Health Level Seven International: Hl7 version 3 standard: Identification service (is), release 1. http:\/\/www.hl7.org\/implement\/standards\/product_brief.cfm?product_id=87 (2014)"},{"key":"437_CR22","unstructured":"Healthcare Service Specification Project (HSSP): Hssp specifications. https:\/\/hssp.wikispaces.com\/specs"},{"key":"437_CR23","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/B978-0-12-396526-4.00007-2","volume":"85","author":"S Herbold","year":"2012","unstructured":"Herbold, S., B\u00fcnting, U., Grabowski, J., Waack, S.: Deployable capture\/replay supported by internal messages. Adv. Comput. 85, 327\u2013367 (2012)","journal-title":"Adv. Comput."},{"key":"437_CR24","doi-asserted-by":"publisher","unstructured":"Herbold, S., Grabowski, J., Waack, S.: A Model for Usage-based Testing of Event-driven Software. In: 3rd International Workshop on Model-Based Verification & Validation From Research to Practice. IEEE Computer Society (2011)","DOI":"10.1109\/SSIRI-C.2011.32"},{"key":"437_CR25","doi-asserted-by":"publisher","unstructured":"Herbold, S., Harms, P.: AutoQUEST\u2014automated quality engineering of event-driven software. In: Proceedings of the IEEE 6th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2013). doi: 10.1109\/ICSTW.2013.23","DOI":"10.1109\/ICSTW.2013.23"},{"key":"437_CR26","unstructured":"International Software Testing Qualitifications Board (ISTQB): Standard glossary of terms used in Software Testing, Version 2.1 (2010)"},{"issue":"1","key":"437_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/360402.360406","volume":"2","author":"R Kosala","year":"2000","unstructured":"Kosala, R., Blockeel, H.: Web mining research: a survey. ACM SIGKDD Explor. Newsl. 2(1), 1\u201315 (2000). doi: 10.1145\/360402.360406","journal-title":"ACM SIGKDD Explor. Newsl."},{"key":"437_CR28","doi-asserted-by":"publisher","unstructured":"Le\u00a0Guen, H., Marie, R., Thelin, T.: Reliability estimation for statistical usage testing using markov chains. In: Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE) (2004). doi: 10.1109\/ISSRE.2004.33","DOI":"10.1109\/ISSRE.2004.33"},{"key":"437_CR29","doi-asserted-by":"publisher","unstructured":"Littlewood, B.: A reliability model for systems with Markov structure. J. R. Stat. Soc. Ser. C (Applied Statistics) 24(2), 172\u2013177 (1975)","DOI":"10.2307\/2346564"},{"key":"437_CR30","unstructured":"MIDAS Consortium: Model and Inference Driven Automated testing of Servicesarchitectures (MIDAS). http:\/\/www.midas-project.eu (link checked June 2nd, 2014)"},{"issue":"3","key":"437_CR31","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s00778-010-0203-9","volume":"20","author":"HR Motahari-Nezhad","year":"2011","unstructured":"Motahari-Nezhad, H.R., Saint-Paul, R., Casati, F., Benatallah, B.: Event correlation for process discovery from web service interaction logs. VLDB J. 20(3), 417\u2013444 (2011). doi: 10.1007\/s00778-010-0203-9","journal-title":"VLDB J."},{"key":"437_CR32","unstructured":"Object Management Group (OMG): Retrieve, locate, and update service (rlus). http:\/\/www.omg.org\/spec\/RLUS\/ (2011)"},{"key":"437_CR33","volume-title":"Unified modeling language reference manual, the (2nd edition)","author":"J Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: Unified modeling language reference manual, the (2nd edition). Pearson Higher Education, New York (2004)"},{"issue":"2","key":"437_CR34","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/846183.846188","volume":"1","author":"J Srivastava","year":"2000","unstructured":"Srivastava, J., Cooley, R., Deshpande, M., Tan, P.N.: Web usage mining: discovery and applications of usage patterns from Web data. ACM SIGKDD Explor. Newsl. 1(2), 12\u201323 (2000). doi: 10.1145\/846183.846188","journal-title":"ACM SIGKDD Explor. Newsl."},{"key":"437_CR35","unstructured":"Testing Technologies: Ttworkbench. http:\/\/www.testingtech.com\/products\/ttworkbench.php"},{"key":"437_CR36","doi-asserted-by":"publisher","unstructured":"Tonella, P., Ricca, F.: Dynamic model extraction and statistical analysis of web applications. In: Proceedings of the 4th International Workshop on Web Site Evolution (WSE) (2002)","DOI":"10.1109\/WSE.2002.1134088"},{"issue":"1\u20132","key":"437_CR37","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1002\/smr.284","volume":"16","author":"P Tonella","year":"2004","unstructured":"Tonella, P., Ricca, F.: Statistical testing of web applications. J. Softw. Maint. Evol. Res. Pract. 16(1\u20132), 103\u2013127 (2004). doi: 10.1002\/smr.284","journal-title":"J. Softw. Maint. Evol. Res. Pract."},{"key":"437_CR38","doi-asserted-by":"publisher","unstructured":"Tonella, P., Ricca, F.: Dynamic Model extraction and statistical analysis of web applications: Follow-up after 6 years. In: Proceedings of the 10th International Symposium on Web Site Evolution (WSE) (2008)","DOI":"10.1109\/WSE.2008.4655389"},{"key":"437_CR39","doi-asserted-by":"publisher","unstructured":"Tonella, P., Tiella, R., Nguyen, C.D.: Interpolated n-grams for model based testing. In: Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp. 562\u2013572. ACM, New York, NY, USA (2014). doi: 10.1145\/2568225.2568242","DOI":"10.1145\/2568225.2568242"},{"issue":"1","key":"437_CR40","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/spe.4380250106","volume":"25","author":"GH Walton","year":"1995","unstructured":"Walton, G.H., Poore, J.H., Trammell, C.J.: Statistical testing ofsoftware based on a usage model. Softw. Pract. Ant Exp. 25(1), 97\u2013108 (1995). doi: 10.1002\/spe.4380250106","journal-title":"Softw. Pract. Ant Exp."},{"key":"437_CR41","unstructured":"Wendland, M.F., Schneider, M., Hoffmann, A.: A model-driven approach to test automation for soa systems. Software Tools for Technology Transer (submitted) (2015)"},{"key":"437_CR42","unstructured":"Wessl\u00e9n, A., Wohlin, C.: Modelling and generation of software usage. In: Proceedings of the 5th International Conference on Software Quality (1995)"},{"issue":"1","key":"437_CR43","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/151299.151326","volume":"2","author":"JA Whittaker","year":"1993","unstructured":"Whittaker, J.A., Poore, J.H.: Markov analysis of software specifications. ACM Trans. Softw. Eng. Methodol. 2(1), 93\u2013106 (1993). doi: 10.1145\/151299.151326","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"10","key":"437_CR44","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"JA Whittaker","year":"1994","unstructured":"Whittaker, J.A., Thomason, M.G.: A Markov chain model for statistical software testing. IEEE Trans. Softw. Eng. 20(10), 812\u2013824 (1994). doi: 10.1109\/32.328991","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"437_CR45","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/174146.154187","volume":"18","author":"DM Woit","year":"1993","unstructured":"Woit, D.M.: Specifying operational profiles for modules. SIGSOFT Softw. Eng. Notes 18(3), 2\u201310 (1993). doi: 10.1145\/174146.154187","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"437_CR46","unstructured":"Woit, D.M.: Conditional-event usage testing. In: Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research, CASCON \u201998, p. 23. IBM Press (1998)"},{"key":"437_CR47","unstructured":"World Wide Web Consortium (W3C): Web services addressing (ws-addressing). http:\/\/www.w3.org\/Submission\/ws-addressing\/ (2004)"},{"key":"437_CR48","unstructured":"Yufang\u00a0Dan Nicolas\u00a0Stouls, S.F.C.C.: A Monitoring approach for dynamic service-oriented architecture systems. In: SERVICE COMPUTATION 2012: The Fourth International Conferences on Advanced Service Computing, pp. 20\u201323. XPS (Xpert Publishing Services) (2012)"}],"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-0437-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0437-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0437-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T17:14:34Z","timestamp":1568394874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-016-0437-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,21]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["437"],"URL":"https:\/\/doi.org\/10.1007\/s10009-016-0437-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,21]]}}}