JoséMiguel Rojas

I'm a Lecturer in Software Testing at the University of Sheffield in the UK. My research focuses on automated software testing, particularly search-based test generation and mutation testing. I previously worked as a lecturer at the University of Leicester and as a research associate at the University of Sheffield with Gordon Fraser. My work aims to make software testing more effective and accessible through automation. I've made key contributions to EvoSuite, a search-based unit test generation tool for Java that has consistently achieved top results in tool competitions. I'm also known for developing Code Defenders, an educational game that teaches mutation testing concepts through gamification. My research interests span both technical and human aspects of software testing. On the technical side, I work on improving test generation techniques using search-based approaches, studying seeding strategies, and investigating the effectiveness of automatically generated tests. On the educational side, I explore how to make testing concepts more engaging through gamification and study how developers interact with automated testing tools.

I currently lead research projects examining the practical value of automated test generation and how to better integrate these tools into real development workflows. My work has been published in top software engineering venues including ICSE, ISSTA, and TSE, with over 1000 citations. I collaborate actively with researchers across Europe and supervise PhD students working on various aspects of automated software testing.

Publications

On the feasibility and challenges of synthesizing executable Espresso tests

Iván Arcuschin, Juan P. Galeotti, Christian Ciccaroni, J. Rojas

International Conference/Workshop on Automation of Software Test 2022

JoséMiguel Rojas

Publications

On the feasibility and challenges of synthesizing executable Espresso tests

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

Trusted Autonomous Vehicles: an Interactive Exhibit

Gamifying a Software Testing Course with Code Defenders

Special issue on mutation testing and analysis

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

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

EvoSuite at the SBST 2018 Tool Competition

How Do Automatically Generated Unit Tests Influence Software Maintenance?

Automated Accessibility Testing of Mobile Apps

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

Code Defenders: Crowdsourcing Effective Tests and Subtle Mutants with a Mutation Testing Game

Teaching Software Testing Concepts Using a Mutation Testing Game

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

EvoSuite at the SBST 2017 Tool Competition

A detailed investigation of the effectiveness of whole test suite generation

Message from the Mutation 2017 Chairs

On the Solutions of NP-Complete Problems by Means of jNEP Run on Computers

Seeding strategies in search‐based unit test generation

Code Defenders: A Mutation Testing Game

A detailed investigation of the effectiveness of whole test suite generation

Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T)

Combining Multiple Coverage Criteria in Search-Based Unit Test Generation

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

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

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency

Automatic Inference of Bounds on Resource Consumption

A Framework for Guided Test Case Generation in Constraint Logic Programming

Automated Extraction of Abstract Behavioural Models from JMS Applications

Parallel Simulation of NEPs on Clusters

Resource-Driven CLP-Based Test Case Generation

Compositional CLP-Based Test Data Generation for Imperative Languages

An Empirical Comparison of EvoSuite and DSpot for Improving Developer-Written Test Suites with Respect to Mutation Score

Software Testing

UITE at the SBST 2017 Tool Competition

Teaching Software Testing with a Mutation Testing Game

Testing with a Mutation Testing Game

Teaching Mutation Testing using Gamification

Compositional Symbolic Execution through Program Specialization

7-231620 Project Acronym : HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models Instrument : Integrated Project Scheme : Information & Communication Technologies Future and Emerging Technologies Deliverable D 3 . 2 Model Mining

Resource Analysis in the COSTA System

Towards the Automatic Programming of H Systems: jHsys, a Java H System Simulator

Under Consideration for Publication in Theory and Practice of Logic Programming a Clp Heap Solver for Test Case Generation