{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:39:32Z","timestamp":1791459572321,"version":"4.3.4"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1109\/saner.2019.8668007","type":"proceedings-article","created":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T01:30:10Z","timestamp":1552959010000},"page":"253-263","source":"Crossref","is-referenced-by-count":22,"title":["Improving Model Inference in Industry by Combining Active and Passive Learning"],"prefix":"10.1109","author":[{"given":"Nan","family":"Yang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kousar","family":"Aslam","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ramon","family":"Schiffelers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leonard","family":"Lensink","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dennis","family":"Hendriks","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Loek","family":"Cleophas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"638","article-title":"flexfringe: A Passive Automaton Learning Package","author":"verwer","year":"2017","journal-title":"IEEE International Conference on Software Maintenance"},{"key":"ref38","year":"2014","journal-title":"Verum"},{"key":"ref33","first-page":"111","article-title":"Finite automata: Behavior and synthesis","volume":"42","author":"trakhtenbrot","year":"1977","journal-title":"Journal of Symbolic Logic"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.05.008"},{"key":"ref31","first-page":"167","article-title":"Bigger is not always better: on the quality of hypotheses in active automata learning","author":"smetsers","year":"2014","journal-title":"In International Conference on Grammatical Inference"},{"key":"ref30","article-title":"Complementing Model Learning with Mutation-Based Fuzzing","author":"smetsers","year":"2018","journal-title":"arXiv preprint arXiv 1611 02429"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"387","DOI":"10.3233\/FI-2009-136","article-title":"Process Discovery using Integer Linear Programming","volume":"94","author":"van der werf","year":"2009","journal-title":"Fundam Inform"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_19"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2967606"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.35"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.03.003"},{"key":"ref13","first-page":"812","article-title":"Runtime Monitoring in Continuous Deployment by Differencing Execution Behavior Model","volume":"11236","author":"gupta","year":"2018","journal-title":"Service-Oriented Computing - 16th International Conference ICSOC 2018 Hangzhou China November 12-15 2018 Proceedings"},{"key":"ref14","author":"hopcroft","year":"2006","journal-title":"Introduction to Automata Theory Languages and Computation (3rd Edition)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483783"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-319-11164-3_26","article-title":"The TTT algorithm: a redundancy-free approach to active automata learning","author":"isberner","year":"2014","journal-title":"International Conference on Runtime Verification"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88009-7_11"},{"key":"ref18","first-page":"1","article-title":"Results of the abbadingo one DFA learning competition and a new evidence-driven state merging algorithm","author":"lang","year":"1998","journal-title":"International Colloquium on Grammatical Inference"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.47"},{"key":"ref28","author":"sanchez","year":"2018","journal-title":"Learning software behavior through active automata learning with data"},{"key":"ref4","first-page":"6","article-title":"Interface protocol inference to aid understanding legacy software components","author":"aslam","year":"2018","journal-title":"Proceedings of MODELS 2018 Workshops ModComp MRT OCL FlexMDE EXE COMMitMDE MDETools GEMOC MORSE MDE4IoT MDEbug MoDeVVa ME MULTI HuFaMo AMMoRe PAINS co-located with ACM\/IEEE 21st International Conference on Model Driven Engineering Languages and Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9102-8"},{"key":"ref3","article-title":"Refining active learning to increase behavioral coverage","author":"aslam","year":"2018","journal-title":"ACM womENcourage"},{"key":"ref6","article-title":"Never-stop learning: Continuous validation of learned models for evolving systems through monitoring","volume":"2012","author":"bertolino","year":"2012","journal-title":"ERCIM News"},{"key":"ref29","first-page":"67","article-title":"Applying automata learning to embedded control software","author":"smeenk","year":"2015","journal-title":"International Conference on Formal Engineering Methods"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1111\/j.2517-6161.1995.tb02031.x"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2004.03.027"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref9","author":"cohen","year":"1988","journal-title":"Statistical Power Analysis for the Behavioral Sciences"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236069"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.04.001"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1142\/9789812797902_0004","article-title":"Inferring regular languages in polynomial updated time","author":"oncina","year":"1992","journal-title":"Pattern recognition and image analysis selected papers from the IVth Spanish Symposium"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2004.1431246"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9367-7"},{"key":"ref24","first-page":"225","article-title":"Black box checking","volume":"7","author":"peled","year":"2002","journal-title":"Journal of Automata Languages and Combinatorics"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2430545.2430549"},{"key":"ref23","first-page":"99","article-title":"Identifying Regular Languages In Polynomial Time","author":"oncina","year":"1992","journal-title":"ADVANCES IN STRUCTURAL AND SYNTACTIC PATTERN RECOGNITION VOLUME 5 OF SERIES IN MACHINE PERCEPTION AND ARTIFICIAL INTELLIGENCE"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1006\/inco.1993.1021","article-title":"Inference of finite automata using homing sequences","volume":"103","author":"ronald","year":"1993","journal-title":"Information and Computation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0111-8"}],"event":{"name":"2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)","location":"Hangzhou, China","start":{"date-parts":[[2019,2,24]]},"end":{"date-parts":[[2019,2,27]]}},"container-title":["2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8663526\/8667965\/08668007.pdf?arnumber=8668007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T14:50:25Z","timestamp":1658155825000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8668007\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/saner.2019.8668007","relation":{},"subject":[],"published":{"date-parts":[[2019,2]]}}}