16 citations · 19 across the 3 of their papers we have counts for
1 paper · 1 filter
Shaobo He, Michael Emmi, Gabriela Ciocarlie
Testing-based methodologies like fuzzing are able to analyze complex software which is not amenable to traditional formal approaches like verification, model checking, and abstract…