3 citations · 3 across the 1 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…