José Miguel Rojas
José Miguel Rojas
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα leicester.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1782015
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
822015
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
802017
Seeding strategies in search‐based unit test generation
JM Rojas, G Fraser, A Arcuri
Software Testing, Verification and Reliability 26 (5), 366-401, 2016
662016
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
612015
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
442015
Automated accessibility testing of mobile apps
MM Eler, JM Rojas, Y Ge, G Fraser
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
432018
Code defenders: a mutation testing game
JM Rojas, G Fraser
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
432016
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
412017
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
372017
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
372017
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
202019
Software testing
G Fraser, JM Rojas
Handbook of Software Engineering, 123-192, 2019
202019
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
192018
Compositional symbolic execution through program specialization
JM Rojas, CS Pasareanu
BYTECODE’13 (ETAPS), 2013
192013
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
172018
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
172014
Teaching Mutation Testing using Gamification
JM Rojas, G Fraser
The University of, 2013
132013
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
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20