References

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