{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:06Z","timestamp":1750308726985,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T00:00:00Z","timestamp":1435104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,24]]},"DOI":"10.1145\/2675743.2771876","type":"proceedings-article","created":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T14:43:22Z","timestamp":1435243402000},"page":"193-204","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Autofunk, a fast and scalable framework for building formal models from production systems"],"prefix":"10.1145","author":[{"given":"S\u00e9bastien","family":"Salva","sequence":"first","affiliation":[{"name":"Auvergne University, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Durand","sequence":"additional","affiliation":[{"name":"Manufacture Francaise des, Pneumatiques Michelin, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11812128_17"},{"key":"e_1_3_2_1_2_1","volume-title":"Mobiguitar -- a tool for automated model-based testing of mobile apps","author":"Amalfitano D.","year":"2014","unstructured":"D. Amalfitano , A. R. Fasolino , P. Tramontana , B. D. Ta , and A. M. Memon . Mobiguitar -- a tool for automated model-based testing of mobile apps . IEEE Software , NN( N ):NN--NN, 2014 . D. Amalfitano, A. R. Fasolino, P. Tramontana, B. D. Ta, and A. M. Memon. Mobiguitar -- a tool for automated model-based testing of mobile apps. IEEE Software, NN(N):NN--NN, 2014."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.31"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509552"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_1"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","first-page":"167","volume-title":"Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF","author":"Hungar H.","year":"2002","unstructured":"H. Hungar , T. Margaria , and B. Steffen . Model generation for legacy systems . In M. Wirsing, A. Knapp, and S. Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002 , Venice, Italy, October 7-11, 2002, Revised Papers, volume 2941 of Lecture Notes in Computer Science , pages 167 -- 183 . Springer , 2002. H. Hungar, T. Margaria, and B. Steffen. Model generation for legacy systems. In M. Wirsing, A. Knapp, and S. Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, volume 2941 of Lecture Notes in Computer Science, pages 167--183. Springer, 2002."},{"key":"e_1_3_2_1_9_1","first-page":"260","volume-title":"Proceedings of the 10th Working Conference on Reverse Engineering, WCRE '03","author":"Memon A.","unstructured":"A. Memon , I. Banerjee , and A. Nagarajan . Gui ripping: Reverse engineering of graphical user interfaces for testing . In Proceedings of the 10th Working Conference on Reverse Engineering, WCRE '03 , pages 260 --, Washington, DC, USA, 2003. IEEE Computer Society. A. Memon, I. Banerjee, and A. Nagarajan. Gui ripping: Reverse engineering of graphical user interfaces for testing. In Proceedings of the 10th Working Conference on Reverse Engineering, WCRE '03, pages 260--, Washington, DC, USA, 2003. IEEE Computer Society."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2109205.2109208"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.60"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.78"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0082-3"}],"event":{"name":"DEBS '15: The 9th ACM International Conference on Distributed Event-Based Systems","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Oslo Norway","acronym":"DEBS '15"},"container-title":["Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2675743.2771876","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2675743.2771876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:47Z","timestamp":1750277687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2675743.2771876"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,24]]},"references-count":13,"alternative-id":["10.1145\/2675743.2771876","10.1145\/2675743"],"URL":"https:\/\/doi.org\/10.1145\/2675743.2771876","relation":{},"subject":[],"published":{"date-parts":[[2015,6,24]]},"assertion":[{"value":"2015-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}