@inproceedings(DBLP:conf/icst/AichernigMP21,
 author       = {Bernhard K. Aichernig and Mu\v{s}kardin, Edi and Andrea Pferscher},
 year         = {2021},
 title        = {Learning-Based Fuzzing of IoT Message Brokers},
 booktitle    = {14th {IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2021, Porto de Galinhas, Brazil, April 12-16, 2021},
 publisher    = {{IEEE}},
 pages        = {47--58},
 doi          = {10.1109/ICST49551.2021.00017},
)
@inproceedings(DBLP:conf/nfm/AichernigPT20,
 author       = {Bernhard K. Aichernig and Andrea Pferscher and Martin Tappler},
 year         = {2020},
 title        = {From Passive to Active: Learning Timed Automata Efficiently},
 editor       = {Ritchie Lee and Susmit Jha and Anastasia Mavridou},
 booktitle    = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12229},
 publisher    = {Springer},
 pages        = {1--19},
 doi          = {10.1007/978-3-030-55754-6\_1},
)
@article(DBLP:journals/jar/AichernigT19,
 author       = {Bernhard K. Aichernig and Martin Tappler},
 year         = {2019},
 title        = {Efficient Active Automata Learning via Mutation Testing},
 journal      = {J. Autom. Reason.},
 volume       = {63},
 number       = {4},
 pages        = {1103--1134},
 doi          = {10.1007/s10817-018-9486-0},
)
@inproceedings(DBLP:conf/tap/AichernigTW20,
 author       = {Bernhard K. Aichernig and Martin Tappler and Felix Wallner},
 year         = {2020},
 title        = {Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning},
 editor       = {Wolfgang Ahrendt and Heike Wehrheim},
 booktitle    = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12165},
 publisher    = {Springer},
 pages        = {3--22},
 doi          = {10.1007/978-3-030-50995-8\_1},
)
@article(DBLP:journals/iandc/Angluin87,
 author       = {Dana Angluin},
 year         = {1987},
 title        = {Learning Regular Sets from Queries and Counterexamples},
 journal      = {Inf. Comput.},
 volume       = {75},
 number       = {2},
 pages        = {87--106},
 doi          = {10.1016/0890-5401(87)90052-6},
)
@article(DBLP:journals/tc/BiermannF72,
 author       = {Alan W. Biermann and Jerome A. Feldman},
 year         = {1972},
 title        = {On the Synthesis of Finite-State Machines from Samples of Their Behavior},
 journal      = {{IEEE} Trans. Computers},
 volume       = {21},
 number       = {6},
 pages        = {592--597},
 doi          = {10.1109/TC.1972.5009015},
)
@techreport(Bluetooth53,
 author       = {{Bluetooth SIG}},
 year         = {2021},
 title        = {Bluetooth Core Specification v5.3},
 type         = {Standard},
 institution  = {{Bluetooth SIG}},
 url          = {https://www.bluetooth.com/specifications/specs/core-specification/},
)
@proceedings(DBLP:conf/fm/2009,
 editor       = {Ana Cavalcanti and Dennis Dams},
 year         = {2009},
 title        = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5850},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-05089-3},
)
@inproceedings(DBLP:conf/fsmnlp/CombeHJ09,
 author       = {David Combe and Colin de la Higuera and Jean{-}Christophe Janodet},
 year         = {2009},
 title        = {Zulu: An Interactive Learning Competition},
 editor       = {Yli{-}Jyr{\"{a}}, Anssi and Andr{\'{a}}s Kornai and Jacques Sakarovitch and Bruce W. Watson},
 booktitle    = {Finite-State Methods and Natural Language Processing, 8th International Workshop, {FSMNLP} 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {6062},
 publisher    = {Springer},
 pages        = {139--146},
 doi          = {10.1007/978-3-642-14684-8\_15},
)
@inproceedings(DBLP:conf/sp/ComparettiWKK09,
 author       = {Paolo Milani Comparetti and Gilbert Wondracek and Christopher Kr{\"{u}}gel and Engin Kirda},
 year         = {2009},
 title        = {Prospex: Protocol Specification Extraction},
 booktitle    = {30th {IEEE} Symposium on Security and Privacy (S{\&}P 2009), 17-20 May 2009, Oakland, California, {USA}},
 publisher    = {{IEEE} Computer Society},
 pages        = {110--125},
 doi          = {10.1109/SP.2009.14},
)
@inproceedings(DBLP:conf/uss/DoupeCKV12,
 author       = {Adam Doup{\'{e}} and Ludovico Cavedon and Christopher Kruegel and Giovanni Vigna},
 year         = {2012},
 title        = {Enemy of the State: {A} State-Aware Black-Box Web Vulnerability Scanner},
 editor       = {Tadayoshi Kohno},
 booktitle    = {Proceedings of the 21th {USENIX} Security Symposium, Bellevue, WA, USA, August 8-10, 2012},
 publisher    = {{USENIX} Association},
 pages        = {523--538},
 url          = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/doupe},
)
@inproceedings(DBLP:conf/cav/Fiterau-Brostean16,
 author       = {Fiterau{-}Brostean, Paul and Ramon Janssen and Frits W. Vaandrager},
 year         = {2016},
 title        = {Combining Model Learning and Model Checking to Analyze {TCP} Implementations},
 editor       = {Swarat Chaudhuri and Azadeh Farzan},
 booktitle    = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9780},
 publisher    = {Springer},
 pages        = {454--471},
 doi          = {10.1007/978-3-319-41540-6\_25},
)
@inproceedings(DBLP:conf/uss/Fiterau-Brostean20,
 author       = {Fiterau{-}Brostean, Paul and Bengt Jonsson and Robert Merget and Joeri de Ruiter and Konstantinos Sagonas and Juraj Somorovsky},
 year         = {2020},
 title        = {Analysis of {DTLS} Implementations Using Protocol State Fuzzing},
 editor       = {Srdjan Capkun and Franziska Roesner},
 booktitle    = {29th {USENIX} Security Symposium, {USENIX} Security 2020, August 12-14, 2020},
 publisher    = {{USENIX} Association},
 pages        = {2523--2540},
 url          = {https://www.usenix.org/conference/usenixsecurity20/presentation/fiterau-brostean},
)
@inproceedings(DBLP:conf/spin/Fiterau-Brostean17,
 author       = {Fiterau{-}Brostean, Paul and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits W. Vaandrager and Patrick Verleg},
 year         = {2017},
 title        = {Model learning and model checking of {SSH} implementations},
 editor       = {Hakan Erdogmus and Klaus Havelund},
 booktitle    = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017},
 publisher    = {{ACM}},
 pages        = {142--151},
 doi          = {10.1145/3092282.3092289},
)
@article(DBLP:journals/tse/FujiwaraBKAG91,
 author       = {Susumu Fujiwara and Gregor von Bochmann and Ferhat Khendek and Mokhtar Amalou and Abderrazak Ghedamsi},
 year         = {1991},
 title        = {Test Selection Based on Finite State Models},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {17},
 number       = {6},
 pages        = {591--603},
 doi          = {10.1109/32.87284},
)
@article(DBLP:journals/iandc/Gold78,
 author       = {E. Mark Gold},
 year         = {1978},
 title        = {Complexity of Automaton Identification from Given Data},
 journal      = {Inf. Control.},
 volume       = {37},
 number       = {3},
 pages        = {302--320},
 doi          = {10.1016/S0019-9958(78)90562-4},
)
@book(deLaHigueraRPNI,
 author       = {Colin de la Higuera},
 year         = {2010},
 title        = {Grammatical Inference: {Learning} Automata and Grammars},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 doi          = {10.1017/CBO9781139194655},
)
@inproceedings(DBLP:conf/rv/IsbernerHS14,
 author       = {Malte Isberner and Falk Howar and Bernhard Steffen},
 year         = {2014},
 title        = {The {TTT} Algorithm: {A} Redundancy-Free Approach to Active Automata Learning},
 editor       = {Borzoo Bonakdarpour and Scott A. Smolka},
 booktitle    = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8734},
 publisher    = {Springer},
 pages        = {307--322},
 doi          = {10.1007/978-3-319-11164-3\_26},
)
@inproceedings(DBLP:conf/spin/JasperFSSMPHS17,
 author       = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel},
 year         = {2017},
 title        = {The {RERS} 2017 challenge and workshop (invited paper)},
 editor       = {Hakan Erdogmus and Klaus Havelund},
 booktitle    = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017},
 publisher    = {{ACM}},
 pages        = {11--20},
 doi          = {10.1145/3092282.3098206},
)
@inproceedings(DBLP:conf/icgi/LangPP98,
 author       = {Kevin J. Lang and Barak A. Pearlmutter and Rodney A. Price},
 year         = {1998},
 title        = {Results of the Abbadingo One {DFA} Learning Competition and a New Evidence-Driven State Merging Algorithm},
 editor       = {Vasant G. Honavar and Giora Slutzki},
 booktitle    = {Grammatical Inference, 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1433},
 publisher    = {Springer},
 pages        = {1--12},
 doi          = {10.1007/BFb0054059},
)
@article(DBLP:journals/jss/LoMS12,
 author       = {David Lo and Leonardo Mariani and Mauro Santoro},
 year         = {2012},
 title        = {Learning extended {FSA} from software: An empirical assessment},
 journal      = {J. Syst. Softw.},
 volume       = {85},
 number       = {9},
 pages        = {2063--2076},
 doi          = {10.1016/j.jss.2012.04.001},
)
@article(DBLP:conf/atva/MuskardinAPPT21,
 author       = {Mu\v{s}kardin, Edi and Bernhard K. Aichernig and Ingo Pill and Andrea Pferscher and Martin Tappler},
 year         = {2022},
 title        = {{AALpy}: An Active Automata Learning Library},
 journal      = {Innovations Syst. Softw. Eng.},
 doi          = {10.1007/s11334-022-00449-3},
)
@misc(supplementalMaterialPassiveEvaluation,
 author       = {Edi Muškardin and Andrea Pferscher},
 title        = {Supplemental Material for ``{A}ctive vs. Passive: {A} Comparison of Automata Learning Paradigms for Network Protocols''},
 howpublished = {\url{https://github.com/apferscher/ble-learning-passive}},
 note         = {{Accessed: 2022-08-05}},
)
@inproceedings(DBLP:conf/birthday/NeiderSVK97,
 author       = {Daniel Neider and Rick Smetsers and Frits W. Vaandrager and Harco Kuppens},
 year         = {2018},
 title        = {Benchmarks for Automata Learning and Conformance Testing},
 editor       = {Tiziana Margaria and Susanne Graf and Kim G. Larsen},
 booktitle    = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {11200},
 publisher    = {Springer},
 pages        = {390--416},
 doi          = {10.1007/978-3-030-22348-9\_23},
)
@misc(mqttSpecification,
 author       = {OASIS},
 title        = {MQTT Version 5.0},
 howpublished = {\url{https://docs.oasis-open.org/mqtt/mqtt/v5.0/mqtt-v5.0.pdf}},
 note         = {{Acessed: 2022-08-04}},
)
@article(OncinaG92,
 author       = {José Oncina and Pedro Garía},
 year         = {1993},
 title        = {Identifying regular languages in polynomial time},
 journal      = {Advances in Structural and Syntactic Pattern Recognition},
 volume       = {5},
 pages        = {99--108},
 doi          = {10.1142/9789812797919\_0007},
)
@inproceedings(DBLP:conf/pts/PferscherA20,
 author       = {Andrea Pferscher and Bernhard K. Aichernig},
 year         = {2020},
 title        = {Learning Abstracted Non-deterministic Finite State Machines},
 editor       = {Valentina Casola and Alessandra De Benedictis and Massimiliano Rak},
 booktitle    = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12543},
 publisher    = {Springer},
 pages        = {52--69},
 doi          = {10.1007/978-3-030-64881-7\_4},
)
@inproceedings(DBLP:conf/fm/PferscherA21,
 author       = {Andrea Pferscher and Bernhard K. Aichernig},
 year         = {2021},
 title        = {Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning},
 editor       = {Marieke Huisman and Corina S. Pasareanu and Naijun Zhan},
 booktitle    = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual Event, November 20-26, 2021, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {13047},
 publisher    = {Springer},
 pages        = {524--542},
 doi          = {10.1007/978-3-030-90870-6\_28},
)
@inproceedings(DBLP:conf/nfm/PferscherA22,
 author       = {Andrea Pferscher and Bernhard K. Aichernig},
 year         = {2022},
 title        = {Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning},
 editor       = {Jyotirmoy V. Deshmukh and Klaus Havelund and Ivan Perez},
 booktitle    = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {13260},
 publisher    = {Springer},
 pages        = {373--392},
 doi          = {10.1007/978-3-031-06773-0\_20},
)
@article(DBLP:journals/corr/abs-1903-04384,
 author       = {Abdullah Rasool and Greg Alp{\'{a}}r and Joeri de Ruiter},
 year         = {2019},
 title        = {State machine inference of {QUIC}},
 journal      = {CoRR},
 volume       = {abs/1903.04384},
 doi          = {10.48550/arXiv.1903.04384},
)
@article(DBLP:journals/iandc/RivestS93,
 author       = {Ronald L. Rivest and Robert E. Schapire},
 year         = {1993},
 title        = {Inference of Finite Automata Using Homing Sequences},
 journal      = {Inf. Comput.},
 volume       = {103},
 number       = {2},
 pages        = {299--347},
 doi          = {10.1006/inco.1993.1021},
)
@inproceedings(DBLP:conf/uss/RuiterP15,
 author       = {Joeri de Ruiter and Erik Poll},
 year         = {2015},
 title        = {Protocol State Fuzzing of {TLS} Implementations},
 editor       = {Jaeyeon Jung and Thorsten Holz},
 booktitle    = {24th {USENIX} Security Symposium, {USENIX} Security 15, Washington, D.C., USA, August 12-14, 2015},
 publisher    = {{USENIX} Association},
 pages        = {193--206},
 url          = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/de-ruiter},
)
@inproceedings(DBLP:conf/fm/ShahbazG09,
 author       = {Muzammil Shahbaz and Roland Groz},
 year         = {2009},
 title        = {Inferring {Mealy} Machines},
 editor       = {Cavalcanti and Dams},
 pages        = {207--222},
 doi          = {10.1007/978-3-642-05089-3\_14},
)
@inproceedings(DBLP:conf/icfem/SmeenkMVJ15,
 author       = {Wouter Smeenk and Joshua Moerman and Frits W. Vaandrager and David N. Jansen},
 year         = {2015},
 title        = {Applying Automata Learning to Embedded Control Software},
 editor       = {Michael J. Butler and Sylvain Conchon and Za{\"{\i}}di, Fatiha},
 booktitle    = {Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November 3-5, 2015, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9407},
 publisher    = {Springer},
 pages        = {67--83},
 doi          = {10.1007/978-3-319-25423-4\_5},
)
@inproceedings(DBLP:conf/esorics/StoneCR18,
 author       = {Chris McMahon Stone and Tom Chothia and Joeri de Ruiter},
 year         = {2018},
 title        = {Extending Automated Protocol State Learning for the 802.11 4-Way Handshake},
 editor       = {Javier L{\'{o}}pez and Jianying Zhou and Miguel Soriano},
 booktitle    = {Computer Security - 23rd European Symposium on Research in Computer Security, {ESORICS} 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part {I}},
 series       = {Lecture Notes in Computer Science},
 volume       = {11098},
 publisher    = {Springer},
 pages        = {325--345},
 doi          = {10.1007/978-3-319-99073-6\_16},
)
@inproceedings(DBLP:conf/icst/TapplerAB17,
 author       = {Martin Tappler and Bernhard K. Aichernig and Roderick Bloem},
 year         = {2017},
 title        = {Model-Based Testing {IoT} Communication via Active Automata Learning},
 booktitle    = {2017 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
 publisher    = {{IEEE} Computer Society},
 pages        = {276--287},
 doi          = {10.1109/ICST.2017.32},
)
@inproceedings(DBLP:conf/fortest/Tretmans08,
 author       = {Jan Tretmans},
 year         = {2008},
 title        = {Model Based Testing with Labelled Transition Systems},
 editor       = {Robert M. Hierons and Jonathan P. Bowen and Mark Harman},
 booktitle    = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {4949},
 publisher    = {Springer},
 pages        = {1--38},
 doi          = {10.1007/978-3-540-78917-8\_1},
)
@inproceedings(DBLP:conf/fm/WalkinshawDG09,
 author       = {Neil Walkinshaw and John Derrick and Qiang Guo},
 year         = {2009},
 title        = {Iterative Refinement of Reverse-Engineered Models by Model-Based Testing},
 editor       = {Cavalcanti and Dams},
 pages        = {305--320},
 doi          = {10.1007/978-3-642-05089-3\_20},
)