{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T10:29:01Z","timestamp":1659436141552},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,1,2]],"date-time":"2020-01-02T00:00:00Z","timestamp":1577923200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,2]],"date-time":"2020-01-02T00:00:00Z","timestamp":1577923200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100010115","name":"R\u00e9gion Auvergne-Rh\u00f4ne-Alpes","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100010115","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s11219-019-09485-y","type":"journal-article","created":{"date-parts":[[2020,1,2]],"date-time":"2020-01-02T12:53:31Z","timestamp":1577969611000},"page":"789-819","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model generation of component-based systems"],"prefix":"10.1007","volume":"28","author":[{"given":"S\u00e9bastien","family":"Salva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elliott","family":"Blot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,1,2]]},"reference":[{"key":"9485_CR1","doi-asserted-by":"publisher","unstructured":"Aichernig, B.K., & Tappler, M. (2017). Learning from faults: mutation testing in active automata learning - mutation testing in active automata learning. In NASA formal methods - 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (pp. 19\u201334). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_2.","DOI":"10.1007\/978-3-319-57288-8_2"},{"issue":"1","key":"9485_CR2","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/1047659.1040314","volume":"40","author":"R Alur","year":"2005","unstructured":"Alur, R., \u010cern\u00fd, P, Madhusudan, P., Nam, W. (2005). Synthesis of interface specifications for java classes. SIGPLAN Not, 40(1), 98\u2013109. https:\/\/doi.org\/10.1145\/1047659.1040314.","journal-title":"SIGPLAN Not"},{"issue":"1","key":"9485_CR3","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/565816.503275","volume":"37","author":"G Ammons","year":"2002","unstructured":"Ammons, G., Bod\u00edk, R, Larus, J.R. (2002). Mining specifications. SIGPLAN Not, 37(1), 4\u201316. https:\/\/doi.org\/10.1145\/565816.503275.","journal-title":"SIGPLAN Not"},{"issue":"2","key":"9485_CR4","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. (1987). Learning regular sets from queries and counterexamples. Information and Computation, 75(2), 87\u2013106.","journal-title":"Information and Computation"},{"key":"9485_CR5","doi-asserted-by":"publisher","unstructured":"Antunes, J., Neves, N., Verissimo, P. (2011). Reverse engineering of protocols from network traces. In 2011 18th Working conference on reverse engineering (WCRE) (pp. 169\u2013178). https:\/\/doi.org\/10.1109\/WCRE.2011.28.","DOI":"10.1109\/WCRE.2011.28"},{"key":"9485_CR6","doi-asserted-by":"publisher","unstructured":"Berg, T, Jonsson, B., Raffelt, H. (2006). Regular inference for state machines with parameters. In Baresi, L., & Heckel, R. (Eds.) Fundamental approaches to software engineering, lecture notes in computer science, (Vol. 3922 pp. 107\u2013121 ). Berlin: Springer, DOI https:\/\/doi.org\/10.1007\/11693017_10.","DOI":"10.1007\/11693017_10"},{"key":"9485_CR7","unstructured":"Beschastnikh, I, Brun, Y, Shneider, S, Sloan, M, Ernst, M.D. (2011). Leveraging existing instrumentation to automatically infer invariant-constrained models. In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on foundations of software engineering ESEC\/FSE \u201911 (pp. 267\u2013277). New York: ACM."},{"key":"9485_CR8","doi-asserted-by":"publisher","unstructured":"Beschastnikh, I., Brun, Y., Ernst, M.D., Krishnamurthy, A. (2014). Inferring models of concurrent systems from logs of their behavior with csight. In Proceedings of the 36th international conference on software engineering ICSE 2014 (pp. 468\u2013479). New York: ACM. https:\/\/doi.org\/10.1145\/2568225.2568246.","DOI":"10.1145\/2568225.2568246"},{"issue":"6","key":"9485_CR9","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TC.1972.5009015","volume":"C-21","author":"A Biermann","year":"1972","unstructured":"Biermann, A., & Feldman, J. (1972). On the synthesis of finite-state machines from samples of their behavior. IEEE Transactions on Computers, C-21(6), 592\u2013597. https:\/\/doi.org\/10.1109\/TC.1972.5009015.","journal-title":"IEEE Transactions on Computers"},{"key":"9485_CR10","unstructured":"Cohen, W.W., Ravikumar, P., Fienberg, S.E. (2003). A comparison of string distance metrics for name-matching tasks. In Proceedings of the 2003 international conference on information integration on the web IIWEB\u201903 (pp. 73\u201378): AAAI Press."},{"issue":"2","key":"9485_CR11","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/TSE.2011.105","volume":"38","author":"V Dallmeier","year":"2012","unstructured":"Dallmeier, V., Knopp, N., Mallon, C., Fraser, G., Hack, S., Zeller, A. (2012). Automatically generating test cases for specification mining. IEEE Transactions on Software Engineering, 38(2), 243\u2013257. https:\/\/doi.org\/10.1109\/TSE.2011.105.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9485_CR12","unstructured":"Dupont, P. (1996). Incremental regular inference. In Proceedings of the third ICGI-96 (pp. 222\u2013237): Springer."},{"key":"9485_CR13","unstructured":"Durand, W., & Salva, S. (2015). Passive testing of production systems based on model inference. In ACM\/IEEE international conference on formal methods and models for codesign, MEMOCODE 2015, Austin, TX, USA (pp. 138\u2013147). Austin: ACM."},{"key":"9485_CR14","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D. (1999). Dynamically discovering likely program invariants to support program evolution. In Proceedings of the 21st international conference on software engineering ICSE \u201999 (pp. 213\u2013224). New York: ACM."},{"key":"9485_CR15","doi-asserted-by":"publisher","unstructured":"Falcone, Y, Jaber, M, Nguyen T.H., Bozga, M, Bensalem, S. (2011). Runtime verification of component-based systems. In Barthe, G, Pardo, A, Schneider, G (Eds.) SEFM 2011 - proceedings of the 9th international conference on software engineering and formal methods. Lecture notes in computer science (LNCS), (Vol. 7041 pp. 204\u2013220). Montevideo: Springer, https:\/\/doi.org\/10.1007\/978-3-642-24690-6_15, https:\/\/hal.archives-ouvertes.fr\/hal-00642969.","DOI":"10.1007\/978-3-642-24690-6_15"},{"key":"9485_CR16","doi-asserted-by":"crossref","unstructured":"Fu, Q, Lou, JG, Wang, Y, Li, J. (2009). Execution anomaly detection in distributed systems through unstructured log analysis. In 2009 Ninth IEEE international conference on data mining (pp. 149\u2013158).","DOI":"10.1109\/ICDM.2009.60"},{"key":"9485_CR17","unstructured":"Groz, R., Li, K., Petrenko, A., Shahbaz, M. (2008). Testing of software and communicating systems. In Suzuki, K, Higashino, T, Ulrich, A, Hasegawa, T (Eds.) (pp. 216\u2013233). Berlin: Springer."},{"key":"9485_CR18","doi-asserted-by":"publisher","unstructured":"Hangal, S, & Lam, M.S. (2002). Tracking down software bugs using automatic anomaly detection. In Proceedings of the 24th international conference on software engineering ICSE \u201902 (pp. 291\u2013301). New York: ACM, DOI https:\/\/doi.org\/10.1145\/581339.581377, (to appear in print).","DOI":"10.1145\/581339.581377"},{"key":"9485_CR19","doi-asserted-by":"publisher","unstructured":"Hossen, K., Groz, R., Oriat, C., Richier, J. (2014). Automatic model inference of web applications for security testing. In Seventh IEEE International conference on software testing, verification and validation, ICST 2014 workshops proceedings, march 31 - April 4, 2014 (pp. 22\u201323). Cleveland, DOI https:\/\/doi.org\/10.1109\/ICSTW.2014.47","DOI":"10.1109\/ICSTW.2014.47"},{"key":"9485_CR20","doi-asserted-by":"publisher","unstructured":"Howar, F, Steffen, B, Jonsson, B, Cassel, S. (2012). Inferring canonical register automata. In Kuncak, V, & Rybalchenko, A (Eds.) Verification, model checking, and abstract interpretation, lecture notes in computer science (to appear in print).asis>, (Vol. 7148 pp. 251\u2013266). Berlin: Springer, DOI https:\/\/doi.org\/10.1007\/978-3-642-27940-9_17.","DOI":"10.1007\/978-3-642-27940-9_17"},{"key":"9485_CR21","unstructured":"Krka, I, Brun, Y, Popescu, D, Garcia, J, Medvidovic, N. (2010). Using dynamic execution traces and program invariants to enhance behavioral model inference. In Proceedings of the 32Nd ACM\/IEEE international conference on software engineering ICSE \u201910, (Vol. 2 pp. 179\u2013182). New York: ACM."},{"issue":"9","key":"9485_CR22","doi-asserted-by":"publisher","first-page":"2063","DOI":"10.1016\/j.jss.2012.04.001","volume":"85","author":"D Lo","year":"2012","unstructured":"Lo, D, Mariani, L, Santoro, M. (2012). Learning extended fsa from software: an empirical assessment. Journal of Systems and Software, 85(9), 2063\u20132076. https:\/\/doi.org\/10.1016\/j.jss.2012.04.001. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121212001008, selected papers from the 2011 Joint Working IEEE\/IFIP Conference on Software Architecture (WICSA 2011).","journal-title":"Journal of Systems and Software"},{"key":"9485_CR23","unstructured":"Lorenzoli, D, Mariani, L, Pezz\u00e8, M. (2008). Automatic generation of software behavioral models. In Proceedings of the 30th international conference on software engineering ICSE\u201908 (pp. 501\u2013510). New York: ACM."},{"issue":"11","key":"9485_CR24","doi-asserted-by":"publisher","first-page":"1921","DOI":"10.1109\/TKDE.2011.138","volume":"24","author":"A Makanju","year":"2012","unstructured":"Makanju, A., Zincir-Heywood, A.N., Milios, E.E. (2012). A lightweight algorithm for message type extraction in system application logs. IEEE Transactions on Knowledge and Data Engineering, 24(11), 1921\u20131936. https:\/\/doi.org\/10.1109\/TKDE.2011.138.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"9485_CR25","doi-asserted-by":"publisher","unstructured":"Mariani, L, & Pastore, F. (2008). Automated identification of failure causes in system logs. In 19th International symposium on software reliability engineering, 2008. ISSRE 2008 (pp. 117\u2013126), DOI https:\/\/doi.org\/10.1109\/ISSRE.2008.48","DOI":"10.1109\/ISSRE.2008.48"},{"issue":"5","key":"9485_CR26","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MS.2007.138","volume":"24","author":"L Mariani","year":"2007","unstructured":"Mariani, L, & Pezze, M. (2007). Dynamic detection of cots component incompatibility. IEEE Softw, 24(5), 76\u201385. https:\/\/doi.org\/10.1109\/MS.2007.138.","journal-title":"IEEE Softw"},{"issue":"8","key":"9485_CR27","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1109\/TSE.2016.2623623","volume":"43","author":"L Mariani","year":"2017","unstructured":"Mariani, L., Pezz\u00e8, M, Santoro, M. (2017). Gk-tail+ an efficient approach to learn software models. IEEE Transactions on Software Engineering, 43(8), 715\u2013738. https:\/\/doi.org\/10.1109\/TSE.2016.2623623.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9485_CR28","doi-asserted-by":"publisher","unstructured":"Meinke, K, & Sindhu, M. (2011). Incremental learning-based testing for reactive systems. In Gogolla, M, & Wolff, B (Eds.) Tests and proofs, lecture notes in computer science, (Vol. 6706 pp. 134\u2013151). Berlin: Springer, DOI https:\/\/doi.org\/10.1007\/978-3-642-21768-5_11.","DOI":"10.1007\/978-3-642-21768-5_11"},{"key":"9485_CR29","doi-asserted-by":"publisher","unstructured":"Messaoudi, S, Panichella, A, Bianculli, D, Briand, L, Sasnauskas, R. (2018). A search-based approach for accurate identification of log message formats. In Proceedings of the 26th conference on program comprehension ICPC \u201918 (pp. 167\u2013177). New York: ACM, DOI https:\/\/doi.org\/10.1145\/3196321.3196340","DOI":"10.1145\/3196321.3196340"},{"key":"9485_CR30","unstructured":"Ohmann, T, Herzberg, M, Fiss, S, Halbert, A, Palyart, M, Beschastnikh, I, Brun, Y. (2014). Behavioral resource-aware model inference. In Proceedings of the 29th ACM\/IEEE international conference on automated software engineering ASE \u201914 (pp. 19\u201330). New York: ACM."},{"key":"9485_CR31","doi-asserted-by":"publisher","unstructured":"Pastore, F, Micucci, D, Mariani, L. (2017). Timed k-tail: automatic inference of timed automata. In 2017 IEEE International conference on software testing, verification and validation (ICST) (pp. 401\u2013411), DOI https:\/\/doi.org\/10.1109\/ICST.2017.43","DOI":"10.1109\/ICST.2017.43"},{"key":"9485_CR32","unstructured":"Petrenko, A., Avellaneda, F., Groz, R., Oriat, C. (2017). From passive to active fsm inference via checking sequence construction. In Yevtushenko, N, Cavalli, A.R., Yenig\u00fcn, H (Eds.) Testing software and systems (pp. 126\u2013141). Cham: Springer International Publishing."},{"key":"9485_CR33","unstructured":"Pradel, M, & Gross, T.R. (2009). Automatic generation of object usage specifications from large method traces. In Proceedings of the 2009 IEEE\/ACM international conference on automated software engineering ASE \u201909 (pp. 371\u2013382). Washington, DC: IEEE Computer Society."},{"key":"9485_CR34","doi-asserted-by":"publisher","unstructured":"Raffelt, H, Steffen, B, Berg, T. (2005). 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). New York: ACM, DOI https:\/\/doi.org\/10.1145\/1081180.1081189","DOI":"10.1145\/1081180.1081189"},{"key":"9485_CR35","doi-asserted-by":"publisher","unstructured":"Salva, S, & Blot, E. (2018). Confect: an approach to learn models of component-based systems. In Proceedings of the 13th international conference on software technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 (pp. 298\u2013305), DOI https:\/\/doi.org\/10.5220\/0006848302980305","DOI":"10.5220\/0006848302980305"},{"key":"9485_CR36","doi-asserted-by":"publisher","unstructured":"Salva, S, Blot, E, Lauren\u00e7ot, P. (2018). Combining model learning and data analysis to generate models of component-based systems. In Testing software and systems - 30th IFIP WG 6.1 international conference, ICTSS 2018, C\u00e1diz, Spain, October 1-3, 2018, Proceedings (pp. 142\u2013148), DOI https:\/\/doi.org\/10.1007\/978-3-319-99927-2_12","DOI":"10.1007\/978-3-319-99927-2_12"},{"key":"9485_CR37","doi-asserted-by":"publisher","unstructured":"Shahbaz, M., & Groz, R. (2013). Analysis and testing of black-box component based systems by inferring partial models. Software Testing, Verification and Reliability. https:\/\/doi.org\/10.1002\/stvr.1491.","DOI":"10.1002\/stvr.1491"},{"key":"9485_CR38","volume-title":"Introduction to data mining","author":"PN Tan","year":"2005","unstructured":"Tan, P.N., Steinbach, M., Kumar, V. (2005). Introduction to data mining, 1st edn. Boston: Addison-Wesley Longman Publishing Co., Inc.","edition":"1st edn."},{"key":"9485_CR39","doi-asserted-by":"publisher","unstructured":"Tappler, M, Aichernig, B.K., Bloem, R. (2017). Model-based testing iot communication via active automata learning. In 2017 IEEE International conference on software testing, verification and validation (ICST) (pp. 276\u2013287), DOI https:\/\/doi.org\/10.1109\/ICST.2017.32","DOI":"10.1109\/ICST.2017.32"},{"key":"9485_CR40","doi-asserted-by":"publisher","unstructured":"Vaarandi, R, & Pihelgas, M. (2015). Logcluster - a data clustering and pattern mining algorithm for event logs. In 2015 11th International conference on network and service management (CNSM) (pp. 1\u20137), DOI https:\/\/doi.org\/10.1109\/CNSM.2015.7367331","DOI":"10.1109\/CNSM.2015.7367331"},{"key":"9485_CR41","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J. (2004). Compositional testing with ioco. In Petrenko, A, & Ulrich, A (Eds.) Formal Approaches to Software Testing (pp. 86\u2013100). Berlin: Springer."},{"issue":"5","key":"9485_CR42","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/0306-4573(88)90027-1","volume":"24","author":"P Willett","year":"1988","unstructured":"Willett, P. (1988). Recent trends in hierarchic document clustering: a critical review. Information Processing & Management, 24(5), 577\u2013597.","journal-title":"Information Processing & Management"},{"key":"9485_CR43","doi-asserted-by":"crossref","unstructured":"Yoon, K.P., & Hwang, C.L. (1995). Multiple attribute decision making: an introduction (quantitative applications in the social sciences).","DOI":"10.4135\/9781412985161"},{"key":"9485_CR44","unstructured":"Zhu, J, He, S, Liu, J, He, P, Xie, Q, Zheng, Z, Lyu, M.R. (2018). Tools and benchmarks for automated log parsing. arXiv:1811.03509."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-019-09485-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-019-09485-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-019-09485-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:45:10Z","timestamp":1609461910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-019-09485-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,2]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["9485"],"URL":"https:\/\/doi.org\/10.1007\/s11219-019-09485-y","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,2]]},"assertion":[{"value":"2 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}