José Miguel Rojas

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 26

Top Topics

Mutation Testing

Symbolic Execution

Software Testing

Top Venues

Softw. Test. Verification Reliab.

Publications

Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
Bounding Random Test Set Size with Computational Learning Theory. CoRR (2024)
Hernán Astudillo, Carlos Luna, José Miguel Rojas
Preface to the CLEI 2023 Special Issue. CLEI Electron. J. 27 (2) (2024)
Yining Qiao, José Miguel Rojas
What's in a Display Name? An Empirical Study on the Use of Display Names in Open-Source JUnit Tests. NLBSE@ICSE (2024)
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
Bounding Random Test Set Size with Computational Learning Theory. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Ruizhen Gu, José Miguel Rojas
An Empirical Study on the Adoption of Scripted GUI Testing for Android Apps. ASEW (2023)
Iván Arcuschin Moreno, Juan Pablo Galeotti, Christian Ciccaroni, José Miguel Rojas
On the feasibility and challenges of synthesizing executable Espresso tests. AST@ICSE (2022)
Muhammad Firhard Roslan, José Miguel Rojas, Phil McMinn
An Empirical Comparison of EvoSuite and DSpot for Improving Developer-Written Test Suites with Respect to Mutation Score. SSBSE (2022)
Gordon Fraser, Alessio Gambi, José Miguel Rojas
Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements. ICST Workshops (2020)
Gordon Fraser, Alessio Gambi, Marvin Kreis, José Miguel Rojas
Gamifying a Software Testing Course with Code Defenders. SIGCSE (2019)
René Just, Jens Krinke, Nan Li, José Miguel Rojas
Special issue on mutation testing and analysis. Softw. Test. Verification Reliab. 29 (1-2) (2019)
Gordon Fraser, Alessio Gambi, José Miguel Rojas
A Preliminary Report on Gamifying a Software Testing Course with the Code Defenders Testing Game. ECSEE (2018)
Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri
Random or evolutionary search for object-oriented test suite generation? Softw. Test. Verification Reliab. 28 (4) (2018)
Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser
How Do Automatically Generated Unit Tests Influence Software Maintenance? ICST (2018)
Gordon Fraser, José Miguel Rojas, Andrea Arcuri
Evosuite at the SBST 2018 tool competition. SBST@ICSE (2018)
Marcelo Medeiros Eler, José Miguel Rojas, Yan Ge, Gordon Fraser
Automated Accessibility Testing of Mobile Apps. ICST (2018)
José Miguel Rojas, Thomas D. White, Benjamin S. Clegg, Gordon Fraser
Code Defenders. Software Engineering (2018)
Gordon Fraser, José Miguel Rojas, José Campos, Andrea Arcuri
EvoSuite at the SBST 2017 Tool Competition. SBST@ICSE (2017)
José Miguel Rojas, Mattia Vivanti, Andrea Arcuri, Gordon Fraser
A detailed investigation of the effectiveness of whole test suite generation. Empir. Softw. Eng. 22 (2) (2017)
Jens Krinke, Nan Li, José Miguel Rojas
Message from the Mutation 2017 Chairs. ICST Workshops (2017)
Ermira Daka, José Miguel Rojas, Gordon Fraser
Generating unit tests with descriptive names or: would you name your children thing1 and thing2? ISSTA (2017)
José Miguel Rojas, Gordon Fraser
Is Search-Based Unit Test Generation Research Stuck in a Local Optimum? SBST@ICSE (2017)
Benjamin S. Clegg, José Miguel Rojas, Gordon Fraser
Teaching Software Testing Concepts Using a Mutation Testing Game. ICSE-SEET (2017)
José Miguel Rojas, Thomas D. White, Benjamin S. Clegg, Gordon Fraser
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game. ICSE (2017)
José Miguel Rojas, Gordon Fraser, Andrea Arcuri
Seeding strategies in search-based unit test generation. Softw. Test. Verification Reliab. 26 (5) (2016)
José Miguel Rojas, Gordon Fraser
Code Defenders: A Mutation Testing Game. ICST Workshops (2016)
José Miguel Rojas, Gordon Fraser
Teaching Software Testing with a Mutation Testing Game. PPIG (2016)
Sina Shamshiri, José Miguel Rojas, Gordon Fraser, Phil McMinn
Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation? GECCO (2015)
José Miguel Rojas, Gordon Fraser, Andrea Arcuri
Automated unit test generation during software development: a controlled experiment and think-aloud observations. ISSTA (2015)
José Miguel Rojas, José Campos, Mattia Vivanti, Gordon Fraser, Andrea Arcuri
Combining Multiple Coverage Criteria in Search-Based Unit Test Generation. SSBSE (2015)
Sina Shamshiri, René Just, José Miguel Rojas, Gordon Fraser, Phil McMinn, Andrea Arcuri
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). ASE (2015)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. SFM (2014)
Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey
A CLP heap solver for test case generation. Theory Pract. Log. Program. 13 (4-5) (2013)
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
Automatic Inference of Bounds on Resource Consumption. FMCO (2012)
Elvira Albert, Bjarte M. Østvold, José Miguel Rojas
Automated Extraction of Abstract Behavioural Models from JMS Applications. FMICS (2012)
José Miguel Rojas, Miguel Gómez-Zamalloa
A Framework for Guided Test Case Generation in Constraint Logic Programming. LOPSTR (2012)
Carmen B. Navarrete, Marina de la Cruz Echeandía, Eloy Anguiano, Alfonso Ortega de la Puente, José Miguel Rojas
Parallel Simulation of NEPs on Clusters. Web Intelligence/IAT Workshops (2011)
Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas
Resource-Driven CLP-Based Test Case Generation. LOPSTR (2011)
Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla
Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR (2010)