José Miguel Rojas
TitleCited byYear
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
1022015
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
502017
EvoSuite at the SBST 2016 tool competition
G Fraser, A Arcuri
2016 IEEE/ACM 9th International Workshop on Search-Based Software Testing …, 2016
482016
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
402015
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
382015
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
302015
Seeding strategies in search‐based unit test generation
JM Rojas, G Fraser, A Arcuri
Software Testing, Verification and Reliability 26 (5), 366-401, 2016
272016
Code defenders: a mutation testing game
JM Rojas, G Fraser
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
262016
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game
JM Rojas, TD White, BS Clegg, G Fraser
Proceedings of the 39th International Conference on Software Engineering …, 2017
192017
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
162017
Compositional symbolic execution through program specialization
JM Rojas, CS Pasareanu
BYTECODE'13 (ETAPS), 2013
152013
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
142017
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
122010
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
122010
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
112014
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
92011
Automated accessibility testing of mobile apps
MM Eler, JM Rojas, Y Ge, G Fraser
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
82018
Resource-Driven CLP-Based test case generation
E Albert, M Gómez-Zamalloa, JM Rojas
International Symposium on Logic-Based Program Synthesis and Transformation …, 2011
72011
Teaching Mutation Testing using Gamification
JM Rojas, G Fraser
European Conference on Software Engineering Education (ECSEE), 2016
62016
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
52018
The system can't perform the operation now. Try again later.
Articles 1–20