1. A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis;Abreu,2009
2. Localizing software faults simultaneously;Abreu,2009
3. On the accuracy of spectrum-based fault localization;Abreu,2007
4. An observation-based model for fault localization;Abreu,2008
5. Spectrum-based multiple fault localization;Abreu,2009