Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis. Explaining bug provenance with trace witnesses. In Paddy Krishnan, Christoph Reichenbach, editors, Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK, June 15, 2020. pages 14-19, ACM, 2020. [doi]