11 citations · 18 across the 2 of their papers we have counts for
3 papers
Automated Customized Bug-Benchmark Generation
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…
Source Forager: A Search Engine for Similar Source Code
Vineeth Kashyap, David Bingham Brown, Ben Liblit +2
Developers spend a significant amount of time searching for code: e.g., to understand how to complete, correct, or adapt their own code for a new context. Unfortunately, the state…
Data-Driven Program Completion
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine +1
We introduce program splicing, a programming methodology that aims to automate the commonly used workflow of copying, pasting, and modifying code available online. Here, the progra…