Seguir
José Miguel Rojas
Título
Citado por
Citado por
Año
Do automatically generated unit tests find real faults? an empirical study of effectiveness and challenges (t)
S Shamshiri, R Just, JM Rojas, G Fraser, P McMinn, A Arcuri
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
2022015
Combining multiple coverage criteria in search-based unit test generation
JM Rojas, J Campos, M Vivanti, G Fraser, A Arcuri
International Symposium on Search Based Software Engineering, 93-108, 2015
882015
A detailed investigation of the effectiveness of whole test suite generation
JM Rojas, M Vivanti, A Arcuri, G Fraser
Empirical Software Engineering 22 (2), 852-893, 2017
872017
Seeding strategies in search‐based unit test generation
JM Rojas, G Fraser, A Arcuri
Software Testing, Verification and Reliability 26 (5), 366-401, 2016
712016
Random or genetic algorithm search for object-oriented test suite generation?
S Shamshiri, JM Rojas, G Fraser, P McMinn
Proceedings of the 2015 annual conference on genetic and evolutionary …, 2015
652015
Automated unit test generation during software development: A controlled experiment and think-aloud observations
JM Rojas, G Fraser, A Arcuri
Proceedings of the 2015 international symposium on software testing and …, 2015
522015
Automated accessibility testing of mobile apps
MM Eler, JM Rojas, Y Ge, G Fraser
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
472018
Code defenders: a mutation testing game
JM Rojas, G Fraser
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
462016
Teaching software testing concepts using a mutation testing game
BS Clegg, JM Rojas, G Fraser
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
452017
Generating unit tests with descriptive names or: Would you name your children thing1 and thing2?
E Daka, JM Rojas, G Fraser
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
422017
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game
JM Rojas, TD White, BS Clegg, G Fraser
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
402017
Software testing
G Fraser, JM Rojas
Handbook of Software Engineering, 123-192, 2019
282019
Gamifying a software testing course with code defenders
G Fraser, A Gambi, M Kreis, JM Rojas
Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
232019
Random or evolutionary search for object‐oriented test suite generation?
S Shamshiri, JM Rojas, L Gazzola, G Fraser, P McMinn, L Mariani, ...
Software Testing, Verification and Reliability 28 (4), e1660, 2018
212018
How do automatically generated unit tests influence software maintenance?
S Shamshiri, JM Rojas, JP Galeotti, N Walkinshaw, G Fraser
2018 IEEE 11th international conference on software testing, verification …, 2018
202018
Compositional symbolic execution through program specialization
JM Rojas, CS Pasareanu
8th Workshop on Bytecode Semantics, Verification, Analysis and …, 2013
192013
Test case generation by symbolic execution: Basic concepts, a clp-based instance, and actor-based concurrency
E Albert, P Arenas, M Gómez-Zamalloa, JM Rojas
International School on Formal Methods for the Design of Computer …, 2014
182014
Parallel simulation of NEPs on clusters
CN Navarrete, M de la Cruz Echeandia, EA Rey, AO de la Puente, ...
2011 IEEE/WIC/ACM International Conferences on Web Intelligence and …, 2011
142011
Compositional CLP-based test data generation for imperative languages
E Albert, M Gómez-Zamalloa, JM Rojas, G Puebla
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
132010
Compositional CLP-based test data generation for imperative languages
E Albert, M Gómez-Zamalloa, JM Rojas, G Puebla
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
132010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20