José Miguel Rojas

According to our database, José Miguel Rojas authored at least 38 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Empirical Study on the Adoption of Scripted GUI Testing for Android Apps.

Ruizhen Gu, José Miguel Rojas

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023

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

Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022

On the feasibility and challenges of synthesizing executable Espresso tests.

Iván Arcuschin Moreno, Juan Pablo Galeotti, Christian Ciccaroni, José Miguel Rojas

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2020

Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements.

Gordon Fraser, Alessio Gambi, José Miguel Rojas

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Special issue on mutation testing and analysis.

René Just, Jens Krinke, Nan Li, José Miguel Rojas

Softw. Test. Verification Reliab., 2019

Gamifying a Software Testing Course with Code Defenders.

Gordon Fraser, Alessio Gambi, Marvin Kreis, José Miguel Rojas

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Software Testing.

Gordon Fraser, José Miguel Rojas

Proceedings of the Handbook of Software Engineering., 2019

2018

Random or evolutionary search for object-oriented test suite generation?

Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri

Softw. Test. Verification Reliab., 2018

Code Defenders.

José Miguel Rojas, Thomas D. White, Benjamin S. Clegg, Gordon Fraser

Proceedings of the Software Engineering und Software Management 2018, 2018

How Do Automatically Generated Unit Tests Influence Software Maintenance?

Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Automated Accessibility Testing of Mobile Apps.

Marcelo Medeiros Eler, José Miguel Rojas, Yan Ge, Gordon Fraser

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Evosuite at the SBST 2018 tool competition.

Gordon Fraser, José Miguel Rojas, Andrea Arcuri

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

A Preliminary Report on Gamifying a Software Testing Course with the Code Defenders Testing Game.

Gordon Fraser, Alessio Gambi, José Miguel Rojas

Proceedings of the 3rd European Conference of Software Engineering Education, 2018

2017

A detailed investigation of the effectiveness of whole test suite generation.

José Miguel Rojas, Mattia Vivanti, Andrea Arcuri, Gordon Fraser

Empir. Softw. Eng., 2017

Generating unit tests with descriptive names or: would you name your children thing1 and thing2?

Ermira Daka, José Miguel Rojas, Gordon Fraser

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Message from the Mutation 2017 Chairs.

Jens Krinke, Nan Li, José Miguel Rojas

Proceedings of the 2017 IEEE International Conference on Software Testing, 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

Proceedings of the 39th International Conference on Software Engineering, 2017

Is Search-Based Unit Test Generation Research Stuck in a Local Optimum?

José Miguel Rojas, Gordon Fraser

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

EvoSuite at the SBST 2017 Tool Competition.

Gordon Fraser, José Miguel Rojas, José Campos, Andrea Arcuri

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

Teaching Software Testing Concepts Using a Mutation Testing Game.

Benjamin S. Clegg, José Miguel Rojas, Gordon Fraser

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training Track, 2017

2016

Seeding strategies in search-based unit test generation.

José Miguel Rojas, Gordon Fraser, Andrea Arcuri

Softw. Test. Verification Reliab., 2016

Teaching Software Testing with a Mutation Testing Game.

José Miguel Rojas, Gordon Fraser

Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group, 2016

Code Defenders: A Mutation Testing Game.

José Miguel Rojas, Gordon Fraser

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015

Combining Multiple Coverage Criteria in Search-Based Unit Test Generation.

José Miguel Rojas, José Campos, Mattia Vivanti, Gordon Fraser, Andrea Arcuri

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 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, Phil McMinn, Andrea Arcuri

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Automated unit test generation during software development: a controlled experiment and think-aloud observations.

José Miguel Rojas, Gordon Fraser, Andrea Arcuri

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?

Sina Shamshiri, José Miguel Rojas, Gordon Fraser, Phil McMinn

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

2014

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

Proceedings of the Formal Methods for Executable Software Models, 2014

2013

Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming.

José Miguel Rojas Siles

PhD thesis, 2013

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

2012

A Framework for Guided Test Case Generation in Constraint Logic Programming.

José Miguel Rojas, Miguel Gómez-Zamalloa

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Automated Extraction of Abstract Behavioural Models from JMS Applications.

Elvira Albert, Bjarte M. Østvold, José Miguel Rojas

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

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

Proceedings of the Formal Methods for Components and Objects, 2012

2011

Resource-Driven CLP-Based Test Case Generation.

Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

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

Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

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

Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010

Compositional CLP-Based Test Data Generation for Imperative Languages.

Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2009

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

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009