Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Publicações Confirmadas: 159



131
TÍTULO: Prioritizing tests for software fault diagnosis  Full Text
AUTORES: Alberto Gonzalez Sanchez; Eric Piel; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLICAÇÃO: 2011, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 41, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
132
TÍTULO: Probabilistic error propagation modeling in logic circuits
AUTORES: Gupta, S; Van Gemund, AJ; Abreu, R ;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
133
TÍTULO: Simultaneous debugging of software faults  Full Text
AUTORES: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
NO MEU: ORCID | DBLP
134
TÍTULO: Spectrum-based sequential diagnosis
AUTORES: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
135
TÍTULO: Diagnosing multiple intermittent failures using maximum likelihood estimation  Full Text
AUTORES: Rui Abreu ; Arjan J C van Gemund;
PUBLICAÇÃO: 2010, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 174, NÚMERO: 18
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID | DBLP
136
TÍTULO: Exploiting count spectra for Bayesian fault localization
AUTORES: Abreu, R ; Gonzalez Sanchez, A; Van Gemund, AJC;
PUBLICAÇÃO: 2010, FONTE: 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010 in ACM International Conference Proceeding Series
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP
137
TÍTULO: Increasing system availability with local recovery based on fault localization  Full Text
AUTORES: Sozer, H; Abreu, R ; Aksit, M; Van Gemund, AJC;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Quality Software, QSIC 2010 in Proceedings - International Conference on Quality Software
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
138
TÍTULO: PETTool: A pattern-based GUI testing tool
AUTORES: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus CrossRef: 11
NO MEU: ORCID
139
TÍTULO: The GZoltar Project: A Graphical Debugger Interface
AUTORES: Andre Riboira; Rui Abreu ;
PUBLICAÇÃO: 2010, FONTE: 5th International Academic and Industrial Conference TAIC PART 2010 in TESTING - PRACTICE AND RESEARCH TECHNIQUES, VOLUME: 6303
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP
140
TÍTULO: A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis
AUTORES: Rui Abreu ; Arjan J C van Gemund;
PUBLICAÇÃO: 2009, FONTE: Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
Página 14 de 16. Total de resultados: 159.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service