{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T10:43:35Z","timestamp":1659437015115},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,3,15]],"date-time":"2022-03-15T00:00:00Z","timestamp":1647302400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,3,15]],"date-time":"2022-03-15T00:00:00Z","timestamp":1647302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1007\/s10009-022-00651-5","type":"journal-article","created":{"date-parts":[[2022,3,15]],"date-time":"2022-03-15T16:10:46Z","timestamp":1647360646000},"page":"529-548","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Learning of behavioural models and dependency graphs for communicating systems with CkTailv2"],"prefix":"10.1007","volume":"24","author":[{"given":"Sebastien","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":[[2022,3,15]]},"reference":[{"key":"651_CR1","doi-asserted-by":"crossref","unstructured":"Ahmad, A., Bouquet, F., Fourneret, E., Le Gall, F., Legeard, B.: Model-based testing as a service for iot platforms. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, pp. 727\u2013742. Dissemination, Applications, Springer International Publishing, Cham (2016)","DOI":"10.1007\/978-3-319-47169-3_55"},{"key":"651_CR2","doi-asserted-by":"publisher","unstructured":"Aichernig, B.K., Tappler, M.: 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, (2017) https:\/\/doi.org\/10.1007\/978-3-319-57288-8_2","DOI":"10.1007\/978-3-319-57288-8_2"},{"issue":"1","key":"651_CR3","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/1047659.1040314","volume":"40","author":"R Alur","year":"2005","unstructured":"Alur, R., Vcerny, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for java classes. SIGPLAN Not 40(1), 98\u2013109 (2005). https:\/\/doi.org\/10.1145\/1047659.1040314","journal-title":"SIGPLAN Not"},{"key":"651_CR4","doi-asserted-by":"publisher","unstructured":"Ammons, G., Bodi k.R., Larus, J.R.: Mining specifications. SIGPLAN Not 37(1), 4\u201316 (2002). https:\/\/doi.org\/10.1145\/565816.503275","DOI":"10.1145\/565816.503275"},{"issue":"2","key":"651_CR5","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. Inform. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inform. Comput."},{"key":"651_CR6","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Fraser, G., Just, R.: Private api access and functional mocking in automated unit test generation. Presented at the (2017)","DOI":"10.1109\/ICST.2017.19"},{"key":"651_CR7","doi-asserted-by":"publisher","unstructured":"Berg, T., Jonsson, B., Raffelt, H.: 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. Springer, Berlin Heidelberg (2006). https:\/\/doi.org\/10.1007\/11693017_10","DOI":"10.1007\/11693017_10"},{"key":"651_CR8","doi-asserted-by":"crossref","unstructured":"Beschastnikh, I., Brun, Y., Schneider, S., Sloan, M., Ernst, M..D... In.: Leveraging existing instrumentation to automatically infer invariant-constrained models 11, 267\u2013277 (2011). (New York, NY, USA, ESEC\/FSE)","DOI":"10.1145\/2025113.2025151"},{"key":"651_CR9","doi-asserted-by":"publisher","unstructured":"Beschastnikh, I., Brun, Y., Ernst, M.D., Krishnamurthy, A.: Inferring models of concurrent systems from logs of their behavior with csight. In: Proceedings of the 36th International Conference on Software Engineering, ACM, New York, NY, USA, ICSE 2014, pp 468\u2013479, (2014) https:\/\/doi.org\/10.1145\/2568225.2568246","DOI":"10.1145\/2568225.2568246"},{"key":"651_CR10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015","author":"A Biermann","year":"1972","unstructured":"Biermann, A., Feldman, J.: On the synthesis of finite-state machines from samples of their behavior. Computers, IEEE Transactions on C-21(6):592\u2013597 (1972). https:\/\/doi.org\/10.1109\/TC.1972.5009015","journal-title":"Computers, IEEE Transactions on C-21(6):592\u2013597"},{"key":"651_CR11","doi-asserted-by":"crossref","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) Formal Approaches to Software Testing, pp. 86\u2013100. Springer, Berlin Heidelberg, Berlin, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24617-6_7"},{"key":"651_CR12","unstructured":"Blot E, Salva S (2020a) The cktailv2 tool. https:\/\/github.com\/sasa27\/CkTailv2"},{"key":"651_CR13","unstructured":"Blot, E., Salva, S.: Testability measurments on inffered models. Presented at the (2020b)"},{"key":"651_CR14","doi-asserted-by":"publisher","unstructured":"Dssouli, R., Karoui, K., Petrenko, A., Rafiq, O.: Towards testable communication software. In: Cavalli A, Budkowski S (eds) Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995, Springer US, Boston, MA, pp 237\u2013251, (1996) https:\/\/doi.org\/10.1007\/978-0-387-34988-6_15","DOI":"10.1007\/978-0-387-34988-6_15"},{"key":"651_CR15","doi-asserted-by":"crossref","unstructured":"Dupont, P.: Incremental regular inference. In: Proceedings of the Third ICGI-96, Springer, pp 222\u2013237 (1996)","DOI":"10.1007\/BFb0033357"},{"key":"651_CR16","unstructured":"ETSI Methods for testing & specification; risk-based security assessment and testing methodologies, european telecommunications standards institute, technical report, (2015)https:\/\/www.etsi.org\/deliver\/etsi_eg\/203200_203299\/ 203251\/01.01.01_50\/eg_203251v010101m.pdf"},{"key":"651_CR17","doi-asserted-by":"publisher","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.H., Bozga, M., Bensalem, S.: 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, Springer, Montevideo, Uruguay, Lecture Notes in Computer Science (LNCS), vol 7041, pp 204\u2013220, (2011) 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":"651_CR18","doi-asserted-by":"crossref","unstructured":"Fu, Q., Lou, J.G., Wang, Y., Li, J.: Execution anomaly detection in distributed systems through unstructured log analysis. Presented at the (2009)","DOI":"10.1109\/ICDM.2009.60"},{"key":"651_CR19","doi-asserted-by":"crossref","unstructured":"Groz, R., Li, K., Petrenko, A., Shahbaz, M.: Modular system verification by inference, testing and reachability analysis. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) Testing of Software and Communicating Systems, pp. 216\u2013233. Springer, Berlin Heidelberg, Berlin, Heidelberg (2008)","DOI":"10.1007\/978-3-540-68524-1_16"},{"key":"651_CR20","doi-asserted-by":"publisher","unstructured":"Gutierrez-Madronal, L., Medina-Bulo, I., Dominguez-Jimenez, J.: Iot-teg: Test event generator system. Journal of Systems and Software 137, 784\u2013803 (2018)https:\/\/doi.org\/10.1016\/j.jss.2017.06.037, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121217301280","DOI":"10.1016\/j.jss.2017.06.037"},{"key":"651_CR21","doi-asserted-by":"publisher","unstructured":"Hossen, K., Groz, R., Oriat, C., Richier, J.: In: Automatic model inference of web applications for security testing, pp. 22\u201323. , Cleveland, Ohio, USA (2014). https:\/\/doi.org\/10.1109\/ICSTW.2014.47","DOI":"10.1109\/ICSTW.2014.47"},{"key":"651_CR22","doi-asserted-by":"publisher","unstructured":"Howar, F., Steffen, B., Jonsson, B., Cassel, S.: Inferring canonical register automata. In: Kuncak, V., Rybalchenko, A. (eds.) Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science, vol. 7148, pp. 251\u2013266. Springer, Berlin Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27940-9_17","DOI":"10.1007\/978-3-642-27940-9_17"},{"key":"651_CR23","doi-asserted-by":"publisher","unstructured":"Lo, D., Mariani, L., Santoro, M.: Learning extended fsa from software: An empirical assessment. Journal of Systems and Software 85(9), 2063\u20132076 (2012) 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)","DOI":"10.1016\/j.jss.2012.04.001"},{"key":"651_CR24","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezze, M.: In: Automatic generation of software behavioral models, vol. ICSE\u201908, pp. 501\u2013510. , New York, NY, USA (2008)","DOI":"10.1145\/1368088.1368157"},{"issue":"11","key":"651_CR25","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.: A lightweight algorithm for message type extraction in system application logs. IEEE Trans. Knowledge and Data Eng. 24(11), 1921\u20131936 (2012). https:\/\/doi.org\/10.1109\/TKDE.2011.138","journal-title":"IEEE Trans. Knowledge and Data Eng."},{"key":"651_CR26","doi-asserted-by":"publisher","unstructured":"Mariani, L., Pastore, F.: Automated identification of failure causes in system logs. In: Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on, pp 117\u2013126, (2008) https:\/\/doi.org\/10.1109\/ISSRE.2008.48","DOI":"10.1109\/ISSRE.2008.48"},{"issue":"5","key":"651_CR27","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.: Dynamic detection of cots component incompatibility. IEEE Soft. 24(5), 76\u201385 (2007). https:\/\/doi.org\/10.1109\/MS.2007.138","journal-title":"IEEE Soft."},{"key":"651_CR28","doi-asserted-by":"publisher","unstructured":"Mariani, L., Pezze M, Santoro M.: Gk-tail+ an efficient approach to learn software models. IEEE Transactions on Software Engineering 43(8), 715\u2013738 (2017). https:\/\/doi.org\/10.1109\/TSE.2016.2623623","DOI":"10.1109\/TSE.2016.2623623"},{"key":"651_CR29","doi-asserted-by":"publisher","unstructured":"Messaoudi, S., Panichella, A., Bianculli, D., Briand, L., Sasnauskas, R.: In.: A search-based approach for accurate identification of log message formats, vol. 18, pp. 167\u2013177. , New York, NY, USA, ICPC (2018). https:\/\/doi.org\/10.1145\/3196321.3196340","DOI":"10.1145\/3196321.3196340"},{"key":"651_CR30","doi-asserted-by":"crossref","unstructured":"Ohmann, T., Herzberg, M., Fiss, S., Halbert, A., Palyart, M., Beschastnikh, I., Brun, Y. In.: Behavioral resource-aware model inference, vol. 14, pp. 19\u201330. , New York, NY, USA, ASE (2014)","DOI":"10.1145\/2642937.2642988"},{"key":"651_CR31","doi-asserted-by":"publisher","unstructured":"Pastore, F., Micucci, D., Mariani, L.: Timed k-tail: Automatic inference of timed automata. Presented at the (2017). https:\/\/doi.org\/10.1109\/ICST.2017.43","DOI":"10.1109\/ICST.2017.43"},{"key":"651_CR32","doi-asserted-by":"publisher","unstructured":"Petrenko, A., Avellaneda, F.: Learning communicating state machines. In: Beyer D, Keller C (eds) Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, Springer, Lecture Notes in Computer Science, vol 11823, pp 112\u2013128,, (2019) https:\/\/doi.org\/10.1007\/978-3-030-31157-5","DOI":"10.1007\/978-3-030-31157-5"},{"key":"651_CR33","doi-asserted-by":"publisher","unstructured":"Raffelt, H., Steffen, B., Berg, T. In.: Learnlib: A library for automata learning and experimentation, vol. 05, pp. 62\u201371. , New York, NY, USA, FMICS (2005). https:\/\/doi.org\/10.1145\/1081180.1081189","DOI":"10.1145\/1081180.1081189"},{"key":"651_CR34","doi-asserted-by":"crossref","unstructured":"Salva, S., Blot, E.: Reverse engineering behavioural models of iot devices. Presented at the (2019a)","DOI":"10.18293\/SEKE2019-012"},{"key":"651_CR35","doi-asserted-by":"crossref","unstructured":"Salva, S., Blot, E.: Reverse engineering behavioural models of iot devices. Presented at the (2019b)","DOI":"10.18293\/SEKE2019-012"},{"key":"651_CR36","doi-asserted-by":"publisher","unstructured":"Salva, S., Blot, E.: Cktail: Model learning of communicating systems. In: Ali R, Kaindl H, Maciaszek LA (eds) Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, SCITEPRESS, pp 27\u201338, (2020a) https:\/\/doi.org\/10.5220\/0009327400270038","DOI":"10.5220\/0009327400270038"},{"issue":"2","key":"651_CR37","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1007\/s11219-019-09485-y","volume":"28","author":"S Salva","year":"2020","unstructured":"Salva, S., Blot, E.: Model generation of component-based systems. Software Quality Journal 28(2), 789\u2013819 (2020b). https:\/\/doi.org\/10.1007\/s11219-019-09485-y","journal-title":"Software Quality Journal"},{"key":"651_CR38","doi-asserted-by":"crossref","unstructured":"Salva, S., Blot, E.: Verifying the application of security measures in IOT software systems with model learning. In: Proceedings of the 15th 15th International Conference on Software Technologies, ICSOFT 2020, Paris, France, july, 2020, pp 1\u201312 (2020c)","DOI":"10.5220\/0009872103500360"},{"key":"651_CR39","unstructured":"Salva, S., Fouchal, H., Bloch, S.: Metrics for timed systems testing. In: Procedings of the 4th International Conference on Principles of Distributed Systems, OPODIS 2000, Paris, France, December 20-22, 2000, pp 177\u2013200 (2000)"},{"issue":"3","key":"651_CR40","doi-asserted-by":"publisher","first-page":"1461","DOI":"10.1007\/s10664-018-9663-0","volume":"24","author":"D Spadini","year":"2019","unstructured":"Spadini, D., Aniche, M., Bruntink, M., Bacchelli, A.: Mock objects for testing java systems. Empirical Softw Engg 24(3), 1461\u20131498 (2019). https:\/\/doi.org\/10.1007\/s10664-018-9663-0","journal-title":"Empirical Softw Engg"},{"key":"651_CR41","doi-asserted-by":"publisher","unstructured":"Tappler, M., Aichernig, B.K., Bloem, R.: Model-based testing iot communication via active automata learning. Presented at the (2017). https:\/\/doi.org\/10.1109\/ICST.2017.32","DOI":"10.1109\/ICST.2017.32"},{"key":"651_CR42","doi-asserted-by":"publisher","unstructured":"Vaarandi, R., Pihelgas, M.: 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, https:\/\/doi.org\/10.1109\/CNSM.2015.7367331 (2015)","DOI":"10.1109\/CNSM.2015.7367331"},{"key":"651_CR43","doi-asserted-by":"crossref","unstructured":"Zhu, J., He, S., Liu, J., He, P., Xie, Q., Zheng, Z., Lyu, M.R.:Tools and benchmarks for automated log parsing arXiv:8110.3509 (2018)","DOI":"10.1109\/ICSE-SEIP.2019.00021"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00651-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-022-00651-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00651-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T10:06:57Z","timestamp":1659434817000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-022-00651-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,15]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,8]]}},"alternative-id":["651"],"URL":"https:\/\/doi.org\/10.1007\/s10009-022-00651-5","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3,15]]},"assertion":[{"value":"22 February 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 March 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}