Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning

von Pferscher, Andrea
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Learning Abstracted Non-deterministic Finite State Machines

von Pferscher, Andrea
Veröffentlicht in ICTSS (32. : 2020 : Online) Testing software and systems (2020)

Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning

von Pferscher, Andrea
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

From Passive to Active: Learning Timed Automata Efficiently

von Aichernig, Bernhard K.
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

AALpy: An Active Automata Leaming Library

von Muskardin, Edi
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Constrained Training of Recurrent Neural Networks for Automata Leaming

von Aichernig, Bernhard K.
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)