Roberto Araujo
Roberto Araujo
Verified email at usp.br - Homepage
Title
Cited by
Cited by
Year
An efficient bitwise algorithm for intra-procedural data-flow testing coverage
ML Chaim, RPA De Araujo
Information Processing Letters 113 (8), 293-300, 2013
192013
Data-flow testing in the large
RPA de Araujo, ML Chaim
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
102014
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
92018
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
92009
Evaluating instrumentation strategies by program simulation
RA Araujo, A Accioly, FA Alencar, ML Chaim
IADIS, 2011
82011
SINotas: the Evaluation of a NLG Application
RPA De Araujo, RL De Oliveira, EM De Novais, TD Tadeu, DB Pereira, ...
Proceedings of the International Conference on Language Resources and …, 2010
62010
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
42019
Proof of correctness of the bitwise algorithm for intra-procedural data-flow testing coverage
ML Chaim, RPA de Araujo, LC Martins, G da Silva Craveiro, JJP Alcázar, ...
PPgSI-001/2013, School of Arts, Sciences and Humanities, University of Sao …, 2013
32013
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
22021
Graph Representation for Data Flow Coverage
MC Neto, RPA Araujo, ML Chaim, J Offutt
2021 IEEE 45th Annual Computers, Software, and Applications Conference …, 2021
2021
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
Scalable data-flow testing
RPA Araujo
Universidade de São Paulo, 0
Geração Automática de Estruturas Discursivas
RPA de Araujo
The system can't perform the operation now. Try again later.
Articles 1–13