Search Results for author:
Found 3 papers, 1 papers with code
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing
In this work, we evaluate an extensive set of state selection algorithms on the same fuzzing platform that is AFLNet, a state-of-the-art fuzzer for network servers.
Legion: Best-First Concolic Testing
Legion incorporates a form of directed fuzzing that we call approximate path-preserving fuzzing (APPFuzzing) to investigate program states selected by MCTS.
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input
We present an algorithm that quickly finds falsifying inputs for hybrid systems, i. e., inputs that steer the system towards violation of a given temporal logic requirement.
Systems and Control
