{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:52:23Z","timestamp":1769723543861,"version":"3.49.0"},"reference-count":93,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,3,6]],"date-time":"2023-03-06T00:00:00Z","timestamp":1678060800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,6]],"date-time":"2023-03-06T00:00:00Z","timestamp":1678060800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1007\/s10270-023-01086-5","type":"journal-article","created":{"date-parts":[[2023,3,6]],"date-time":"2023-03-06T06:02:28Z","timestamp":1678082548000},"page":"1565-1587","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Efficient regression testing of distributed real-time reactive systems in the context of model-driven development"],"prefix":"10.1007","volume":"22","author":[{"given":"Majid","family":"Babaei","sequence":"first","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,3,6]]},"reference":[{"key":"1086_CR1","first-page":"235","volume":"2014","author":"S Elbaum","year":"2014","unstructured":"Elbaum, S., Rothermel, G., Penix, J.: Techniques for improving regression testing in continuous integration development environments, ser. FSE,: new York, NY, USA: Assoc. Comput. Mach. 2014, 235\u2013245 (2014)","journal-title":"Comput. Mach."},{"key":"1086_CR2","doi-asserted-by":"crossref","unstructured":"Gabrielova, E.: End-to-end regression testing for distributed systems, ser. Middleware \u201917. New York, NY, USA: Association for Computing Machinery, p. 9-12 (2017)","DOI":"10.1145\/3152688.3152692"},{"key":"1086_CR3","doi-asserted-by":"crossref","unstructured":"Aumayr, D., Marr, S., B\u00e9ra, C., Boix, E.G., M\u00f6ssenb\u00f6ck, H.: Efficient and deterministic record & replay for actor languages, ser. ManLang \u201918. New York, NY, USA: Association for Computing Machinery, (2018)","DOI":"10.1145\/3237009.3237015"},{"key":"1086_CR4","doi-asserted-by":"crossref","unstructured":"Tveito, L., Johnsen, E.B., Schlatte, R.: Global reproducibility through local control for distributed active objects, In FASE, ser. Lecture Notes in Computer Science, vol. 12076. Springer, pp. 140\u2013160 (2020)","DOI":"10.1007\/978-3-030-45234-6_7"},{"key":"1086_CR5","doi-asserted-by":"crossref","unstructured":"Lanese, I., Palacios, A., Vidal, G.: Causal-consistent replay debugging for message passing programs, In IFIP, ser Lecture Notes in Computer Science, Springer 11535, 167\u2013184 (2019)","DOI":"10.1007\/978-3-030-21759-4_10"},{"key":"1086_CR6","doi-asserted-by":"crossref","unstructured":"Kazuhiro\u00a0Shibanai, K., Watanabe, T.: Distributed functional reactive programming on actor-based runtime, In SIGPLAN. ACM, pp. 13\u201322 (2018)","DOI":"10.1145\/3281366.3281370"},{"key":"1086_CR7","doi-asserted-by":"crossref","unstructured":"Sen, K., Kalasapur, S., Brutch, T., Gibbs, S.: Jalangi: a selective record-replay and dynamic analysis framework for JavaScript, ser. ESEC\/FSE. New York, NY, USA: Association for Computing Machinery, p. 488-498 (2013)","DOI":"10.1145\/2491411.2491447"},{"key":"1086_CR8","doi-asserted-by":"crossref","unstructured":"Leshed, G., Haber, E.M., Matthews, T., Lau, T.: Coscripter: Automating & sharing how-to knowledge in the enterprise, In SIGCHI, ser. CHI \u201908. New York, NY, USA: association for Computing Machinery, p. 1719-1728 (2008)","DOI":"10.1145\/1357054.1357323"},{"key":"1086_CR9","unstructured":"QF-Test website, https:\/\/www.qfs.de\/en.html, retrieved (2021)"},{"key":"1086_CR10","unstructured":"Holmes, A., Kellogg, M.: Automating functional tests using selenium, In AGILE\u201906, (2006)"},{"key":"1086_CR11","unstructured":"Smartbear, \u201cTestComplete,\u201d https:\/\/smartbear.com\/product\/testcomplete\/overview\/, retrieved (2021)"},{"key":"1086_CR12","doi-asserted-by":"crossref","unstructured":"Kresse, A., Kruse, P.M.: Development and maintenance efforts testing graphical user interfaces: a comparison, ser. A-TEST. New York, NY, USA: association for Computing Machinery, p. 52-58 (2016)","DOI":"10.1145\/2994291.2994299"},{"key":"1086_CR13","volume-title":"Dapper, a Large-Scale Distributed Systems Tracing Infrastructure","author":"BH Sigelman","year":"2010","unstructured":"Sigelman, B.H., Barroso, L.A., Burrows, M., Stephenson, P., Plakal, M., Beaver, D., Jaspan, S., Shanbhag, C.: Dapper, a Large-Scale Distributed Systems Tracing Infrastructure. Google Inc, Tech. Rep. (2010)"},{"key":"1086_CR14","doi-asserted-by":"crossref","unstructured":"Park, S., Lu, S., Zhou, Y.: Ctrigger: Exposing atomicity violation bugs from their hiding places, ser. ASPLOS XIV. New York, NY, USA: association for Computing Machinery, p. 25-36 (2009)","DOI":"10.1145\/1508284.1508249"},{"key":"1086_CR15","unstructured":"Babaei, M., Dingel, J.: MRegTest repository, https:\/\/github.com\/MajidGitHubRepos\/MRegTest, retrieved (2021)"},{"key":"1086_CR16","doi-asserted-by":"crossref","unstructured":"Babaei, M., Bagherzadeh, M., Dingel, J.: Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development, In Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, ser. MODELS\u201920. New York, NY, USA: Association for Computing Machinery, p. 285-296 (2020)","DOI":"10.1145\/3365438.3410939"},{"key":"1086_CR17","unstructured":"Babaei, M.: Regression testing of distributed real-time embedded systems in the context of model-driven development, PhD dissertation, Kingston, Ontario, Canada, (2021)"},{"issue":"3","key":"1086_CR18","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0020-0190(03)00364-8","volume":"88","author":"H Ural","year":"2003","unstructured":"Ural, H., Whittier, D.: Distributed testing without encountering controllability and observability problems. Inf. Process. Lett. 88(3), 133\u2013141 (2003)","journal-title":"Inf. Process. Lett."},{"key":"1086_CR19","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-319-47443-4_6","volume-title":"Testing Software and Systems","author":"RM Hierons","year":"2016","unstructured":"Hierons, R.M., Merayo, M.G., Nunez, M.: Controllability through nondeterminism in distributed testing. In: Wotawa, F., Nica, M., Kushik, N. (eds.) Testing Software and Systems, pp. 89\u2013105. Springer International Publishing, Cham (2016)"},{"issue":"11","key":"1086_CR20","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","volume":"41","author":"L Cacciari","year":"1999","unstructured":"Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Inf. Softw. Technol. 41(11), 767\u2013780 (1999)","journal-title":"Inf. Softw. Technol."},{"key":"1086_CR21","doi-asserted-by":"crossref","unstructured":"Terragni, V., Cheung, S., Zhang, C.: Recontest: effective regression testing of concurrent programs,\u2019 In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, 1, pp. 246\u2013256 (2015)","DOI":"10.1109\/ICSE.2015.45"},{"key":"1086_CR22","doi-asserted-by":"crossref","unstructured":"Yu, T., Srisa-an, W., Rothermel, G.: SimRT: An automated framework to support regression testing for data races, ser. ICSE. New York, NY, USA: association for Computing Machinery, p. 48-59 (2014)","DOI":"10.1145\/2568225.2568294"},{"key":"1086_CR23","doi-asserted-by":"crossref","unstructured":"Joshi, P., Ganai, M., Balakrishnan, G., Gupta, A., Papakonstantinou, N.:\u201cSETSUDundefined: Perturbation-based testing framework for scalable distributed systems, ser. TRIOS. New York, NY, USA: association for Computing Machinery, (2013)","DOI":"10.1145\/2524211.2524217"},{"key":"1086_CR24","doi-asserted-by":"crossref","unstructured":"Lima, B.: Automated scenario-based integration testing of time-constrained distributed systems, In 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), pp. 486\u2013488 (2019)","DOI":"10.1109\/ICST.2019.00060"},{"issue":"8","key":"1086_CR25","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1109\/TSE.2017.2707089","volume":"44","author":"FA Bianchi","year":"2018","unstructured":"Bianchi, F.A., Margara, A., Pezz\u00e8, M.: A survey of recent trends in testing concurrent software systems. IEEE Trans. Software Eng. 44(8), 747\u2013783 (2018)","journal-title":"IEEE Trans. Software Eng."},{"key":"1086_CR26","doi-asserted-by":"crossref","unstructured":"Torens, C., Ebrecht, L.: RemoteTest: a framework for testing distributed systems, pp. 441\u2013446 (2010)","DOI":"10.1109\/ICSEA.2010.75"},{"key":"1086_CR27","doi-asserted-by":"crossref","unstructured":"Milka, G., Rzadca, K.: Dfuntest: a testing framework for distributed applications. CoRR, (2018)","DOI":"10.1007\/978-3-319-78024-5_35"},{"key":"1086_CR28","unstructured":"Foundation, E.: Eclipse Papyrus for real time (Papyrus-RT), https:\/\/www.eclipse.org\/papyrus-rt, 2016, retrieved June 5, (2019)"},{"key":"1086_CR29","unstructured":"Jahed, Karim: Papyrus-RT Distribution, https:\/\/github.com\/kjahed\/papyrusrt-distribution, retrieved: 2019-8-10 (2019)"},{"key":"1086_CR30","doi-asserted-by":"crossref","unstructured":"Babaei, M., Bagherzadeh, M., Dingel, J.: Mreplayer: a trace replayer of distributed UML-RT models,\u201d ser. MODELS\u201920. New York, NY, USA: association for Computing Machinery, (2020)","DOI":"10.1145\/3417990.3422003"},{"key":"1086_CR31","unstructured":"The Object Management Group, UML Superstructure Specification. Version 2.5.1, http:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF, 2017, retrieved August 23, (2019)"},{"key":"1086_CR32","doi-asserted-by":"crossref","unstructured":"Stivan, G., Peruffo, A., Haller, P.: Akka.js: towards a portable actor runtime environment, ser. AGERE. New York, NY, USA: Association for Computing Machinery, p. 57-64 (2015)","DOI":"10.1145\/2824815.2824821"},{"key":"1086_CR33","doi-asserted-by":"crossref","unstructured":"Bykov, S., Geller, A., Kliot, G., Larus, J.R., Pandya, R., Thelin, J.: Orleans: Cloud computing for everyone, ser. SOCC. New York, NY, USA: Association for Computing Machinery, (2011)","DOI":"10.1145\/2038916.2038932"},{"key":"1086_CR34","unstructured":"McCaffrey, C.: Building the Halo 4 services with Orleans, 2015, presentation at QCon London"},{"key":"1086_CR35","doi-asserted-by":"crossref","unstructured":"Boer, F.D., Serbanescu, V., H\u00e4hnle, R., Henrio, L., Rochas, J., Din, C.C., Johnsen, E.B., Sirjani, M., Khamespanah, E., Fernandez-Reyes, K., Yang, A.M.: A survey of active object languages,\u201d ACM Comput. Surv., 50(5), (2017)","DOI":"10.1145\/3122848"},{"issue":"8","key":"1086_CR36","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/32.536955","volume":"22","author":"G Rothermel","year":"1996","unstructured":"Rothermel, G., Harrold, M.J.: Analyzing regression test selection techniques. IEEE Trans. Software Eng. 22(8), 529\u2013551 (1996)","journal-title":"IEEE Trans. Software Eng."},{"key":"1086_CR37","doi-asserted-by":"crossref","unstructured":"Hammoudi, M.: Regression testing of web applications using record\/replay tools, ser. FSE. New York, NY, USA: Association for Computing Machinery, p. 1079-1081 (2016)","DOI":"10.1145\/2950290.2983942"},{"key":"1086_CR38","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley and Sons New York, 2, (1994)"},{"issue":"1","key":"1086_CR39","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10270-014-0399-z","volume":"15","author":"E Posse","year":"2016","unstructured":"Posse, E., Dingel, J.: An executable formal semantics for UML-RT. Softw. Syst. Model. 15(1), 179\u2013217 (2016)","journal-title":"Softw. Syst. Model."},{"key":"1086_CR40","unstructured":"IBM, IBM RSARTE, https:\/\/www.ibm.com\/developerworks\/community\/wikis, 2016, retrieved July 19, (2016)"},{"key":"1086_CR41","unstructured":"HCL, RealTime Software Tooling (RTist), https:\/\/www.hcltech.com\/software\/rtist, retrieved (2020)"},{"key":"1086_CR42","unstructured":"Eclipse Foundation, Eclipse eTrice Real-Time Modeling Tools, https:\/\/www.eclipse.org\/etrice, (2020)"},{"key":"1086_CR43","doi-asserted-by":"crossref","unstructured":"Selic, B.: Using UML for modeling complex real-time systems, in Languages, compilers, and tools for embedded systems. Springer, pp. 250\u2013260 (1998)","DOI":"10.1007\/BFb0057795"},{"key":"1086_CR44","unstructured":"Bagherzadeh, M.: Model-level debugging in the context of the model driven development, PhD dissertation, Kingston, Ontario, Canada, (2019)"},{"key":"1086_CR45","doi-asserted-by":"crossref","unstructured":"von\u00a0der Beeck, M.: A formal semantics of UML-RT, In Model Driven Engineering Languages and Systems, O.\u00a0Nierstrasz, J.\u00a0Whittle, D.\u00a0Harel, and G.\u00a0Reggio, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 768\u2013782 (2006)","DOI":"10.1007\/11880240_53"},{"issue":"5","key":"1086_CR46","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"GH Mealy","year":"1955","unstructured":"Mealy, G.H.: A method for synthesizing sequential circuits. Bell Syst. Tech. J. 34(5), 1045\u20131079 (1955)","journal-title":"Bell Syst. Tech. J."},{"key":"1086_CR47","unstructured":"Ahmadi, R.: Testing models of reactive systems, PhD dissertation, Kingston, Ontario, Canada, (2019)"},{"issue":"06","key":"1086_CR48","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s00766-010-0102-z","volume":"15","author":"S Esmaeilsabzali","year":"2010","unstructured":"Esmaeilsabzali, S., Day, N., Atlee, J., Niu, J.: Deconstructing the semantics of big-step modelling languages. Requir. Eng. 15(06), 235\u2013265 (2010)","journal-title":"Requir. Eng."},{"key":"1086_CR49","unstructured":"Parr, T.: Antlr (another tool for language recognition), https:\/\/www.antlr.org\/, 2017, retrieved June 5, (2019)"},{"key":"1086_CR50","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer-Verlag, Berlin, Heidelberg (1982)"},{"key":"1086_CR51","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes, 21(8), 666-677, (1978) [Online]. Available: https:\/\/doi.org\/10.1145\/359576.359585","DOI":"10.1145\/359576.359585"},{"key":"1086_CR52","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.: The Epsilon transformation language, In International Conference on Theory and Practice of Model Transformations. Springer, pp. 46\u201360 (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"1086_CR53","unstructured":"Dunfield, J.: Lecture notes in cisc 327 - software quality assurance, Fall (2018)"},{"issue":"8","key":"1086_CR54","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/32.536955","volume":"22","author":"G Rothermel","year":"1996","unstructured":"Rothermel, G., Harrold, M.: Analyzing regression test selection techniques. IEEE Trans. Softw. Eng. 22(8), 529\u2013551 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"1086_CR55","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.infsof.2008.09.010","volume":"51","author":"L Briand","year":"2009","unstructured":"Briand, L., Labiche, Y., He, S.: Automating regression test selection based on UML designs. Inf. Softw. Technol. 51(1), 16\u201330 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"1086_CR56","doi-asserted-by":"crossref","unstructured":"Balasubramanian, J., Tambe, S., Lu, C., Gokhale, A., Gill, C., Schmidt, D.C.: Adaptive failover for real-time middleware with passive replication, In 15th IEEE Symposium on Real-Time and Embedded Technology and Applications. IEEE, pp. 118\u2013127 (2009)","DOI":"10.1109\/RTAS.2009.36"},{"key":"1086_CR57","doi-asserted-by":"crossref","unstructured":"Kahani, N., Hili, N., Cordy, J.R., Dingel, J.: Evaluation of UML-RT and Papyrus-RT for modelling self-adaptive systems, In Proceedings of the 9th International Workshop on Modelling in Software Engineering. IEEE Press, pp. 12\u201318 (2017)","DOI":"10.1109\/MiSE.2017.4"},{"issue":"7","key":"1086_CR58","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"W Swartout","year":"1982","unstructured":"Swartout, W., Balzer, R.: On the inevitable intertwining of specification and implementation. Commun. ACM 25(7), 438\u2013440 (1982)","journal-title":"Commun. ACM"},{"key":"1086_CR59","unstructured":"Magee, J., Kramer, J.: State Models and Java Programs. Wiley, (1999)"},{"key":"1086_CR60","doi-asserted-by":"crossref","unstructured":"Bagherzadeh, M., Hili, N., Dingel, J.: Model-level, platform-independent debugging in the context of the model-driven development of real-time systems, In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ser. ESEC\/FSE 2017. New York, NY, USA: ACM, pp. 419\u2013430 (2017)","DOI":"10.1145\/3106237.3106278"},{"key":"1086_CR61","unstructured":"\u201cATM UML-RT model,\u201d https:\/\/github.com\/MajidGitHubRepos\/atm_umlrt, retrieved (2021)"},{"key":"1086_CR62","first-page":"449","volume":"2015","author":"ED Ekelund","year":"2015","unstructured":"Ekelund, E.D., Engstr\u00f6m, E.: Efficient regression testing based on test history: An industrial evaluation. IEEE Int. Conf. Softw. Maint. Evol. (ICSME) 2015, 449\u2013457 (2015)","journal-title":"IEEE Int. Conf. Softw. Maint. Evol. (ICSME)"},{"issue":"4","key":"1086_CR63","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1109\/TSE.2018.2861392","volume":"46","author":"T Yu","year":"2020","unstructured":"Yu, T., Huang, Z., Wang, C.: ConTesa: directed test suite augmentation for concurrent software. IEEE Trans. Software Eng. 46(4), 405\u2013419 (2020)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"1086_CR64","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/2790077","volume":"48","author":"Y Chen","year":"2015","unstructured":"Chen, Y., Zhang, S., Guo, Q., Li, L., Wu, R., Chen, T.: Deterministic replay: a survey. ACM Comput. Surv. 48(2), 171\u20131747 (2015)","journal-title":"ACM Comput. Surv."},{"key":"1086_CR65","doi-asserted-by":"crossref","unstructured":"Hammoudi, M., Rothermel, G., Stocco, A.: WATERFALL: an incremental approach for repairing record-replay tests of web applications, ser. FSE. New York, NY, USA: Association for Computing Machinery, p. 751-762 (2016)","DOI":"10.1145\/2950290.2950294"},{"issue":"13","key":"1086_CR66","first-page":"1091","volume":"52","author":"D Pal","year":"2019","unstructured":"Pal, D., Vain, J.: A systematic approach on modeling refinement and regression testing of real-time distributed systems. IFAC 52(13), 1091\u20131096 (2019)","journal-title":"IFAC"},{"issue":"2","key":"1086_CR67","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."},{"issue":"3","key":"1086_CR68","first-page":"289","volume":"35","author":"S Biswas","year":"2011","unstructured":"Biswas, S., Mall, R., Satpathy, M., Sukumaran, S.: Regression test selection techniques: a survey. Informatica (Slovenia) 35(3), 289\u2013321 (2011)","journal-title":"Informatica (Slovenia)"},{"key":"1086_CR69","doi-asserted-by":"crossref","unstructured":"Engstr\u00f6m, E., Runeson, P., Skoglund, M.: A systematic review on regression test selection techniques, 52(1), 14-30 (2010)","DOI":"10.1016\/j.infsof.2009.07.001"},{"issue":"6","key":"1086_CR70","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/1041685.1029928","volume":"29","author":"A Orso","year":"2004","unstructured":"Orso, A., Shi, N., Harrold, M.J.: Scaling regression testing to large software systems. SIGSOFT Softw. Eng. Notes 29(6), 241\u2013251 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"1086_CR71","doi-asserted-by":"crossref","unstructured":"Zhang, L., Kim, M., Khurshid, S.: Localizing failure-inducing program edits based on spectrum information, In 2011 27th IEEE International Conference on Software Maintenance (ICSM), pp. 23\u201332 (2011)","DOI":"10.1109\/ICSM.2011.6080769"},{"key":"1086_CR72","doi-asserted-by":"crossref","unstructured":"Gligoric, M., Eloussi, L., Marinov, D.: Practical regression test selection with dynamic file dependencies, ser. ISSTA,: New York, NY, USA: Association for Computing. Machinery 2015, 211\u2013222 (2015)","DOI":"10.1145\/2771783.2771784"},{"key":"1086_CR73","doi-asserted-by":"crossref","unstructured":"Legunsen, O., Hariri, F., Shi, A., Lu, Y., Zhang, L., Marinov, D.: An extensive study of static regression test selection in modern software evolution, ser. FSE. New York, NY, USA: Association for Computing Machinery, p. 583-594 (2016)","DOI":"10.1145\/2950290.2950361"},{"key":"1086_CR74","unstructured":"Tools, G.E.: Build in the cloud: How the build system works, http:\/\/google-engtools.blogspot.com\/2011\/08\/build-in-cloud-how-build-system-works.html, 2021, retrieved Jan 30, (2021)"},{"key":"1086_CR75","doi-asserted-by":"crossref","unstructured":"Zhang, L.: Hybrid regression test selection, In 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE), pp. 199\u2013209 (2018)","DOI":"10.1145\/3180155.3180198"},{"key":"1086_CR76","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Jones, J. A., Li, T., Liang, D., Orso, A., Pennings, M., Sinha, S., Spoon, S. A., Gujarathi, A.: Regression test selection for java software, In Proceedings of the 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, ser. OOPSLA \u201901. New York, NY, USA: Association for Computing Machinery, p. 312-326 (2001)","DOI":"10.1145\/504282.504305"},{"key":"1086_CR77","doi-asserted-by":"crossref","unstructured":"Orso, A., Shi, N., Harrold, M. J.: Scaling regression testing to large software systems, ser. SIGSOFT\u201904. New York, NY, USA: Association for Computing Machinery, p. 241-251 (2004)","DOI":"10.1145\/1041685.1029928"},{"key":"1086_CR78","doi-asserted-by":"crossref","unstructured":"Legunsen, O., Shi, A., Marinov, D.: STARTS:STAtic regression test selection, pp. 949\u2013954 (2017)","DOI":"10.1109\/ASE.2017.8115710"},{"key":"1086_CR79","doi-asserted-by":"crossref","unstructured":"Almasri, N., Tahat, L., Korel, B.: Automatically quantifying the impact of a change in systems (journal-first abstract), ser. ASE. New York, NY, USA: Association for Computing Machinery, p. 952 (2018)","DOI":"10.1145\/3238147.3241984"},{"key":"1086_CR80","doi-asserted-by":"crossref","unstructured":"Chen, Y., Probert, R. L., Ural, H.: Model-based regression test suite generation using dependence analysis, ser. A-MOST \u201907. New York, NY, USA: Association for Computing Machinery, p. 54-62 (2007)","DOI":"10.1145\/1291535.1291541"},{"issue":"4","key":"1086_CR81","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1543405.1543413","volume":"34","author":"S Biswas","year":"2009","unstructured":"Biswas, S., Mall, R., Satpathy, M., Sukumaran, S.: A model-based regression test selection approach for embedded applications. SIGSOFT Softw. Eng. Notes 34(4), 1\u20139 (2009)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"1086_CR82","doi-asserted-by":"crossref","unstructured":"Panigrahi, C. R., Mall, R.: Model-based regression test case prioritization, In Information Systems, Technology and Management, S.\u00a0K. Prasad, H.\u00a0M. Vin, S.\u00a0Sahni, M.\u00a0P. Jaiswal, and B.\u00a0Thipakorn, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 380\u2013385 (2010)","DOI":"10.1007\/978-3-642-12035-0_39"},{"key":"1086_CR83","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-319-68015-6_8","volume-title":"SDL 2017: Model-Driven Engineering for Future Internet","author":"D Honfi","year":"2017","unstructured":"Honfi, D., Moln\u00e1r, G., Micskei, Z., Majzik, I.: Model-based regression testing of autonomous robots. In: Cs\u00f6ndes, T., Kov\u00e1cs, G., R\u00e9thy, G. (eds.) SDL 2017: Model-Driven Engineering for Future Internet, pp. 119\u2013135. Springer International Publishing, Cham (2017)"},{"key":"1086_CR84","doi-asserted-by":"crossref","unstructured":"Biswas, S., Mall, R., Satpathy, M.: A regression test selection technique for embedded software, ACM Trans. Embed. Comput. Syst., 13(3), (2013)","DOI":"10.1145\/2539036.2539043"},{"issue":"1","key":"1086_CR85","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10009-015-0408-8","volume":"19","author":"P Zech","year":"2017","unstructured":"Zech, P., Kalb, P., Felderer, M., Atkinson, C., Breu, R.: Model-based regression testing by OCL. Int. J. Softw. Tools Technol. Transf. 19(1), 115\u2013131 (2017)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1086_CR86","doi-asserted-by":"crossref","unstructured":"Zech, P., Felderer, M., Kalb, P., Breu, R.: A generic platform for model-based regression testing, In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, T.\u00a0Margaria and B.\u00a0Steffen, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 112\u2013126 (2012)","DOI":"10.1007\/978-3-642-34026-0_9"},{"key":"1086_CR87","doi-asserted-by":"crossref","unstructured":"Pal, D., Vain, J.: Model based approach for testing: distributed real-time systems augmented with online monitors. In: Lupeikiene, A., Vasilecas, O., Dzemyda, G. (eds.) Databases and Information Systems, pp. 142\u2013157. Springer International Publishing, Cham (2018)","DOI":"10.1007\/978-3-319-97571-9_13"},{"key":"1086_CR88","doi-asserted-by":"crossref","unstructured":"Korel, B., Tahat, L. H., Vaysburg, B.: Model based regression test reduction using dependence analysis, in International Conference on Software Maintenance, 2002. Proceedings., pp. 214\u2013223 (2002)","DOI":"10.1109\/ICSM.2002.1167768"},{"key":"1086_CR89","doi-asserted-by":"crossref","unstructured":"Chen, Y., Probert, R. L., Ural, H.: Regression test suite reduction using extended dependence analysis, ser. SOQUA\u201907. New York, NY, USA: Association for Computing Machinery, p. 62-69 (2007)","DOI":"10.1145\/1295074.1295086"},{"key":"1086_CR90","unstructured":"Wu, Ye, Offutt, J.: Maintaining evolving component-based software with UML, In Seventh European Conference on Software Maintenance and Re-engineering, 2003. Proceedings., pp. 133\u2013142 (2003)"},{"key":"1086_CR91","doi-asserted-by":"crossref","unstructured":"Briand, L., Labiche, Y., Soccar, G.: Automating impact analysis and regression test selection based on UML designs, In International Conference on Software Maintenance, 2002. Proceedings., pp. 252\u2013261 (2002)","DOI":"10.1109\/ICSM.2002.1167775"},{"key":"1086_CR92","doi-asserted-by":"crossref","unstructured":"Farooq, Q.-u.-a., Iqbal, M.Z.Z., Malik, Z. I., Nadeem, A.: An approach for selective state machine based regression testing, ser. A-MOST\u201907. New York, NY, USA: Association for Computing Machinery, p. 44-52 (2007)","DOI":"10.1145\/1291535.1291540"},{"issue":"1","key":"1086_CR93","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/24.855533","volume":"49","author":"Y Traon","year":"2000","unstructured":"Traon, Y., Jeron, T., Jezequel, J., Morel, P.: Efficient object-oriented integration and regression testing. IEEE Trans. Reliab. 49(1), 12\u201325 (2000)","journal-title":"IEEE Trans. Reliab."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01086-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-023-01086-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01086-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,15]],"date-time":"2024-10-15T20:11:48Z","timestamp":1729023108000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-023-01086-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,6]]},"references-count":93,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["1086"],"URL":"https:\/\/doi.org\/10.1007\/s10270-023-01086-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,6]]},"assertion":[{"value":"14 March 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 December 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 December 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 March 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}