Person | TU Delft Repository

Simultaneous Debugging of Software Faults

Journal article (2011) - R.F. Lima Maranhao De Abreu, P Zoeteweij, A.J.C. van Gemund

Using Fault Screeners for Software Error Detection

Conference paper (2010) - R.F. Lima Maranhao De Abreu, A. Gonzalez Sanchez, P Zoeteweij, A.J.C. van Gemund

A Model-based Software Reasoning Approach to Software Debugging

Book chapter (2009) - R.F. Lima Maranhao De Abreu, P Zoeteweij, A.J.C. van Gemund

Localizing Software Faults Simultaneously

Conference paper (2009) - R.F. Lima Maranhao De Abreu, P Zoeteweij, A.J.C. van Gemund

Fault Localization of Embedded Software

Book chapter (2009) - R.F. Lima Maranhao De Abreu, P Zoeteweij, A.J.C. van Gemund

Spectrum-Based Fault Localization in Practice

Book chapter (2009) - P Zoeteweij, R.F. Lima Maranhao De Abreu, A.J.C. van Gemund

A practical evaluation of spectrum-based fault localization

Journal article (2009) - R.F. Lima Maranhao De Abreu, P Zoeteweij, R. Golsteijn, A.J.C. van Gemund

Spectrum-based Multiple Fault Localization

Conference paper (2009) - R.F. Lima Maranhao De Abreu, P Zoeteweij, A.J.C. van Gemund

On the Performance of Fault Screeners in Software Development and Deployment

Conference paper (2008) - R.F. Lima Maranhao De Abreu, A. Gonzalez Sanchez, P Zoeteweij, A.J.C. van Gemund

An Observation-based Model for Fault Localization

Conference paper (2008) - R.F. Lima Maranhao De Abreu, P Zoeteweij, A.J.C. van Gemund

A Dynamic Modeling Approach to Software Multiple-Fault Localization

Conference paper (2008) - R.F. Lima Maranhao De Abreu, P Zoeteweij, A.J.C. van Gemund

Automatic Software Fault Localization using Generic Program Invariants

Conference paper (2008) - R.F. Lima Maranhao De Abreu, A. Gonzalez Sanchez, P Zoeteweij, A.J.C. van Gemund

Automated Fault Diagnosis in Embedded Systems

Conference paper (2008) - P Zoeteweij, J Pietersma, R.F. Lima Maranhao De Abreu, A.B. Feldman, A.J.C. van Gemund

Software fault diagnosis

Conference paper (2007) - P Zoeteweij, R.F. Lima Maranhao De Abreu, A.J.C. van Gemund

An analysis of arithmetic constraints on integer intervals

Journal article (2007) - KR Apt, P Zoeteweij

On the Accuracy of Spectrum-based Fault Localization

Conference paper (2007) - R.F. Lima Maranhao De Abreu, P Zoeteweij, A.J.C. van Gemund

An Evaluation of Similarity Coefficients for Software Fault Localization

Conference paper (2006) - R. Abreu, P Zoeteweij, A.J.C. van Gemund

Program Spectra Analysis in Embedded Software: A Case Study