Folgen
Roberto Araujo
Roberto Araujo
Bestätigte E-Mail-Adresse bei usp.br - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
362018
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
292019
An efficient bitwise algorithm for intra-procedural data-flow testing coverage
ML Chaim, RPA De Araujo
Information Processing Letters 113 (8), 293-300, 2013
252013
Data-flow testing in the large
RPA de Araujo, ML Chaim
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
202014
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 Araujo, 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
92021
Evaluating instrumentation strategies by program simulation
RA Araujo, A Accioly, FA Alencar, ML Chaim
IADIS Applied Computing, 2011
92011
Graph representation for data flow coverage
MC Neto, RPA Araujo, ML Chaim, J Offutt
2021 IEEE 45th Annual Computers, Software, and Applications Conference …, 2021
52021
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
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
12023
Scalable data-flow testing
RPA de Araujo
Master’s thesis. Universidade de São Paulo, 2014
12014
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
On Subsumption Relationships in Data Flow Testing
RPA de Araujo
Collections 18 (1311), 1094, 0
Geração Automática de Estruturas Discursivas
RPA de Araujo
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16