{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T14:07:07Z","timestamp":1763215627733,"version":"3.45.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T00:00:00Z","timestamp":1732752000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T00:00:00Z","timestamp":1732752000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Netherlands Ministry of Economic Affairs and Climate Policy"},{"name":"TKI-HTSM"},{"DOI":"10.13039\/501100006339","name":"ASML","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006339","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":[[2025,12]]},"DOI":"10.1007\/s10270-024-01239-0","type":"journal-article","created":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T02:27:41Z","timestamp":1732760861000},"page":"1671-1698","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["gLTSdiff: a generalized framework for structural comparison of software behavior"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9886-7918","authenticated-orcid":false,"given":"Dennis","family":"Hendriks","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5244-2519","authenticated-orcid":false,"given":"Wytse","family":"Oortwijn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,28]]},"reference":[{"key":"1239_CR1","doi-asserted-by":"publisher","unstructured":"Hendriks, D., Oortwijn, W.: gLTSdiff: a generalized framework for structural comparison of software behavior. In: Proceedings of the 26th International Conference on Model Driven Engineering Languages and Systems (MODELS) (IEEE, 2023), pp. 285\u2013295. https:\/\/doi.org\/10.1109\/MODELS58315.2023.00025","DOI":"10.1109\/MODELS58315.2023.00025"},{"key":"1239_CR2","doi-asserted-by":"publisher","unstructured":"Quante, J., Koschke, R.: Dynamic protocol recovery. In: 14th Working Conference on Reverse Engineering (WCRE) (IEEE, 2007), pp. 219\u2013228. https:\/\/doi.org\/10.1109\/WCRE.2007.24","DOI":"10.1109\/WCRE.2007.24"},{"issue":"2","key":"1239_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2430545.2430549","volume":"22","author":"N Walkinshaw","year":"2013","unstructured":"Walkinshaw, N., Bogdanov, K.: Automated comparison of state-based software models in terms of their language and structure. ACM Trans. Softw. Eng. Methodol. 22(2), 1\u201337 (2013). https:\/\/doi.org\/10.1145\/2430545.2430549","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1239_CR4","doi-asserted-by":"publisher","unstructured":"Yang, N., Cuijpers, P., Schiffelers, R., Lukkien, J., Serebrenik, A.: An interview study of how developers use execution logs in embedded software engineering. In: 2021 IEEE\/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) (IEEE, 2021), pp. 61\u201370. https:\/\/doi.org\/10.1109\/ICSE-SEIP52600.2021.00015","DOI":"10.1109\/ICSE-SEIP52600.2021.00015"},{"key":"1239_CR5","doi-asserted-by":"publisher","unstructured":"Hendriks, D., van\u00a0der Meer, A., Oortwijn, W.: A multi-level methodology for behavioral comparison of software-intensive systems. In: Proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS) (Springer International Publishing, 2022), pp. 226\u2013243. https:\/\/doi.org\/10.1007\/978-3-031-15008-1_15","DOI":"10.1007\/978-3-031-15008-1_15"},{"issue":"1","key":"1239_CR6","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/3486860","volume":"55","author":"S Alrabaee","year":"2022","unstructured":"Alrabaee, S., Debbabi, M., Wang, L.: A survey of binary code fingerprinting approaches: taxonomy, methodologies, and features. ACM Comput. Surv. 55(1), 56 (2022). https:\/\/doi.org\/10.1145\/3486860","journal-title":"ACM Comput. Surv."},{"key":"1239_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-031-15629-8_8","volume-title":"Family-Based Fingerprint Analysis: A Position Paper","author":"CDN Damasceno","year":"2022","unstructured":"Damasceno, C.D.N., Str\u00fcber, D.: Family-Based Fingerprint Analysis: A Position Paper, pp. 137\u2013150. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-15629-8_8"},{"key":"1239_CR8","doi-asserted-by":"publisher","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: 29th International Conference on Software Engineering (ICSE) (IEEE, 2007), pp. 54\u201364. https:\/\/doi.org\/10.1109\/ICSE.2007.50","DOI":"10.1109\/ICSE.2007.50"},{"key":"1239_CR9","doi-asserted-by":"publisher","unstructured":"Bogdanov, K., Walkinshaw, N.: Computing the structural difference between state-based models. In: Working Conference on Reverse Engineering (IEEE, 2009), pp. 177\u2013186. https:\/\/doi.org\/10.1109\/WCRE.2009.17","DOI":"10.1109\/WCRE.2009.17"},{"key":"1239_CR10","doi-asserted-by":"publisher","unstructured":"Damasceno, C.D.N., Mousavi, M.R., Simao, A.: Learning from difference: an automated approach for learning family models from software product lines. In: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A (Association for Computing Machinery, 2019), pp. 52\u201363. https:\/\/doi.org\/10.1145\/3336294.3336307","DOI":"10.1145\/3336294.3336307"},{"issue":"1","key":"1239_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10664-020-09912-w","volume":"26","author":"CDN Damasceno","year":"2021","unstructured":"Damasceno, C.D.N., Mousavi, M.R., da Silva, S.A.: Learning by sampling: learning behavioral family models from software product lines. Empir. Softw. Eng. 26(1), 1\u201346 (2021). https:\/\/doi.org\/10.1007\/s10664-020-09912-w","journal-title":"Empir. Softw. Eng."},{"key":"1239_CR12","doi-asserted-by":"publisher","unstructured":"Hendriks, D., Oortwijn, W.: Artifact for the sosym paper \u2018gLTSdiff: a generalized framework for structural comparison of software behavior\u2019 (2024). https:\/\/doi.org\/10.5281\/zenodo.11072329","DOI":"10.5281\/zenodo.11072329"},{"issue":"2","key":"1239_CR13","first-page":"29","volume":"9","author":"C Brun","year":"2008","unstructured":"Brun, C., Pierantonio, A.: Model differences in the Eclipse Modelling Framework. UPGRADE Eur. J. Inf. Profess. 9(2), 29\u201334 (2008)","journal-title":"UPGRADE Eur. J. Inf. Profess."},{"key":"1239_CR14","doi-asserted-by":"publisher","unstructured":"Kehrer, T., Kelter, U., Pietsch, P., Schmidt, M.: Adaptability of model comparison tools. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering (ASE) (Association for Computing Machinery, 2012), pp. 306\u2013309. https:\/\/doi.org\/10.1145\/2351676.2351731","DOI":"10.1145\/2351676.2351731"},{"key":"1239_CR15","doi-asserted-by":"publisher","unstructured":"van Glabbeek, R.: The linear time\u2014branching time spectrum II. In: International Conference on Concurrency Theory (Springer, 1993), pp. 66\u201381. https:\/\/doi.org\/10.1007\/3-540-57208-2_6","DOI":"10.1007\/3-540-57208-2_6"},{"issue":"4","key":"1239_CR16","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/j.ipm.2009.03.002","volume":"45","author":"M Sokolova","year":"2009","unstructured":"Sokolova, M., Lapalme, G.: A systematic analysis of performance measures for classification tasks. Inf. Process. Manag. 45(4), 427\u2013437 (2009). https:\/\/doi.org\/10.1016\/j.ipm.2009.03.002","journal-title":"Inf. Process. Manag."},{"issue":"4","key":"1239_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1002\/inst.12419","volume":"25","author":"W Oortwijn","year":"2022","unstructured":"Oortwijn, W., Hendriks, D., van der Meer, A., Huijbrechts, B.: Getting a grip on the ever-changing software in cyber-physical systems. Insight 25(4), 89\u201395 (2022). https:\/\/doi.org\/10.1002\/inst.12419","journal-title":"Insight"},{"issue":"10\u201311","key":"1239_CR18","doi-asserted-by":"publisher","first-page":"1556","DOI":"10.1016\/j.dam.2012.12.013","volume":"161","author":"A Nakamura","year":"2013","unstructured":"Nakamura, A., Saito, T., Takigawa, I., Kudo, M.: Fast algorithms for finding a minimum repetition representation of strings and trees. Discret. Appl. Math. 161(10\u201311), 1556\u20131575 (2013). https:\/\/doi.org\/10.1016\/j.dam.2012.12.013","journal-title":"Discret. Appl. Math."},{"issue":"2","key":"1239_CR19","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R de Nicola","year":"1995","unstructured":"de Nicola, R., Vaandrager, F.: Three logics for branching bisimulation. J. ACM (JACM) 42(2), 458\u2013487 (1995). https:\/\/doi.org\/10.1145\/201019.201032","journal-title":"J. ACM (JACM)"},{"key":"1239_CR20","doi-asserted-by":"publisher","unstructured":"Hsieh, S.M., Hsu, C.C., Hsu, L.F.: Efficient method to perform isomorphism testing of labeled graphs. In: Computational Science and its Applications (ICCSA) (Springer Berlin Heidelberg, 2006), pp. 422\u2013431. https:\/\/doi.org\/10.1007\/11751649_46","DOI":"10.1007\/11751649_46"},{"key":"1239_CR21","doi-asserted-by":"publisher","unstructured":"Champin, P.A., Solnon, C.: Measuring the Similarity of Labeled Graphs, in Case-Based Reasoning Research and Development (ICCBR) (Springer Berlin Heidelberg, 2003), pp. 80\u201395. https:\/\/doi.org\/10.1007\/3-540-45006-8_9","DOI":"10.1007\/3-540-45006-8_9"},{"key":"1239_CR22","doi-asserted-by":"publisher","unstructured":"Hooimeijer, B., Geilen, M., Groote, J.F., Hendriks, D., Schiffelers, R.: Constructive model inference: model learning for component-based software architectures. In: Proceedings of the 17th International Conference on Software Technologies (ICSOFT) (SciTePress, 2022), pp. 146\u2013158. https:\/\/doi.org\/10.5220\/0011145700003266","DOI":"10.5220\/0011145700003266"},{"issue":"2","key":"1239_CR23","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2009","unstructured":"Runeson, P., H\u00f6st, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14(2), 131\u2013164 (2009). https:\/\/doi.org\/10.1007\/s10664-008-9102-8","journal-title":"Empir. Softw. Eng."},{"issue":"5","key":"1239_CR24","doi-asserted-by":"publisher","first-page":"4097","DOI":"10.1007\/s10664-020-09858-z","volume":"25","author":"MA Storey","year":"2020","unstructured":"Storey, M.A., Ernst, N., Williams, C., Kalliamvakou, E.: The who, what, how of software engineering research: a socio-technical framework. Empir. Softw. Eng. 25(5), 4097\u20134129 (2020). https:\/\/doi.org\/10.1007\/s10664-020-09858-z","journal-title":"Empir. Softw. Eng."},{"key":"1239_CR25","unstructured":"Janssen, E.: Fingerprinting TLS implementations using model learning. Master\u2019s thesis, Radboud University (2021)"},{"issue":"4","key":"1239_CR26","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1057\/palgrave.ejis.3000685","volume":"16","author":"Y Lin","year":"2007","unstructured":"Lin, Y., Gray, J., Jouault, F.: DSMDiff: a differentiation tool for domain-specific models. Eur. J. Inf. Syst. 16(4), 349\u2013361 (2007). https:\/\/doi.org\/10.1057\/palgrave.ejis.3000685","journal-title":"Eur. J. Inf. Syst."},{"key":"1239_CR27","doi-asserted-by":"publisher","unstructured":"Treude, C., Berlik, S., Wenzel, S., Kelter, U.: Difference computation of large models. In: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (Association for Computing Machinery, 2007), pp. 295\u2013304. https:\/\/doi.org\/10.1145\/1287624.1287665","DOI":"10.1145\/1287624.1287665"},{"issue":"2","key":"1239_CR28","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/j.jss.2012.09.037","volume":"86","author":"P Langer","year":"2013","unstructured":"Langer, P., Wimmer, M., Brosch, P., Herrmannsd\u00f6rfer, M., Seidl, M., Wieland, K., Kappel, G.: A posteriori operation detection in evolving software models. J. Syst. Softw. 86(2), 551\u2013566 (2013). https:\/\/doi.org\/10.1016\/j.jss.2012.09.037","journal-title":"J. Syst. Softw."},{"key":"1239_CR29","doi-asserted-by":"publisher","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: A rule-based approach to the semantic lifting of model differences in the context of model versioning. In: 2011 26th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings, pp. 163\u2013172 (2011). https:\/\/doi.org\/10.1109\/ASE.2011.6100050","DOI":"10.1109\/ASE.2011.6100050"},{"key":"1239_CR30","doi-asserted-by":"publisher","unstructured":"Wille, D., Schulze, S., Schaefer, I.: Variability mining of state charts. In: Proceedings of the 7th International Workshop on Feature-Oriented Software Development (Association for Computing Machinery, 2016), pp. 63\u201373. https:\/\/doi.org\/10.1145\/3001867.3001875","DOI":"10.1145\/3001867.3001875"},{"key":"1239_CR31","doi-asserted-by":"publisher","unstructured":"Wille, D.: Managing lots of models: the FaMine approach. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (Association for Computing Machinery, 2014), pp. 817\u2013819. https:\/\/doi.org\/10.1145\/2635868.2661681","DOI":"10.1145\/2635868.2661681"},{"key":"1239_CR32","doi-asserted-by":"publisher","unstructured":"Wille, D., Holthusen, S., Schulze, S., Schaefer, I.: Interface variability in family model mining. In: Proceedings of the 17th International Software Product Line Conference Co-Located Workshops (Association for Computing Machinery, 2013), pp. 44\u201351. https:\/\/doi.org\/10.1145\/2499777.2500708","DOI":"10.1145\/2499777.2500708"},{"key":"1239_CR33","doi-asserted-by":"publisher","unstructured":"Rubin, J., Chechik, M.: N-way model merging. In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (2013), pp. 301\u2013311. https:\/\/doi.org\/10.1145\/2491411.2491446","DOI":"10.1145\/2491411.2491446"},{"key":"1239_CR34","doi-asserted-by":"publisher","unstructured":"Schulthei\u00df, A., Bittner, P., Grunske, L., Th\u00fcm, T., Kehrer, T. Scalable N-way model matching using multi-dimensional search trees. In: 2021 ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2021), pp. 1\u201312. https:\/\/doi.org\/10.1109\/MODELS50736.2021.00010","DOI":"10.1109\/MODELS50736.2021.00010"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01239-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01239-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01239-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T14:03:18Z","timestamp":1763215398000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01239-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,28]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["1239"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01239-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2024,11,28]]},"assertion":[{"value":"29 April 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 October 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 November 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}