Follow
José Miguel Rojas
Title
Cited by
Cited by
Year
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
2602015
Combining multiple coverage criteria in search-based unit test generation
JM Rojas, J Campos, M Vivanti, G Fraser, A Arcuri
Search-Based Software Engineering: 7th International Symposium, SSBSE 2015 …, 2015
1122015
A detailed investigation of the effectiveness of whole test suite generation
JM Rojas, M Vivanti, A Arcuri, G Fraser
Empirical Software Engineering 22, 852-893, 2017
1012017
Seeding strategies in search‐based unit test generation
JM Rojas, G Fraser, A Arcuri
Software Testing, Verification and Reliability 26 (5), 366-401, 2016
952016
Automated accessibility testing of mobile apps
MM Eler, JM Rojas, Y Ge, G Fraser
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
892018
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
742015
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
662017
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
652017
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
652015
Code defenders: a mutation testing game
JM Rojas, G Fraser
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
642016
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
542019
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
512017
Software testing
G Fraser, JM Rojas
Handbook of Software Engineering, 123-192, 2019
462019
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
362018
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
242018
Compositional symbolic execution through program specialization
JM Rojas, CS Pasareanu
BYTECODE'13 (ETAPS), 2013
242013
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
Formal Methods for Executable Software Models: 14th International School on …, 2014
192014
Teaching mutation testing using gamification
JM Rojas, G Fraser
European Conference on Software Engineering Education (ECSEE), 2016
162016
Compositional clp-based test data generation for imperative languages
E Albert, M Gómez-Zamalloa, JM Rojas, G Puebla
Logic-Based Program Synthesis and Transformation: 20th International …, 2011
142011
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
132011
The system can't perform the operation now. Try again later.
Articles 1–20