On the Solutions of NP-Complete Problems by Means of jNEP Run on Computers. - Emilio del Rosal García; José Miguel Rojas Siles; Rafael Núñez Hervás; Carlos Castañeda Marroquín; Alfonso Ortega de la Puente (ICAART, 2009)

Compositional CLP-Based Test Data Generation for Imperative Languages. - Elvira Albert; Miguel Gómez-Zamalloa; José Miguel Rojas; Germán Puebla (LOPSTR, 2010)

Towards the Automatic Programming of H Systems: jHsys, a Java H System Simulator. - José Miguel Rojas Siles; Marina de la Cruz Echeandía; Alfonso Ortega de la Puente (PAAMS (Special Sessions and Workshops), 2010)

Parallel Simulation of NEPs on Clusters. - Carmen B. Navarrete; Marina de la Cruz Echeandía; Eloy Anguiano; Alfonso Ortega de la Puente; José Miguel Rojas (Web Intelligence/IAT Workshops, 2011)

Resource-Driven CLP-Based Test Case Generation. - Elvira Albert; Miguel Gómez-Zamalloa; José Miguel Rojas (LOPSTR, 2011)

Automatic Inference of Bounds on Resource Consumption. - Elvira Albert; Diego Esteban Alonso-Blas; Puri Arenas; Jesús Correas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Abu Naser Masud; German Puebla; José Miguel Rojas; Guillermo Román-Díez; Damiano Zanardini (FMCO, 2012)

Automated Extraction of Abstract Behavioural Models from JMS Applications. - Elvira Albert; Bjarte M. Østvold; José Miguel Rojas (FMICS, 2012)

A Framework for Guided Test Case Generation in Constraint Logic Programming. - José Miguel Rojas; Miguel Gómez-Zamalloa (LOPSTR, 2012)

A CLP heap solver for test case generation. - Elvira Albert; Maria J. García de la Banda; Miguel Gómez-Zamalloa; José Miguel Rojas; Peter J. Stuckey (Theory Pract. Log. Program., 2013)

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming. - José Miguel Rojas Siles (2013)

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. - Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa; José Miguel Rojas (SFM, 2014)

Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation? - Sina Shamshiri; José Miguel Rojas; Gordon Fraser 001; Phil McMinn (GECCO, 2015)

Automated unit test generation during software development: a controlled experiment and think-aloud observations. - José Miguel Rojas; Gordon Fraser 001; Andrea Arcuri (ISSTA, 2015)

Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). - Sina Shamshiri; René Just; José Miguel Rojas; Gordon Fraser 001; Phil McMinn; Andrea Arcuri (ASE, 2015)

Combining Multiple Coverage Criteria in Search-Based Unit Test Generation. - José Miguel Rojas; José Campos 001; Mattia Vivanti; Gordon Fraser 001; Andrea Arcuri (SSBSE, 2015)

Code Defenders: A Mutation Testing Game. - José Miguel Rojas; Gordon Fraser 001 (ICST Workshops, 2016)

Teaching Software Testing with a Mutation Testing Game. - José Miguel Rojas; Gordon Fraser 001 (PPIG, 2016)

Seeding strategies in search-based unit test generation. - José Miguel Rojas; Gordon Fraser 001; Andrea Arcuri (Softw. Test. Verification Reliab., 2016)

Teaching Software Testing Concepts Using a Mutation Testing Game. - Benjamin S. Clegg; José Miguel Rojas; Gordon Fraser 001 (ICSE-SEET, 2017)

EvoSuite at the SBST 2017 Tool Competition. - Gordon Fraser 001; José Miguel Rojas; José Campos 001; Andrea Arcuri (SBST@ICSE, 2017)

Is Search-Based Unit Test Generation Research Stuck in a Local Optimum? - José Miguel Rojas; Gordon Fraser 001 (SBST@ICSE, 2017)

Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game. - José Miguel Rojas; Thomas D. White; Benjamin S. Clegg; Gordon Fraser 001 (ICSE, 2017)

Message from the Mutation 2017 Chairs. - Jens Krinke; Nan Li; José Miguel Rojas (ICST Workshops, 2017)

Generating unit tests with descriptive names or: would you name your children thing1 and thing2? - Ermira Daka; José Miguel Rojas; Gordon Fraser 001 (ISSTA, 2017)

A detailed investigation of the effectiveness of whole test suite generation. - José Miguel Rojas; Mattia Vivanti; Andrea Arcuri; Gordon Fraser 001 (Empir. Softw. Eng., 2017)

A Preliminary Report on Gamifying a Software Testing Course with the Code Defenders Testing Game. - Gordon Fraser 001; Alessio Gambi; José Miguel Rojas (ECSEE, 2018)

Evosuite at the SBST 2018 tool competition. - Gordon Fraser 001; José Miguel Rojas; Andrea Arcuri (SBST@ICSE, 2018)

Automated Accessibility Testing of Mobile Apps. - Marcelo Medeiros Eler; José Miguel Rojas; Yan Ge; Gordon Fraser 001 (ICST, 2018)

How Do Automatically Generated Unit Tests Influence Software Maintenance? - Sina Shamshiri; José Miguel Rojas; Juan Pablo Galeotti; Neil Walkinshaw; Gordon Fraser 001 (ICST, 2018)

Code Defenders. - José Miguel Rojas; Thomas D. White; Benjamin S. Clegg; Gordon Fraser 001 (Software Engineering, 2018)

Random or evolutionary search for object-oriented test suite generation? - Sina Shamshiri; José Miguel Rojas; Luca Gazzola; Gordon Fraser 001; Phil McMinn; Leonardo Mariani; Andrea Arcuri (Softw. Test. Verification Reliab., 2018)

Software Testing. - Gordon Fraser 001; José Miguel Rojas (Handbook of Software Engineering, 2019)

Gamifying a Software Testing Course with Code Defenders. - Gordon Fraser 001; Alessio Gambi; Marvin Kreis; José Miguel Rojas (SIGCSE, 2019)

Special issue on mutation testing and analysis. - René Just; Jens Krinke; Nan Li; José Miguel Rojas (Softw. Test. Verification Reliab., 2019)

Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements. - Gordon Fraser 001; Alessio Gambi; José Miguel Rojas (ICST Workshops, 2020)

On the feasibility and challenges of synthesizing executable Espresso tests. - Iván Arcuschin; Juan Pablo Galeotti; Christian Ciccaroni; José Miguel Rojas (AST@ICSE, 2022)

An Empirical Comparison of EvoSuite and DSpot for Improving Developer-Written Test Suites with Respect to Mutation Score. - Muhammad Firhard Roslan; José Miguel Rojas; Phil McMinn (SSBSE, 2022)

An Empirical Study on the Adoption of Scripted GUI Testing for Android Apps. - Ruizhen Gu; José Miguel Rojas (ASEW, 2023)

Private-Keep Out? Understanding How Developers Account for Code Visibility in Unit Testing. - Muhammad Firhard Roslan; José Miguel Rojas; Phil McMinn (ICSME, 2024)

Viscount: A Direct Method Call Coverage Tool for Java. - Muhammad Firhard Roslan; José Miguel Rojas; Phil McMinn (ICSME, 2024)

What's in a Display Name? An Empirical Study on the Use of Display Names in Open-Source JUnit Tests. - Yining Qiao; José Miguel Rojas (NLBSE@ICSE, 2024)

Preface to the CLEI 2023 Special Issue. - Hernán Astudillo; Carlos Luna 001; José Miguel Rojas (CLEI Electron. J., 2024)

Preface to the CLEI 2023 Special Issue - Volume II. - Hernán Astudillo; Carlos Luna 001; José Miguel Rojas (CLEI Electron. J., 2024)

Bounding Random Test Set Size with Computational Learning Theory. - Neil Walkinshaw; Michael Foster 001; José Miguel Rojas; Robert M. Hierons (Proc. ACM Softw. Eng., 2024)

Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects? - Ruizhen Gu; José Miguel Rojas; Donghwan Shin 001 (ICST, 2025)

Preface to the CLEI 2024 Special Issue: Volume I. - José Aguilar 001; Héctor Cancela 001; Luca Cernuzzi; José Miguel Rojas (CLEI Electron. J., 2025)

Software testing for extended reality applications: a systematic mapping study. - Ruizhen Gu; José Miguel Rojas; Donghwan Shin 001 (Autom. Softw. Eng., 2025)