DevFuzz: Automatic Device Model-Guided Device Driver Fuzzing.

Yilun Wu Tong Zhang Changhee Jung Dongyoon Lee

Published in: SP (2023)

Keyphrases

high level
prior knowledge
computational model
mathematical model
statistical model
information retrieval
artificial neural networks
measurement data
probabilistic model
theoretical analysis
hierarchical structure
fully automatic
simulation model
formal model
network model