Finding Specification Blind Spots via Fuzz Testing.

Published in: SP (2023)

Keyphrases

high level
test case generation
machine learning
computer vision
expert systems
formal verification
neural network
similarity measure
data model
test cases
formal methods
method finds
tool suite