| No. |
Title |
Author |
Year |
| 1 |
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131) |
Böhme, Marcel et al. |
2023 |
| 2 |
Understanding Program Dynamics (Dagstuhl Seminar 03491) |
Choi, Jong-Deok et al. |
2021 |
| 3 |
Testing and Verification of Compilers (Dagstuhl Seminar 17502) |
Chen, Junjie et al. |
2018 |
| 4 |
Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452) |
Childers, Bruce R. et al. |
2016 |
| 5 |
Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061) |
Harrold, Mary Jean et al. |
2013 |
| 6 |
Self-Repairing Programs (Dagstuhl Seminar 11062) |
Pezzè, Mauro et al. |
2011 |
| 7 |
07491 Abstracts Collection -- Mining Programs and Processes |
Bernstein, Abraham et al. |
2009 |
| 8 |
07491 Executive Summary -- Mining Programs and Processes |
Bernstein, Abraham et al. |
2009 |
| 9 |
05261 Abstracts Collection -- Multi-Version Program Analysis |
Ball, Thomas et al. |
2006 |
| 10 |
05261 Summary -- Multi-Version Program Analysis |
Ball, Thomas et al. |
2006 |
