External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Jixiang Shen

This author has not been identified. Look up 'Jixiang Shen' in Google

Xi Wu

This author has not been identified. Look up 'Xi Wu' in Google

Neville Grech

This author has not been identified. It may be one of the following persons: Look up 'Neville Grech' in Google

Bernhard Scholz

This author has not been identified. Look up 'Bernhard Scholz' in Google

Yannis Smaragdakis

This author has not been identified. It may be one of the following persons: Look up 'Yannis Smaragdakis' in Google
runs on