{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T00:48:24Z","timestamp":1772930904423,"version":"3.50.1"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606571","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T18:38:03Z","timestamp":1380652683000},"page":"252-261","source":"Crossref","is-referenced-by-count":22,"title":["Unifying FSM-inference algorithms through declarative specification"],"prefix":"10.1109","author":[{"given":"Ivan","family":"Beschastnikh","sequence":"first","affiliation":[]},{"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[]},{"given":"Jenny","family":"Abrahamson","sequence":"additional","affiliation":[]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[]},{"given":"Arvind","family":"Krishnamurthy","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.47"},{"key":"17","author":"hopcroft","year":"1971","journal-title":"An Nlogn Algorithm for Minimizing States in A Finite Automaton"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227128"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1145\/581376.581377","article-title":"Tracking down software bugs using automatic anomaly detection","author":"hangal","year":"2002","journal-title":"ICSE"},{"key":"16","article-title":"Using the bandera tool set to model-check properties of concurrent java software","author":"hatcliff","year":"2001","journal-title":"CONCUR"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393598"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/287000.287001","article-title":"Discovering models of software processes from event-based data","volume":"7","author":"cook","year":"1998","journal-title":"ACM TOSEM"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859081"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181808"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2007.138"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609576"},{"key":"26","article-title":"The sk-strings method for inferring pfsa","author":"raman","year":"1997","journal-title":"AIGILA"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919096"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.35"},{"key":"29","article-title":"Experience mining google's production console logs","author":"xu","year":"2010","journal-title":"SLAM"},{"key":"3","article-title":"Temporal data mining: An overview","author":"antunes","year":"2001","journal-title":"KDD 2001 Workshop on Temporal Data Mining"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90041-0"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606571"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2011.18"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595719"},{"key":"9","article-title":"Learning stochastic regular grammars by means of a state merging method","author":"carrasco","year":"1994","journal-title":"ICGI"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.89"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606571.pdf?arnumber=6606571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T22:55:25Z","timestamp":1498085725000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606571\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606571","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}