7 citations · 10 across the 4 of their papers we have counts for
1 paper · 1 filter
Vineeth Kashyap, Jason Ruchti, Lucja Kot +6
We introduce Bug-Injector, a system that automatically creates benchmarks for customized evaluation of static analysis tools. We share a benchmark generated using Bug-Injector and…