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 | 31 | 2018 |
An efficient bitwise algorithm for intra-procedural data-flow testing coverage ML Chaim, RPA De Araujo Information Processing Letters 113 (8), 293-300, 2013 | 23 | 2013 |
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 | 18 | 2019 |
Data-flow testing in the large RPA de Araujo, ML Chaim 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 17 | 2014 |
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 | 11 | 2009 |
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 | 10 | 2010 |
Evaluating instrumentation strategies by program simulation RA Araujo, A Accioly, FA Alencar, ML Chaim IADIS Applied Computing, 2011 | 9 | 2011 |
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 | 8 | 2021 |
Graph representation for data flow coverage MC Neto, RPA Araujo, ML Chaim, J Offutt 2021 IEEE 45th Annual Computers, Software, and Applications Conference …, 2021 | 3 | 2021 |
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 | 3 | 2013 |
On subsumption relationships in data flow testing ML Chaim, K Baral, J Offutt, MC Neto, RPA Araujo Software Testing, Verification and Reliability 33 (6), e1843, 2023 | 1 | 2023 |
Scalable data-flow testing RPA de Araujo Master’s thesis. Universidade de São Paulo, 2014 | 1 | 2014 |
Scalable data-flow testing RPA Araujo Universidade de São Paulo, 2014 | | 2014 |
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 | | |