{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:14:06Z","timestamp":1769728446543,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:00:00Z","timestamp":1693180800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian Research Promotion Agency","award":["892418"],"award-info":[{"award-number":["892418"]}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P31989-N31"],"award-info":[{"award-number":["P31989-N31"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,28]]},"DOI":"10.1145\/3579027.3608996","type":"proceedings-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T19:31:27Z","timestamp":1692991887000},"page":"242-253","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Model-based Testing for a Family of Mobile Applications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4715-3384","authenticated-orcid":false,"given":"Stefan","family":"Fischer","sequence":"first","affiliation":[{"name":"Software Competence Center, Hagenberg GmbH (SCCH), Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9903-6107","authenticated-orcid":false,"given":"Rudolf","family":"Ramler","sequence":"additional","affiliation":[{"name":"Software Competence Center, Hagenberg GmbH (SCCH), Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7557-9091","authenticated-orcid":false,"given":"Wesley K. G.","family":"Assun\u00e7\u00e3o","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3128-5427","authenticated-orcid":false,"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5735-9116","authenticated-orcid":false,"given":"Christian","family":"Gradl","sequence":"additional","affiliation":[{"name":"hello again GmbH, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-3580-9594","authenticated-orcid":false,"given":"Sebastian","family":"Auberger","sequence":"additional","affiliation":[{"name":"hello again GmbH, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2019.07.001"},{"key":"e_1_3_2_1_2_1","volume-title":"IEEE\/ACM International Conference on Automated Software Engineering, ASE' 12","author":"Amalfitano Domenico","year":"2012","unstructured":"Domenico Amalfitano , Anna Rita Fasolino , Porfirio Tramontana , Salvatore De Carmine , and Atif M. Memon . 2012. Using GUI ripping for automated testing of Android applications . In IEEE\/ACM International Conference on Automated Software Engineering, ASE' 12 , Essen, Germany , September 3-7, 2012 . ACM, 258--261. https:\/\/doi.org\/10.1145\/2351676.2351717 10.1145\/2351676.2351717 Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Salvatore De Carmine, and Atif M. Memon. 2012. Using GUI ripping for automated testing of Android applications. In IEEE\/ACM International Conference on Automated Software Engineering, ASE' 12, Essen, Germany, September 3-7, 2012. ACM, 258--261. https:\/\/doi.org\/10.1145\/2351676.2351717"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.55"},{"key":"e_1_3_2_1_4_1","volume-title":"6th International Conference on Advances in System Testing and Validation Lifecycle. IARIA XPS Press, 66--72","author":"Arrieta Aitor","year":"2014","unstructured":"Aitor Arrieta , Goiuria Sagardui , and Leire Etxeberria . 2014 . A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems . In 6th International Conference on Advances in System Testing and Validation Lifecycle. IARIA XPS Press, 66--72 . Aitor Arrieta, Goiuria Sagardui, and Leire Etxeberria. 2014. A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems. In 6th International Conference on Advances in System Testing and Validation Lifecycle. IARIA XPS Press, 66--72."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509549"},{"key":"e_1_3_2_1_6_1","volume-title":"Future of Software Engineering (FOSE'07)","author":"Bertolino Antonia","unstructured":"Antonia Bertolino . 2007. Software testing research: Achievements, challenges, dreams . In Future of Software Engineering (FOSE'07) . IEEE , 85--103. Antonia Bertolino. 2007. Software testing research: Achievements, challenges, dreams. In Future of Software Engineering (FOSE'07). IEEE, 85--103."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2015.74"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Rafael Capilla J. Bosch and K. C. Kang. 2013. Systems and Software Variability Management: Concepts Tools and Experiences. Springer.  Rafael Capilla J. Bosch and K. C. Kang. 2013. Systems and Software Variability Management: Concepts Tools and Experiences. Springer.","DOI":"10.1007\/978-3-642-36583-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509552"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_12_1","volume-title":"International Conference on Software Engineering. 285--294","author":"Dalal S.R.","unstructured":"S.R. Dalal , A. Jain , N. Karunanithi , J.M. Leaton , C.M. Lott , G.C. Patton , and B.M. Horowitz . 1999. Model-based testing in practice . In International Conference on Software Engineering. 285--294 . https:\/\/doi.org\/10.1145\/302405.302640 10.1145\/302405.302640 S.R. Dalal, A. Jain, N. Karunanithi, J.M. Leaton, C.M. Lott, G.C. Patton, and B.M. Horowitz. 1999. Model-based testing in practice. In International Conference on Software Engineering. 285--294. https:\/\/doi.org\/10.1145\/302405.302640"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Edsger W Dijkstra. 2022. A note on two problems in connexion with graphs. In Edsger Wybe Dijkstra: His Life Work and Legacy. 287--290.  Edsger W Dijkstra. 2022. A note on two problems in connexion with graphs. In Edsger Wybe Dijkstra: His Life Work and Legacy. 287--290.","DOI":"10.1145\/3544585.3544600"},{"key":"e_1_3_2_1_15_1","volume-title":"Schloss Dagstuhl, Germany, 2009","volume":"45","author":"Dziobek Christian","year":"2009","unstructured":"Christian Dziobek and Jens Weiland . 2009 . Variantenmodellierung und -konfiguration eingebetteter automotive Software mit Simulink. In Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V , Schloss Dagstuhl, Germany, 2009 , Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (Informatik-Bericht , Vol. 2009-01). TU Braunschweig, Institut f\u00fcr Software Systems Engineering, 36-- 45 . http:\/\/www.sse-tubs.de\/mbees-dagstuhl\/MBEES2009_Proceedings_online_small.pdf Christian Dziobek and Jens Weiland. 2009. Variantenmodellierung und -konfiguration eingebetteter automotive Software mit Simulink. In Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (Informatik-Bericht, Vol. 2009-01). TU Braunschweig, Institut f\u00fcr Software Systems Engineering, 36--45. http:\/\/www.sse-tubs.de\/mbees-dagstuhl\/MBEES2009_Proceedings_online_small.pdf"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571788.3571795"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09884-x"},{"key":"e_1_3_2_1_18_1","volume-title":"Comparing Automated Reuse of Scripted Tests and Model-Based Tests for Configurable Software. In 28th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 421--430","author":"Fischer Stefan","year":"2021","unstructured":"Stefan Fischer , Rudolf Ramler , and Lukas Linsbauer . 2021 . Comparing Automated Reuse of Scripted Tests and Model-Based Tests for Configurable Software. In 28th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 421--430 . https:\/\/doi.org\/10.1109\/APSEC53868.2021.00049 10.1109\/APSEC53868.2021.00049 Stefan Fischer, Rudolf Ramler, and Lukas Linsbauer. 2021. Comparing Automated Reuse of Scripted Tests and Model-Based Tests for Configurable Software. In 28th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 421--430. https:\/\/doi.org\/10.1109\/APSEC53868.2021.00049"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336305"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.12.051"},{"key":"e_1_3_2_1_21_1","volume-title":"35th International Conference on Software Engineering, ICSE '13","author":"Gomez Lorenzo","year":"2013","unstructured":"Lorenzo Gomez , Iulian Neamtiu , Tanzirul Azim , and Todd D. Millstein . 2013. RERAN: timing- and touch-sensitive record and replay for Android . In 35th International Conference on Software Engineering, ICSE '13 , San Francisco, CA, USA , May 18-26, 2013 . IEEE Computer Society, 72--81. https:\/\/doi.org\/10.1109\/ICSE.2013.6606553 10.1109\/ICSE.2013.6606553 Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, and Todd D. Millstein. 2013. RERAN: timing- and touch-sensitive record and replay for Android. In 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE Computer Society, 72--81. https:\/\/doi.org\/10.1109\/ICSE.2013.6606553"},{"key":"e_1_3_2_1_22_1","volume-title":"Modeling Variants of Automotive Systems using Views. CoRR abs\/1409.6629","author":"Gr\u00f6nniger Hans","year":"2014","unstructured":"Hans Gr\u00f6nniger , Holger Krahn , Claas Pinkernell , and Bernhard Rumpe . 2014. Modeling Variants of Automotive Systems using Views. CoRR abs\/1409.6629 ( 2014 ). arXiv:1409.6629 http:\/\/arxiv.org\/abs\/1409.6629 Hans Gr\u00f6nniger, Holger Krahn, Claas Pinkernell, and Bernhard Rumpe. 2014. Modeling Variants of Automotive Systems using Views. CoRR abs\/1409.6629 (2014). arXiv:1409.6629 http:\/\/arxiv.org\/abs\/1409.6629"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9386-2"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0019-9"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814320"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Kyo Kang Sholom Cohen James Hess William Novak and A. Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-021. Software Engineering Institute Carnegie Mellon University Pittsburgh PA. http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=11231  Kyo Kang Sholom Cohen James Hess William Novak and A. Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-021. Software Engineering Institute Carnegie Mellon University Pittsburgh PA. http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=11231","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.80.5"},{"key":"e_1_3_2_1_28_1","volume-title":"Model-based Automated Testing of Mobile Applications: An Industrial Case Study. In 14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2021","author":"Karlsson Stefan","year":"2021","unstructured":"Stefan Karlsson , Adnan Causevic , Daniel Sundmark , and M\u00e5rten Larsson . 2021 . Model-based Automated Testing of Mobile Applications: An Industrial Case Study. In 14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2021 , Porto de Galinhas, Brazil , April 12-16, 2021. IEEE, 130--137. https:\/\/doi.org\/10.1109\/ICSTW52544.2021.00033 10.1109\/ICSTW52544.2021.00033 Stefan Karlsson, Adnan Causevic, Daniel Sundmark, and M\u00e5rten Larsson. 2021. Model-based Automated Testing of Mobile Applications: An Industrial Case Study. In 14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2021, Porto de Galinhas, Brazil, April 12-16, 2021. IEEE, 130--137. https:\/\/doi.org\/10.1109\/ICSTW52544.2021.00033"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183533"},{"key":"e_1_3_2_1_30_1","volume-title":"On Featured Transition Systems. In SOFSEM 2017: Theory and Practice of Computer Science. Springer International Publishing, Cham, 453--463","author":"Legay Axel","year":"2017","unstructured":"Axel Legay , Gilles Perrouin , Xavier Devroey , Maxime Cordy , Pierre-Yves Schobbens , and Patrick Heymans . 2017 . On Featured Transition Systems. In SOFSEM 2017: Theory and Practice of Computer Science. Springer International Publishing, Cham, 453--463 . Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, and Patrick Heymans. 2017. On Featured Transition Systems. In SOFSEM 2017: Theory and Practice of Computer Science. Springer International Publishing, Cham, 453--463."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00035"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931054"},{"key":"e_1_3_2_1_34_1","volume-title":"Model-Based Testing for Embedded Systems","author":"Oster Sebastian","unstructured":"Sebastian Oster , Andreas W\u00fcbbeke , Gregor Engels , and Andy Sch\u00fcrr . 2011. A Survey of Model-Based Software Product Lines Testing . In Model-Based Testing for Embedded Systems . CRC Press . https:\/\/doi.org\/10.1201\/b11321-14 10.1201\/b11321-14 Sebastian Oster, Andreas W\u00fcbbeke, Gregor Engels, and Andy Sch\u00fcrr. 2011. A Survey of Model-Based Software Product Lines Testing. In Model-Based Testing for Embedded Systems. CRC Press. https:\/\/doi.org\/10.1201\/b11321-14"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3476105"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110608"},{"key":"e_1_3_2_1_37_1","volume-title":"van der Linden","author":"Pohl Klaus","year":"2005","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank J . van der Linden . 2005 . Software Product Line Engineering: Foundations, Principles and Techniques (1 ed.). Springer . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank J. van der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques (1 ed.). Springer."},{"key":"e_1_3_2_1_38_1","volume-title":"Model-Based Testing in Practice. In FM 2005: Formal Methods. Springer Berlin Heidelberg","author":"Pretschner Alexander","year":"2005","unstructured":"Alexander Pretschner . 2005 . Model-Based Testing in Practice. In FM 2005: Formal Methods. Springer Berlin Heidelberg , Berlin, Heidelberg, 537--541. Alexander Pretschner. 2005. Model-Based Testing in Practice. In FM 2005: Formal Methods. Springer Berlin Heidelberg, Berlin, Heidelberg, 537--541."},{"key":"e_1_3_2_1_39_1","volume-title":"Model-Based System Testing of Software Product Families. In 17th International Conference Advanced Information Systems Engineering (CAiSE) (Lecture Notes in Computer Science","volume":"534","author":"Reuys Andreas","year":"2005","unstructured":"Andreas Reuys , Erik Kamsties , Klaus Pohl , and Sacha Reis . 2005 . Model-Based System Testing of Software Product Families. In 17th International Conference Advanced Information Systems Engineering (CAiSE) (Lecture Notes in Computer Science , Vol. 3520). Springer, 519-- 534 . https:\/\/doi.org\/10.1007\/11431855_36 10.1007\/11431855_36 Andreas Reuys, Erik Kamsties, Klaus Pohl, and Sacha Reis. 2005. Model-Based System Testing of Software Product Families. In 17th International Conference Advanced Information Systems Engineering (CAiSE) (Lecture Notes in Computer Science, Vol. 3520). Springer, 519--534. https:\/\/doi.org\/10.1007\/11431855_36"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3457913.3457931"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.002"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-018-9418-6"},{"key":"e_1_3_2_1_43_1","volume-title":"Practical model-based testing: a tools approach","author":"Utting Mark","unstructured":"Mark Utting and Bruno Legeard . 2010. Practical model-based testing: a tools approach . Elsevier . Mark Utting and Bruno Legeard. 2010. Practical model-based testing: a tools approach. Elsevier."},{"key":"e_1_3_2_1_44_1","volume-title":"Advances in Computers","volume":"101","author":"Utting Mark","year":"2016","unstructured":"Mark Utting , Bruno Legeard , Fabrice Bouquet , Elizabeta Fourneret , Fabien Peureux , and Alexandre Vernotte . 2016 . Chapter Two - Recent Advances in Model-Based Testing . Advances in Computers , Vol. 101 . Elsevier, 53--120. https:\/\/doi.org\/10.1016\/bs.adcom. 2015.11.004 10.1016\/bs.adcom.2015.11.004 Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, and Alexandre Vernotte. 2016. Chapter Two - Recent Advances in Model-Based Testing. Advances in Computers, Vol. 101. Elsevier, 53--120. https:\/\/doi.org\/10.1016\/bs.adcom.2015.11.004"}],"event":{"name":"SPLC '23: 27th ACM International Systems and Software Product Line Conference","location":"Tokyo Japan","acronym":"SPLC '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608996","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579027.3608996","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:05Z","timestamp":1750178285000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608996"}},"subtitle":["Industrial Experiences"],"short-title":[],"issued":{"date-parts":[[2023,8,28]]},"references-count":43,"alternative-id":["10.1145\/3579027.3608996","10.1145\/3579027"],"URL":"https:\/\/doi.org\/10.1145\/3579027.3608996","relation":{},"subject":[],"published":{"date-parts":[[2023,8,28]]},"assertion":[{"value":"2023-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}