{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T18:34:41Z","timestamp":1764700481285,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/wcre.2013.6671305","type":"proceedings-article","created":{"date-parts":[[2013,12,3]],"date-time":"2013-12-03T17:00:42Z","timestamp":1386090042000},"page":"301-310","source":"Crossref","is-referenced-by-count":21,"title":["Inferring Extended Finite State Machine models from software executions"],"prefix":"10.1109","author":[{"given":"Neil","family":"Walkinshaw","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramsay","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"177","article-title":"An empirical comparison of pattern recognition, neural nets and machine learning classification methods","author":"weiss","year":"1990","journal-title":"Readings in Machine Learning"},{"key":"17","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-59119-2_166","article-title":"A desicion-theoretic generalization of online learning and an application to boosting","author":"freund","year":"1995","journal-title":"Computational Learning Theory"},{"journal-title":"Machine Learning","year":"1997","author":"mitchell","key":"18"},{"key":"15","first-page":"1","volume":"1433","author":"lang","year":"1998","journal-title":"Results of the Abbadingo One Dfa Learning Competition and A New Evidence-driven State Merging Algorithm"},{"journal-title":"C4 5 Programs for Machine Learning","year":"1993","author":"quinlan","key":"16"},{"key":"13","first-page":"1","article-title":"Conic: An integrated approach to distributed computer control systems","volume":"130","author":"kramer","year":"1983","journal-title":"IEE Proceedings"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"11","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/157485.164585","article-title":"automatic functional test generation using the extended finite state machine model","author":"cheng","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1656274.1656278"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.105"},{"key":"20","first-page":"17","article-title":"Mining object behavior with adabu","author":"lindig","year":"2006","journal-title":"Proceedings of the 2006 international workshop on Dynamic systems analysis"},{"journal-title":"A User-extensible Refactoring Tool for Erlang Programs","year":"2011","author":"li","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.47"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.04.001"},{"key":"25","first-page":"2013","article-title":"Automated comparison of statebased software models in terms of their language and structure","volume":"22","author":"walkinshaw","year":"0","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"26","first-page":"1137","article-title":"A study of cross-validation and bootstrap for accuracy estimation and model selection","volume":"14","author":"kohavi","year":"1995","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100138"},{"key":"28","first-page":"305","article-title":"Iterative refinement of reverseengineered models by model-based testing","author":"walkinshaw","year":"2009","journal-title":"FM"},{"key":"29","first-page":"126","article-title":"Increasing functional coverage by inductive testing: A case study","author":"walkinshaw","year":"2010","journal-title":"ICTSS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.110"},{"key":"2","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/3-540-39945-3_6","article-title":"Adaptive, model-based monitoring for cyber attack detection","author":"valdes","year":"2000","journal-title":"Recent Advances in Intrusion Detection"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985874"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.380"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34691-0_14"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9210-3"}],"event":{"name":"2013 20th Working Conference on Reverse Engineering (WCRE)","start":{"date-parts":[[2013,10,14]]},"location":"Koblenz, Germany","end":{"date-parts":[[2013,10,17]]}},"container-title":["2013 20th Working Conference on Reverse Engineering (WCRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6656028\/6671267\/06671305.pdf?arnumber=6671305","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T23:35:28Z","timestamp":1498088128000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6671305\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/wcre.2013.6671305","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}