Follow
Roberto Araujo
Roberto Araujo
Verified email at usp.br - Homepage
Title
Cited by
Cited by
Year
Jaguar: A spectrum-based fault localization tool for real-world software
HL Ribeiro, RPA de Araujo, ML Chaim, HA de Souza, F Kon
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
282018
An efficient bitwise algorithm for intra-procedural data-flow testing coverage
ML Chaim, RPA De Araujo
Information Processing Letters 113 (8), 293-300, 2013
222013
Evaluating data-flow coverage in spectrum-based fault localization
HL Ribeiro, PAR de Araujo, ML Chaim, HA de Souza, F Kon
2019 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2019
162019
Data-flow testing in the large
RPA de Araujo, ML Chaim
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
162014
A Classification-driven Approach to Document Planning
R Oliveira, E Novais, R Araujo, I Paraboni
Proceedings of the International Conference RANLP-2009, 324-329, 2009
112009
SINotas: the Evaluation of a NLG Application
RPA de Araújo, RL De Oliveira, EM de Novais, TD Tadeu, DB Pereira, ...
Proceedings of the International Conference on Language Resources and …, 2010
102010
Efficiently finding data flow subsumptions
ML Chaim, K Baral, J Offutt, M Concilio, RPA Araujo
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
82021
Evaluating instrumentation strategies by program simulation
RA Araujo, A Accioly, FA Alencar, ML Chaim
IADIS Applied Computing, 2011
82011
Proof of correctness of the bitwise algorithm for intra-procedural data-flow testing coverage
ML Chaim, RPA de Araujo
PPgSI-001/2013, School of Arts, Sciences and Humanities, University of Sao …, 2013
32013
Graph Representation for Data Flow Coverage
MC Neto, RPA Araujo, ML Chaim, J Offutt
2021 IEEE 45th Annual Computers, Software, and Applications Conference …, 2021
22021
On subsumption relationships in data flow testing
ML Chaim, K Baral, J Offutt, MC Neto, RPA Araujo
Software Testing, Verification and Reliability, e1843, 2023
12023
Scalable data-flow testing
RPA Araujo
Universidade de São Paulo, 2014
12014
Technical Report PPgSI-001/2013 Proof of Correctness of the Bitwise Algorithm for Intra-procedural Data-flow Testing Coverage
ML Chaim, RPA de Araujo
2013
Geração Automática de Estruturas Discursivas
RPA de Araujo
The system can't perform the operation now. Try again later.
Articles 1–14