Login / Signup
Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation.
Cen Zhang
Yuekang Li
Hao Zhou
Xiaohan Zhang
Yaowen Zheng
Xian Zhan
Xiaofei Xie
Xiapu Luo
Xinghua Li
Yang Liu
Sheikh Mahbub Habib
Published in:
USENIX Security Symposium (2023)
Keyphrases
</>
control flow
data flow
software testing
transition systems
finite state
process model
cellular automata
regular expressions
modeling language
finite state machines
database
test cases
software engineering
knowledge base
databases
reactive systems
business process models