Localizing Bugs in Program Executions with Graphical Models

Open in new window