Explaining bug provenance with trace witnesses.

Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis

Browse the full PLDI paper archive.