{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:38:52Z","timestamp":1782877132835,"version":"3.54.5"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,3,14]]},"DOI":"10.23919\/date54114.2022.9774595","type":"proceedings-article","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T20:35:05Z","timestamp":1652992505000},"page":"100-103","source":"Crossref","is-referenced-by-count":2,"title":["Active Learning of Abstract System Models from Traces using Model Checking"],"prefix":"10.23919","author":[{"given":"Natasha Yogananda","family":"Jeppu","sequence":"first","affiliation":[{"name":"University of Oxford Oxford,UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tom","family":"Melham","sequence":"additional","affiliation":[{"name":"University of Oxford Oxford,UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Kroening","sequence":"additional","affiliation":[{"name":"Amazon, Inc London,UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Active learning of ab-stract system models from traces using model checking [Extended]","author":"jeppu","year":"2021","journal-title":"arXiv 2112 05990"},{"key":"ref11","author":"clarke","year":"2018","journal-title":"Model checking"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40922-X_8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23702-7_26"},{"key":"ref14","author":"jeppu","year":"2020","journal-title":"Trace2Model"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"ref16","year":"2021","journal-title":"Stateflow examples"},{"key":"ref17","year":"2021","journal-title":"Embedded Coder"},{"key":"ref18","author":"jeppu","year":"2021","journal-title":"ActiveLearning"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218613"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9367-7"},{"key":"ref6","first-page":"427","article-title":"The learnability of symbolic automata","author":"argyros","year":"2018","journal-title":"CAV"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref8","article-title":"Active automata learning in practice - an annotated bibliography of the years 2011 to 2016","author":"howar","year":"2018","journal-title":"Machine Learning for Dynamic Software Analysis"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63461-2_2"},{"key":"ref2","first-page":"122","article-title":"Inferring computational state machine mod-els from program executions","author":"walkinshaw","year":"0","journal-title":"2016 IEEE International Conference on Software Maintenance and Evolution"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91908-9_26"}],"event":{"name":"2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Antwerp, Belgium","start":{"date-parts":[[2022,3,14]]},"end":{"date-parts":[[2022,3,23]]}},"container-title":["2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9774496\/9774497\/09774595.pdf?arnumber=9774595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T20:06:06Z","timestamp":1657569966000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9774595\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,14]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/date54114.2022.9774595","relation":{},"subject":[],"published":{"date-parts":[[2022,3,14]]}}}