{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T16:48:07Z","timestamp":1776358087773,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3640310.3674087","type":"proceedings-article","created":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T13:38:07Z","timestamp":1727703487000},"page":"172-182","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-3851-6612","authenticated-orcid":false,"given":"Negin","family":"Ayoughi","sequence":"first","affiliation":[{"name":"University of Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0281-8231","authenticated-orcid":false,"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4711-8319","authenticated-orcid":false,"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[{"name":"University of Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-6668-588X","authenticated-orcid":false,"given":"Patricio","family":"Saavedra","sequence":"additional","affiliation":[{"name":"RabbitRun Technologies Inc., Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Bernhard K. Aichernig Edi Muskardin and Andrea Pferscher. 2022. Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. In Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) FMAS\/ASYDE@SEFM 2022 and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin Germany 26th and 27th of September 2022 (EPTCS Vol. 371) Matt Luckcuck and Marie Farrell (Eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS) Open Access Platform 1--19.","DOI":"10.4204\/EPTCS.371.0"},{"key":"e_1_3_2_1_2_1","volume-title":"Introduction to Software Testing","author":"Ammann Paul","unstructured":"Paul Ammann and Jeff Offutt. 2008. Introduction to Software Testing. Cambridge University Press, Cambridge, UK."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.06.009"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3128820"},{"key":"e_1_3_2_1_5_1","volume-title":"MELA: Machine Learning-Enhanced Automata Learning. GitHub repository. Artifacts and Supplementary Material [Online]. Available: https:\/\/github.com\/neayoughi\/MELA.git.","author":"Ayoughi Negin","year":"2024","unstructured":"Negin Ayoughi. 2024. MELA: Machine Learning-Enhanced Automata Learning. GitHub repository. Artifacts and Supplementary Material [Online]. Available: https:\/\/github.com\/neayoughi\/MELA.git."},{"key":"e_1_3_2_1_6_1","volume-title":"9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science","volume":"290","author":"Beer Ilan","year":"1997","unstructured":"Ilan Beer, Shoham Ben-David, Cindy Eisner, and Yoav Rodeh. 1997. Efficient Detection of Vacuity in ACTL Formulaas. In Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science, Vol. 1254), Orna Grumberg (Ed.). Springer, Berlin, Germany, 279--290."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3538969.3543810"},{"key":"e_1_3_2_1_8_1","volume-title":"12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings (Lecture Notes in Computer Science","volume":"463","author":"Chan William","year":"2000","unstructured":"William Chan. 2000. Temporal-Locig Queries. In Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings (Lecture Notes in Computer Science, Vol. 1855), E. Allen Emerson and A. Prasad Sistla (Eds.). Springer, Berlin, Germany, 450--463."},{"key":"e_1_3_2_1_9_1","volume-title":"Model checking","author":"Clarke Edmund M.","unstructured":"Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron A. Peled, and Helmut Veith. 2018. Model checking, 2nd Edition. MIT Press, Cambridge, MA, USA.","edition":"2"},{"key":"e_1_3_2_1_10_1","volume-title":"Grammatical inference: learning automata and grammars","author":"la Higuera Colin De","unstructured":"Colin De la Higuera. 2010. Grammatical inference: learning automata and grammars. Cambridge University Press, Cambridge, UK."},{"key":"e_1_3_2_1_11_1","volume-title":"CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science","volume":"471","author":"Fiterau-Brostean Paul","unstructured":"Paul Fiterau-Brostean, Ramon Janssen, and Frits W. Vaandrager. 2016. Combining Model Learning and Model Checking to Analyze TCP Implementations. In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science, Vol. 9780), Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer, Berlin, Germany, 454--471."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409737"},{"key":"e_1_3_2_1_13_1","volume-title":"An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning. In 26th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023","author":"Garhewal Bharat","year":"2023","unstructured":"Bharat Garhewal and Carlos Diego Nascimento Damasceno. 2023. An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning. In 26th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, V\u00e4ster\u00e5s, Sweden, October 1-6, 2023. IEEE, Piscataway, NJ, USA, 217--227."},{"key":"e_1_3_2_1_14_1","volume-title":"10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings (Lecture Notes in Computer Science","volume":"23","author":"G\u00f3mez Antonio Cano","year":"2010","unstructured":"Antonio Cano G\u00f3mez. 2010. Inferring Regular Trace Languages from Positive and Negative Samples. In Grammatical Inference: Theoretical Results and Applications, 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings (Lecture Notes in Computer Science, Vol. 6339), Jos\u00e9 M. Sempere and Pedro Garc\u00eda (Eds.). Springer, Berlin, Germany, 11--23."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23716-4_10"},{"key":"e_1_3_2_1_16_1","unstructured":"Hping3 Project 2024. hping3 - Active Network Security Tool. https:\/\/www.kali.org\/tools\/hping3\/ Accessed: 2023-02-01."},{"key":"e_1_3_2_1_17_1","volume-title":"Test Generation Strategies for Building Failure Models and Explaining Spurious Failures. CoRR abs\/2312.05631, 4","author":"Jodat Baharin Aliashrafi","year":"2023","unstructured":"Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati, and Mehrdad Sabetzadeh. 2023. Test Generation Strategies for Building Failure Models and Explaining Spurious Failures. CoRR abs\/2312.05631, 4 (2023), 93:1--93:32."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST57152.2023.00043"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3117770"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642978"},{"key":"e_1_3_2_1_21_1","volume-title":"Interpretable machine learning. Lulu. com","author":"Molnar Christoph","unstructured":"Christoph Molnar. 2020. Interpretable machine learning. Lulu. com, Morrisville, NC, USA."},{"key":"e_1_3_2_1_22_1","volume-title":"ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings (Lecture Notes in Computer Science","volume":"73","author":"Muskardin Edi","year":"2021","unstructured":"Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, and Martin Tappler. 2021. AALpy: An Active Automata Learning Library. In Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings (Lecture Notes in Computer Science, Vol. 12971), Zhe Hou and Vijay Ganesh (Eds.). Springer, Berlin, Germany, 67--73."},{"key":"e_1_3_2_1_23_1","volume-title":"Models","author":"Neider Daniel","unstructured":"Daniel Neider, Rick Smetsers, Frits W. Vaandrager, and Harco Kuppens. 2018. Benchmarks for Automata Learning and Conformance Testing. In Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Vol. 11200), Tiziana Margaria, Susanne Graf, and Kim G. Larsen (Eds.). Springer, Berlin, Germany, 390--416."},{"key":"e_1_3_2_1_24_1","volume-title":"Oracle VM VirtualBox","author":"Oracle Corporation","unstructured":"Oracle Corporation. 2024. Oracle VM VirtualBox. Oracle Corporation. https:\/\/www.virtualbox.org\/"},{"key":"e_1_3_2_1_25_1","volume-title":"FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Lecture Notes in Computer Science","volume":"542","author":"Pferscher Andrea","unstructured":"Andrea Pferscher and Bernhard K. Aichernig. 2021. Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. In Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Lecture Notes in Computer Science, Vol. 13047), Marieke Huisman, Corina S. Pasareanu, and Naijun Zhan (Eds.). Springer, Berlin, Germany, 524--542."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-023-00425-y"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_28_1","unstructured":"Rapid7. 2024. Metasploit Framework. https:\/\/www.metasploit.com\/. Accessed: 2023-02-01."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2021.108125"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.32"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2019.2955903"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967606"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2988359"},{"key":"e_1_3_2_1_34_1","volume-title":"Hall","author":"Witten Ian H.","year":"2011","unstructured":"Ian H. Witten, Eibe Frank, and Mark A. Hall. 2011. Data mining: practical machine learning tools and techniques, 3rd Edition. Morgan Kaufmann, Elsevier, Amsterdam, Netherlands.","edition":"3"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2013.031413.00127"}],"event":{"name":"MODELS '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","location":"Linz Austria","acronym":"MODELS '24","sponsor":["Johannes Kepler University, Linz, Austria","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674087","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3640310.3674087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:52:36Z","timestamp":1755906756000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674087"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":35,"alternative-id":["10.1145\/3640310.3674087","10.1145\/3640310"],"URL":"https:\/\/doi.org\/10.1145\/3640310.3674087","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-09-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}