@article{JSG+12,
title = {Finding and fixing faults },
author = {Jobstmann, Barbara and Staber, Stefan and Griesmayer, Andreas and Bloem, Roderick},
year = {2012},
journal = {J. Comput. Syst. Sci.},
number = {2},
pages = {441-460},
volume = {78},
team = {DCS},
}
