43 citations · 47 across the 4 of their papers we have counts for
1 paper · 1 filter
Johann Glock, Clemens Bauer, Martin Pinzger
Conventional unit tests validate single input-output pairs, leaving most inputs of an execution path untested. Property-based testing addresses this shortcoming by generating multi…