{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:47:16Z","timestamp":1791460036520,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T00:00:00Z","timestamp":1707177600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Austrian Research Promotion Agency (FFG)","award":["880852"],"award-info":[{"award-number":["880852"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,2,6]]},"DOI":"10.1145\/3597503.3623346","type":"proceedings-article","created":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T20:53:16Z","timestamp":1707252796000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-8129-9928","authenticated-orcid":false,"given":"Felix","family":"Wallner","sequence":"first","affiliation":[{"name":"Institute of Software Technology, Graz University of Technology, Graz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3484-5584","authenticated-orcid":false,"given":"Bernhard K.","family":"Aichernig","sequence":"additional","affiliation":[{"name":"Institute of Software Technology, Graz University of Technology, Graz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3246-4399","authenticated-orcid":false,"given":"Christian","family":"Burghard","sequence":"additional","affiliation":[{"name":"AVL List GmbH, Graz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,2,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20652-9_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116829"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72788-0_7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_6"},{"key":"e_1_3_2_1_6_1","unstructured":"AVL List GmbH. Nov. 2019. AVL 489 Particle Counter - product guide."},{"key":"e_1_3_2_1_7_1","unstructured":"AVL List GmbH. Sep. 2013. AVL 415SE Smoke Meter - product guide."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLA52953.2021.00195"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00087"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196883"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55179-4_18"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_25"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00544-0"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_40"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.110426"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9222-z"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","unstructured":"Alexey Ignatiev Antonio Morgado and Joao Marques-Silva. 2018. PySAT: A Python Toolkit for Prototyping with SAT Oracles. In SAT. 428--437. 10.1007\/978-3-319-94144-8_26","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190116"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/293347.293351"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.370.6"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10791-009-9096-x"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(88)90039-6"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85672-4_20"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2005.143"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.04.004"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_45"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-016-5565-9"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2623623"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10428-7_39"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-006"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10428-7_41"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-013-9146-2"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.3233\/sat190105"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2206.11708"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-022-00449-3"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_28"},{"key":"e_1_3_2_1_40_1","unstructured":"Nordic Semiconductor. Nov. 2021. nRF52832 Product Specification v1.8."},{"key":"e_1_3_2_1_41_1","series-title":"Series in Machine Perception and Artificial Intelligence","volume-title":"Advances in Structual and Syntactic Pattern Recognition","author":"Oncina Jose","unstructured":"Jose Oncina and Pedro Garcia. 1992. Identifying Regular Languages In Polynomial Time. In Advances in Structual and Syntactic Pattern Recognition, Volume 5 of Series in Machine Perception and Artificial Intelligence. World Scientific, 99--108."},{"key":"e_1_3_2_1_42_1","volume-title":"Aichernig","author":"Pferscher Andrea","year":"2021","unstructured":"Andrea Pferscher and Bernhard K. Aichernig. 2021. ble-learning: Fingerprinting Bluetooth Low Energy via Active Automata Learning. https:\/\/github.com\/apferscher\/ble-learning, accessed on March 14, 2023."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_28"},{"key":"e_1_3_2_1_44_1","volume-title":"QEST 2023, Antwerp, Belgium, September 18--23, 2023, Proceedings (Lecture Notes in Computer Science), Nils Jansen Mirco Tribastone (Ed.). Springer.","author":"Reynouard Rapha\u00ebl","year":"2023","unstructured":"Rapha\u00ebl Reynouard, Anna Ing\u00f3lfsd\u00f3ttir, and Giovanni Bacci. 2023. Jajapy: a learning library for stochastic models. In Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 18--23, 2023, Proceedings (Lecture Notes in Computer Science), Nils Jansen Mirco Tribastone (Ed.). Springer."},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the Twentieth International Conference (ICML 2003","author":"Sebban Marc","year":"2003","unstructured":"Marc Sebban and Jean-Christophe Janodet. 2003. On State Merging in Grammatical Inference: A Statistical Approach for Dealing with Noisy Data. In Machine Learning, Proceedings of the Twentieth International Conference (ICML 2003), August 21--24, 2003, Washington, DC, USA, Tom Fawcett and Nina Mishra (Eds.). AAAI Press, 688--695. http:\/\/www.aaai.org\/Library\/ICML\/2003\/icml03-090.php"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77313-1_14"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06773-0_26"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2306.17204"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15579-1_48"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01068590"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/11812128_25"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9367-7"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","unstructured":"Felix Wallner Bernhard K. Aichernig and Christian Burghard. 2023. PMSAT Inference Algorithm and Publication Artifacts. 10.5281\/zenodo.8341541","DOI":"10.5281\/zenodo.8341541"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3623346","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3623346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:11Z","timestamp":1750286951000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3623346"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,6]]},"references-count":53,"alternative-id":["10.1145\/3597503.3623346","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3623346","relation":{},"subject":[],"published":{"date-parts":[[2024,2,6]]},"assertion":[{"value":"2024-02-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}