Model based test generation for repair and its application to vehicle diagnosisAndreas MalikAgotado4,3Notifícame
