29 citations · 36 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022★ 29 cited
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing
Hoang Lam Nguyen, Lars Grunske
A popular metric to evaluate the performance of fuzzers is branch coverage. However, we argue that focusing solely on covering many different branches (i.e., the richness) is not s…
cs.SE2018★ 7 cited
Shadow Symbolic Execution with Java PathFinder
Yannic Noller, Hoang Lam Nguyen, Minxing Tang +1
Regression testing ensures that a software system when it evolves still performs correctly and that the changes introduce no unintended side-effects. However, the creation of regre…