Dr José Miguel Rojas

All publications

Journal articles

• (2025) Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023). Science of Computer Programming, 243, 103258-103258.
• Gu R, Rojas JM & Shin D (2025) Software testing for extended reality applications: a systematic mapping study. Automated Software Engineering, 32(2).
• Shamshiri S, Rojas J, Gazzola L, Fraser G, McMinn PS, Mariani L & Arcuri A (2018) Random or evolutionary search for object‐oriented test suite generation?. Software Testing, Verification & Reliability, 28(4). View this article in WRRO
• ALBERT E, DE LA BANDA MG, GÓMEZ-ZAMALLOA M, ROJAS JM & STUCKEY P (2013) A CLP heap solver for test case generation. Theory and Practice of Logic Programming, 13(4-5), 721-735.
• Aguilar J, Cancela H, Cernuzzi L & Rojas JM () Preface to the CLEI 2024 Special Issue. CLEI Electronic Journal, 28(3).
• Astudillo H, Luna C & Rojas JM () Preface to the CLEI 2023 Special Issue – Volume II. CLEI Electronic Journal, 27(4).
• Astudillo H, Luna C & Rojas JM () Preface to the CLEI 2023 Special Issue. CLEI Electronic Journal, 27(2).
• Ortega de la Puente A, De la Cruz Echeandía M, Del Rosal E, Navarrete Navarrete C, Jiménez Martínez A, De Lara J, Anguiano Rey E, Cuéllar M & Rojas Siles JM () Developing Tools for Networks of Processors. Triangle(7), 25-25.
• Rojas Siles JM () Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming.

Chapters

• Roslan MF, Rojas JM & McMinn P (2022) An Empirical Comparison of EvoSuite and DSpot for Improving Developer-Written Test Suites with Respect to Mutation Score, Search-Based Software Engineering (pp. 19-34). Springer International Publishing
• Albert E, Arenas P, Gómez-Zamalloa M & Rojas JM (2014) Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency, Lecture Notes in Computer Science (pp. 263-309). Springer International Publishing

Conference proceedings papers

• Roslan MF, Rojas JM & McMinn P (2024) Viscount: a direct method call coverage tool for Java. 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME) (pp 908-912). Flagstaff, AZ, USA, 6 October 2024 - 6 October 2024. View this article in WRRO
• Roslan MF, Rojas JM & McMinn P (2024) Private—Keep out? Understanding how developers account for code visibility in unit testing. 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME) (pp 312-324). Flagstaff, AZ, USA, 6 October 2024 - 6 October 2024. View this article in WRRO
• Qiao Y & Rojas JM (2024) What’s in a Display Name? An Empirical Study on the Use of Display Names in Open-Source JUnit Tests. Proceedings of the Third ACM/IEEE International Workshop on NL-based Software Engineering, Vol. 48 (pp 17-24)
• Walkinshaw N, Foster M, Rojas JM & Hierons R (2024) Bounding random test set size with computational learning theory. Proceedings of the ACM on Software Engineering (PACMSE), Vol. 1(FSE) (pp 2538-2560). Porto de Galinhas, Brazil, 17 July 2024 - 17 July 2024. View this article in WRRO
• Gu R & Rojas JM (2023) An Empirical Study on the Adoption of Scripted GUI Testing for Android Apps. 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), 11 September 2023 - 15 September 2023.
• Arcuschin I, Galeotti JP, Ciccaroni C & Rojas JM (2022) On the feasibility and challenges of synthesizing executable Espresso tests. Proceedings - 3rd ACM/IEEE International Conference on Automation of Software Test, AST 2022 (pp 92-102)
• (2019) Message from the SBST 2019 Program Chairs. 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing (SBST), 26 May 2019 - 27 May 2019.
• Fraser G, Gambi A & Rojas JM (2018) A Preliminary Report on Gamifying a Software Testing Course with the Code Defenders Testing Game. Proceedings of the 3rd European Conference of Software Engineering Education
• Fraser G, Rojas JM & Arcuri A (2018) E vo s uite at the SBST 2018 tool competition. Proceedings of the 11th International Workshop on Search-Based Software Testing
• Shamshiri S, Rojas JM, Galeotti JP, Walkinshaw N & Fraser G (2018) How Do Automatically Generated Unit Tests Influence Software Maintenance?. 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 9 April 2018 - 13 April 2018.
• Eler MM, Rojas JM, Ge Y & Fraser G (2018) Automated Accessibility Testing of Mobile Apps. 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 9 April 2018 - 13 April 2018.
• Rojas JM, White TD, Clegg BS & Fraser G (2018) Code Defenders.. Software Engineering, Vol. P-279 (pp 77-78)
• Rojas JM, White TD, Clegg BS & Fraser G (2017) Code Defenders: Crowdsourcing Effective Tests and Subtle Mutants with a Mutation Testing Game. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) (pp 677-688), 20 May 2017 - 26 May 2017.
• Daka E, Rojas JM & Fraser G (2017) Generating unit tests with descriptive names or: would you name your children thing1 and thing2?. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
• Fraser G, Rojas JM, Campos J & Arcuri A (2017) EvoSuite at the SBST 2017 Tool Competition. 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST), 22 May 2017 - 23 May 2017.
• Rojas JM & Fraser G (2017) Is Search-Based Unit Test Generation Research Stuck in a Local Optimum?. 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST), 22 May 2017 - 23 May 2017.
• Clegg BS, Rojas JM & Fraser G (2017) Teaching Software Testing Concepts Using a Mutation Testing Game. 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering Education and Training Track (ICSE-SEET), 20 May 2017 - 28 May 2017.
• Rojas JM & Fraser G (2016) Teaching Software Testing with a Mutation Testing Game.. PPIG (pp 23-23)
• Shamshiri S, Just R, Rojas JM, Fraser G, McMinn P & Arcuri A (2015) Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 9 November 2015 - 13 November 2015.
• Rojas JM, Campos J, Vivanti M, Fraser G & Arcuri A (2015) Combining Multiple Coverage Criteria in Search-Based Unit Test Generation (pp 93-108)
• Rojas JM, Fraser G & Arcuri A (2015) Automated unit test generation during software development: a controlled experiment and think-aloud observations. Proceedings of the 2015 International Symposium on Software Testing and Analysis
• Shamshiri S, Rojas JM, Fraser G & McMinn P (2015) Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?. Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation
• Rojas JM & Gómez-Zamalloa M (2013) A Framework for Guided Test Case Generation in Constraint Logic Programming (pp 176-193)
• Albert E, Alonso-Blas DE, Arenas P, Correas J, Flores-Montoya A, Genaim S, Gómez-Zamalloa M, Masud AN, Puebla G, Rojas JM , Román-Díez G et al (2013) Automatic Inference of Bounds on Resource Consumption (pp 119-144)
• Albert E, Gómez-Zamalloa M & Rojas JM (2012) Resource-Driven CLP-Based Test Case Generation (pp 25-41)
• Albert E, Østvold BM & Rojas JM (2012) Automated Extraction of Abstract Behavioural Models from JMS Applications (pp 16-31)
• Navarrete CN, de la Cruz Echeandia M, Rey EA, de la Puente AO & Rojas Silas JM (2011) Parallel Simulation of NEPs on Clusters. 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, 22 August 2011 - 27 August 2011.
• Albert E, Gómez-Zamalloa M, Rojas JM & Puebla G (2011) Compositional CLP-Based Test Data Generation for Imperative Languages (pp 99-116)
• Rojas Siles JM, de la Cruz Echeandia M & Ortega de la Puente A (2010) Towards the Automatic Programming of H Systems: jHsys, a Java H System Simulator. TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, Vol. 71 (pp 387-+)
• García EDR, Siles JMR, Hervás RN, Marroquín CC & Puente AODL (2009) On the Solutions of NP-Complete Problems by Means of jNEP Run on Computers.. ICAART (pp 605-612)
• Gu R, Rojas JM & Shin D () Can test generation and program repair inform automated assessment of programming projects?. 2025 IEEE Conference on Software Testing, Verification and Validation (ICST). Naples, Italy, 31 March 2025 - 31 March 2025. View this article in WRRO

Other

• Rojas JM & Pasareanu CS (2013) Compositional Symbolic Execution through Program Specialization. BYTECODE 2013, 8th Workshop on Bytecode Semantics, Verification, Analysis and Transformation.

Preprints

• Gu R, Rojas JM & Shin D (2025) Software Testing for Extended Reality Applications: A Systematic Mapping Study.