Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Confirmed Publications: 159



131
TITLE: Prioritizing tests for software fault diagnosis  Full Text
AUTHORS: Alberto Gonzalez Sanchez; Eric Piel; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 41, ISSUE: 10
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
132
TITLE: Probabilistic error propagation modeling in logic circuits
AUTHORS: Gupta, S; Van Gemund, AJ; Abreu, R ;
PUBLISHED: 2011, SOURCE: 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 in Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
133
TITLE: Simultaneous debugging of software faults  Full Text
AUTHORS: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 21
IN MY: ORCID | DBLP
134
TITLE: Spectrum-based sequential diagnosis
AUTHORS: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLISHED: 2011, SOURCE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
135
TITLE: Diagnosing multiple intermittent failures using maximum likelihood estimation  Full Text
AUTHORS: Rui Abreu ; Arjan J C van Gemund;
PUBLISHED: 2010, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 174, ISSUE: 18
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID | DBLP
136
TITLE: Exploiting count spectra for Bayesian fault localization
AUTHORS: Abreu, R ; Gonzalez Sanchez, A; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010 in ACM International Conference Proceeding Series
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP
137
TITLE: Increasing system availability with local recovery based on fault localization  Full Text
AUTHORS: Sozer, H; Abreu, R ; Aksit, M; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 10th International Conference on Quality Software, QSIC 2010 in Proceedings - International Conference on Quality Software
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
138
TITLE: PETTool: A pattern-based GUI testing tool
AUTHORS: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLISHED: 2010, SOURCE: 2010 2nd International Conference on Software Technology and Engineering, ICSTE 2010 in ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings, VOLUME: 1
INDEXED IN: Scopus CrossRef: 11
IN MY: ORCID
139
TITLE: The GZoltar Project: A Graphical Debugger Interface
AUTHORS: Andre Riboira; Rui Abreu ;
PUBLISHED: 2010, SOURCE: 5th International Academic and Industrial Conference TAIC PART 2010 in TESTING - PRACTICE AND RESEARCH TECHNIQUES, VOLUME: 6303
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP
140
TITLE: A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis
AUTHORS: Rui Abreu ; Arjan van C v Gemund;
PUBLISHED: 2009, SOURCE: Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009
INDEXED IN: DBLP
IN MY: DBLP
Page 14 of 16. Total results: 159.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service