Finding and fixing faults (2009)

by B Jobstmann, S Staber, A Griesmayer, R Bloem
Venue:Journal of Computer and System Sciences (JCSS