{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T09:10:15Z","timestamp":1740733815785,"version":"3.38.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T00:00:00Z","timestamp":1722988800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T00:00:00Z","timestamp":1722988800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1007\/s10270-024-01199-5","type":"journal-article","created":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T06:17:20Z","timestamp":1723011440000},"page":"225-251","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient construction of family-based behavioral models from adaptively learned models"],"prefix":"10.1007","volume":"24","author":[{"given":"Shaghayegh","family":"Tavassoli","sequence":"first","affiliation":[]},{"given":"Ramtin","family":"Khosravi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,7]]},"reference":[{"issue":"2","key":"1199_CR1","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/2967606","volume":"60","author":"FW Vaandrager","year":"2017","unstructured":"Vaandrager, F.W.: Model learning. Commun. ACM 60(2), 86\u201395 (2017)","journal-title":"Commun. ACM"},{"key":"1199_CR2","volume-title":"Software Product Lines in Action\u2014The Best Industrial Practice in Product Line Engineering","author":"F van der Linden","year":"2007","unstructured":"van der Linden, F., Schmid, K., Rommes, E.: Software Product Lines in Action\u2014The Best Industrial Practice in Product Line Engineering. Springer, Berlin (2007)"},{"key":"1199_CR3","doi-asserted-by":"crossref","unstructured":"Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. In: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ser. TACAS\u201902, pp. 357\u2013370. Springer, Berlin (2002)","DOI":"10.1007\/3-540-46002-0_25"},{"key":"1199_CR4","unstructured":"Classen, A., Heymans, P., Schobbens, P., Legay, A., Raskin, J.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering\u2014Volume 1 (ICSE 2010), pp. 335\u2013344. ACM (2010)"},{"issue":"8","key":"1199_CR5","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A Classen","year":"2013","unstructured":"Classen, A., Cordy, M., Schobbens, P., Heymans, P., Legay, A., Raskin, J.: Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Trans. Softw. Eng. 39(8), 1069\u20131089 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1199_CR6","doi-asserted-by":"crossref","unstructured":"Fragal, V.H., Sim\u00e3o, A., Mousavi, M.R.: Validated test models for software product lines: featured finite state machines. In: Formal Aspects of Component Software\u201413th International Conference, FACS 2016, Revised Selected Papers, ser. Lecture Notes in Computer Science, vol. 10231, pp. 210\u2013227 (2016)","DOI":"10.1007\/978-3-319-57666-4_13"},{"issue":"1","key":"1199_CR7","first-page":"109","volume":"62","author":"VH Fragal","year":"2019","unstructured":"Fragal, V.H., Sim\u00e3o, A., Mousavi, M.R., T\u00fcrker, U.C.: Extending HSI test generation method for software product lines. Comput. J. 62(1), 109\u2013129 (2019)","journal-title":"Comput. J."},{"key":"1199_CR8","doi-asserted-by":"crossref","unstructured":"Damasceno, C.D.N., Mousavi, M.R., da\u00a0Silva\u00a0Sim\u00e3o, A.: Learning by sampling: learning behavioral family models from software product lines. Empir. Softw. Eng. 26(1), 4 (2021)","DOI":"10.1007\/s10664-020-09912-w"},{"key":"1199_CR9","doi-asserted-by":"crossref","unstructured":"Damasceno, C.D.N., Mousavi, M.R., da\u00a0Silva\u00a0Sim\u00e3o, 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, SPLC 2019, Volume A, pp. 10:1\u201310:12. ACM (2019)","DOI":"10.1145\/3336294.3336307"},{"key":"1199_CR10","doi-asserted-by":"crossref","unstructured":"Tavassoli, S., Damasceno, C.D.N., Khosravi, R., Mousavi, M.R.: Adaptive behavioral model learning for software product lines. In: SPLC\u201922: 26th ACM International Systems and Software Product Line Conference, Volume A, pp. 142\u2013153. ACM (2022)","DOI":"10.1145\/3546932.3546991"},{"key":"1199_CR11","doi-asserted-by":"crossref","unstructured":"Rubin, J., Chechik, M.: N-way model merging. In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC\/FSE\u201913, pp. 301\u2013311. ACM (2013)","DOI":"10.1145\/2491411.2491446"},{"issue":"2","key":"1199_CR12","doi-asserted-by":"publisher","first-page":"13: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), 13:1-13:37 (2013)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1199_CR13","doi-asserted-by":"crossref","unstructured":"Peng, R., Vempala, S.: Solving Sparse Linear Systems Faster than Matrix Multiplication, pp. 504\u2013521","DOI":"10.1137\/1.9781611976465.31"},{"key":"1199_CR14","unstructured":"Classen, A.: Modelling with fts: a collection of illustrative examples, technical report, University of Namur (2010)"},{"key":"1199_CR15","unstructured":"Classen, A., et\u00a0al.: Modelling and model checking variability-intensive systems, PhD dissertation (2011)"},{"key":"1199_CR16","unstructured":"Lity, S., Lachmann, R., Lochau, M., Schaefer, I.: Delta-oriented software product line test models-the body comfort system case study, TU Braunschweig, Tech. Rep. 2012-07 (2012)"},{"key":"1199_CR17","unstructured":"Clements, P., Northrop, L.M.: Software Product Lines\u2014Practices and Patterns, SEI Series in Software Engineering. Addison-Wesley (2002)"},{"key":"1199_CR18","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Carnegie-Mellon University Software Engineering Institute, Tech. Rep. (1990)","DOI":"10.21236\/ADA235785"},{"key":"1199_CR19","doi-asserted-by":"crossref","unstructured":"Schobbens, P., Heymans, P., Trigaux, J.: Feature diagrams: a survey and a formal semantics. In: 14th IEEE International Conference on Requirements Engineering. IEEE Computer Society, pp. 136\u2013145 (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"1199_CR20","unstructured":"Gill, A.: Introduction to the Theory of Finite-State Machines (1962)"},{"key":"1199_CR21","doi-asserted-by":"crossref","unstructured":"Damasceno, C.D.N., Mousavi, M.R., da\u00a0Silva\u00a0Sim\u00e3o, A.: Learning to reuse: adaptive model learning for evolving systems. In: Integrated Formal Methods\u201415th International Conference, IFM 2019, Proceedings, ser. Lecture Notes in Computer Science, vol. 11918, pp. 138\u2013156. Springer (2019)","DOI":"10.1007\/978-3-030-34968-4_8"},{"issue":"2","key":"1199_CR22","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"1199_CR23","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/B978-0-12-408094-2.00003-5","volume":"89","author":"M Irfan","year":"2013","unstructured":"Irfan, M., Oriat, C., Groz, R.: Model inference and testing. Adv. Comput. 89, 89\u2013139 (2013)","journal-title":"Adv. Comput."},{"key":"1199_CR24","doi-asserted-by":"crossref","unstructured":"Shahbaz, M., Groz, R.: Inferring mealy machines. In: FM 2009: Formal Methods, Second World Congress, Proceedings, ser. Lecture Notes in Computer Science, vol. 5850, pp. 207\u2013222. Springer (2009)","DOI":"10.1007\/978-3-642-05089-3_14"},{"key":"1199_CR25","doi-asserted-by":"crossref","unstructured":"Groz, R., da Silva Sim\u00e3o, A., Petrenko, A., Oriat, C.: Inferring finite state machines without reset using state identification sequences. In: Testing Software and Systems\u201427th IFIP WG 6.1 International Conference, ICTSS 2015, Proceedings, ser. Lecture Notes in Computer Science, vol. 9447, pp. 161\u2013177. Springer (2015)","DOI":"10.1007\/978-3-319-25945-1_10"},{"key":"1199_CR26","doi-asserted-by":"crossref","unstructured":"Groz, R., da\u00a0Silva\u00a0Sim\u00e3o, A., Petrenko, A., Oriat, C.: Inferring FSM models of systems without reset. In: Machine Learning for Dynamic Software Analysis: Potentials and Limits\u2014International Dagstuhl Seminar 16172, Revised Papers, ser. Lecture Notes in Computer Science, vol. 11026, pp. 178\u2013201. Springer (2018)","DOI":"10.1007\/978-3-319-96562-8_7"},{"issue":"1","key":"1199_CR27","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 6:1-6:45 (2014)","journal-title":"ACM Comput. Surv."},{"key":"1199_CR28","doi-asserted-by":"crossref","unstructured":"Varshosaz, M., Al-Hajjaji, M., Th\u00fcm, T., Runge, T., Mousavi, M.R., Schaefer, I.: A classification of product sampling for software product lines. In: Proceedings of the 22nd International Systems and Software Product Line Conference\u2014Volume 1 (SPLC 2018), pp. 1\u201313. ACM (2018)","DOI":"10.1145\/3233027.3233035"},{"issue":"3","key":"1199_CR29","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1287\/moor.4.3.233","volume":"4","author":"V Chv\u00e1tal","year":"1979","unstructured":"Chv\u00e1tal, V.: A greedy heuristic for the set-covering problem. Math. Oper. Res. 4(3), 233\u2013235 (1979)","journal-title":"Math. Oper. Res."},{"key":"1199_CR30","doi-asserted-by":"crossref","unstructured":"Johansen, M.F., Haugen, \u00d8., Fleurey, F.: Properties of realistic feature models make combinatorial testing of product lines feasible. In: Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011: Proceedings, ser. Lecture Notes in Computer Science, vol. 6981, pp. 638\u2013652. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_47"},{"key":"1199_CR31","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Sen, S., Klein, J., Baudry, B., Traon, Y.L.: Automated and scalable t-wise test case generation strategies for software product lines. In: Third International Conference on Software Testing, Verification and Validation (ICST 2010), pp. 459\u2013468. IEEE Computer Society (2010)","DOI":"10.1109\/ICST.2010.43"},{"key":"1199_CR32","unstructured":"Hennicker, R., Janisch, S., Knapp, A.: On the Compositional Analysis of Hierarchical Components with Explicit Ports"},{"key":"1199_CR33","unstructured":"Hsieh, S.C.: Product construction of finite-state machines. In: Proceedings of the World Congress on Engineering and Computer Science, pp. 141\u2013143 (2010)"},{"key":"1199_CR34","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.scico.2012.06.002","volume":"79","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: Featureide: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70\u201385 (2014)","journal-title":"Sci. Comput. Program."},{"key":"1199_CR35","doi-asserted-by":"crossref","unstructured":"Raffelt, H., Steffen, B., Berg, T.: Learnlib: a library for automata learning and experimentation. In: Proceedings of the 10th international workshop on Formal methods for industrial critical systems (FMICS\u201905), pp. 62\u201371. ACM (2005)","DOI":"10.1145\/1081180.1081189"},{"issue":"6","key":"1199_CR36","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S Fujiwara","year":"1991","unstructured":"Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Trans. Softw. Eng. 17(6), 591\u2013603 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1199_CR37","unstructured":"Jones, E., Oliphant, T., Peterson, P., et\u00a0al.: SciPy: Open source scientific tools for Python (2001). (online). http:\/\/www.scipy.org\/"},{"issue":"3","key":"1199_CR38","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MCSE.2007.55","volume":"9","author":"JD Hunter","year":"2007","unstructured":"Hunter, J.D.: Matplotlib: a 2d graphics environment. Comput. Sci. Eng. 9(3), 90\u201395 (2007)","journal-title":"Comput. Sci. Eng."},{"key":"1199_CR39","unstructured":"Chaki, S., Clarke, E., Sharygina, N., Sinha, N.: Verification of evolving software via component substitutability analysis. Carnegie-Mellon University Software Engineering Institute, Tech. Rep. (2005)"},{"issue":"3","key":"1199_CR40","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s10703-008-0053-x","volume":"32","author":"S Chaki","year":"2008","unstructured":"Chaki, S., Clarke, E., Sharygina, N., Sinha, N.: Verification of evolving software via component substitutability analysis. Formal Methods Syst. Des. 32(3), 235\u2013266 (2008)","journal-title":"Formal Methods Syst. Des."},{"key":"1199_CR41","doi-asserted-by":"crossref","unstructured":"Windm\u00fcller, S., Neubauer, J., Steffen, B., Howar, F., Bauer, O.: Active continuous quality control. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, ser. CBSE\u201913, pp. 111\u2013120. ACM (2013)","DOI":"10.1145\/2465449.2465469"},{"key":"1199_CR42","doi-asserted-by":"crossref","unstructured":"Huistra, D., Meijer, J., Pol, J.: Adaptive learning for learn-based regression testing. In: Formal Methods for Industrial Critical Systems, ser. Lecture Notes in Computer Science, pp. 162\u2013177. Springer, Switzerland (2018)","DOI":"10.1007\/978-3-030-00244-2_11"},{"issue":"2","key":"1199_CR43","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1006\/inco.1993.1021","volume":"103","author":"RL Rivest","year":"1993","unstructured":"Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. Inf. Comput. 103(2), 299\u2013347 (1993)","journal-title":"Inf. Comput."},{"key":"1199_CR44","doi-asserted-by":"crossref","unstructured":"Fortz, S.: LIFTS: learning featured transition systems. In: SPLC\u201921: 25th ACM International Systems and Software Product Line Conference, 2021: Volume B, pp. 1\u20136. ACM (2021)","DOI":"10.1145\/3461002.3473066"},{"key":"1199_CR45","doi-asserted-by":"crossref","unstructured":"Fortz, S.: Variability-aware behavioural learning. In: Proceedings of the 27th ACM International Systems and Software Product Line Conference\u2014Volume B (SPLC 2023), pp. 11\u201315. ACM (2023)","DOI":"10.1145\/3579028.3609007"},{"key":"1199_CR46","doi-asserted-by":"crossref","unstructured":"Fortz, S., Temple, P., Devroey, X., Heymans, P., Perrouin, G.: Varyminions: leveraging rnns to identify variants in event logs. In: MaLTeSQuE@ESEC, SIGSOFT FSE 2021: Proceedings of the 5th International Workshop on Machine Learning Techniques for Software Quality Evolution, pp. 13\u201318. ACM (2021)","DOI":"10.1145\/3472674.3473980"},{"key":"1199_CR47","doi-asserted-by":"crossref","unstructured":"Sokolsky, O., Kannan, S., Lee, I.: Simulation-based graph similarity. In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings, ser. Lecture Notes in Computer Science, vol. 3920, pp. 426\u2013440. Springer (2006)","DOI":"10.1007\/11691372_28"},{"key":"1199_CR48","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: 29th International Conference on Software Engineering (ICSE 2007), pp. 54\u201364. IEEE Computer Society (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"1199_CR49","doi-asserted-by":"crossref","unstructured":"Rubin, J., Chechik, M.: Combining related products into product lines. In: Fundamental Approaches to Software Engineering\u201415th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings, ser. Lecture Notes in Computer Science, vol. 7212, pp. 285\u2013300. Springer (2012)","DOI":"10.1007\/978-3-642-28872-2_20"},{"key":"1199_CR50","doi-asserted-by":"crossref","unstructured":"Tavassoli, S., Damasceno, C.D.N., Mousavi, M.R., Khosravi, R.: A benchmark for active learning of variability-intensive systems. In: SPLC\u201922: 26th ACM International Systems and Software Product Line Conference, Volume A, pp. 245\u2013249. ACM (2022)","DOI":"10.1145\/3546932.3547014"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01199-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01199-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01199-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T08:17:34Z","timestamp":1740730654000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01199-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,7]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["1199"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01199-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2024,8,7]]},"assertion":[{"value":"10 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 June 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 July 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 August 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}