Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
- 20 May 2022
- book chapter
- Published by Springer Nature
- p. 373-392
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Combining Model Learning and Model Checking to Analyze TCP Implementations2016
- Generating models of infinite-state communication protocols using regular inference with abstractionFormal Methods in System Design, 2014
- T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols2014
- SAGE: Whitebox Fuzzing for Security TestingQueue, 2012
- Inferring Mealy Machines2009
- Model Based Testing with Labelled Transition Systems2008
- SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr2006
- Inference of Finite Automata Using Homing SequencesInformation and Computation, 1993
- An empirical study of the reliability of UNIX utilitiesCommunications of the ACM, 1990
- Learning regular sets from queries and counterexamplesInformation and Computation, 1987