Explaining bug provenance with trace witnesses

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]

@inproceedings{ShenWGSS20,
  title = {Explaining bug provenance with trace witnesses},
  author = {Jixiang Shen and Xi Wu and Neville Grech and Bernhard Scholz and Yannis Smaragdakis},
  year = {2020},
  doi = {10.1145/3394451.3397206},
  url = {https://doi.org/10.1145/3394451.3397206},
  researchr = {https://researchr.org/publication/ShenWGSS20},
  cites = {0},
  citedby = {0},
  pages = {14-19},
  booktitle = {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},
  editor = {Paddy Krishnan and Christoph Reichenbach},
  publisher = {ACM},
  isbn = {978-1-4503-7997-7},
}