Supplementary Material for" Localizing Bugs in Program Executions with Graphical Models

Academic Article

Authors

  • Dietz, Laura
  • Dallmeier, Valentin
  • Zeller, Andreas
  • Scheffer, Tobias