Dr José Miguel Rojas
PhD, FHEA
School of Computer Science
Lecturer in Testing
Member of the Testing research group
Programme Lead - Software Engineering
![Profile photo of Dr Rojas Silas](http://cdn.sheffield.ac.uk/sites/default/files/styles/profile_square_lg_1x/public/2022-04/me-square.jpg?h=daba8a29&itok=qLIqHY32)
![Profile picture of Profile photo of Dr Rojas Silas](http://cdn.sheffield.ac.uk/sites/default/files/styles/profile_modal/public/2022-04/me-square.jpg?h=daba8a29&itok=ZOwb0S55)
+44 114 222 1828
Full contact details
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Profile
-
Dr José Miguel Rojas is a Lecturer in Software Testing at the Department of Computer Science. He received a PhD in Software and Systems from the Technical University of Madrid (Spain, 2013) and was a Research Associate at the Department of Computer Science at Sheffield (2014-2017) before joining the University of Leicester as a Lecturer in Software Engineering.
His research work focuses on search-based automated test generation and its application in real-world software development scenarios. His interests include empirical software engineering, automated software testing, and software engineering education.
His work has been published in the top venues of logic programming (ICLP), software engineering (ICSE and ASE), software testing (ISSTA and ICST) and search-based software engineering (SSBSE and GECCO).
He has co-chaired multiple workshops and tracks: MUTATION 2017, MUTATION 2018, SSBSE 2018 Challenge Track, SBST 2019 (co-located with ICSE 2019).
- Research interests
-
- Automated Software Testing
- Search-based Software Engineering
- Software Engineering Education
- Empirical Software Engineering
- Publications
-
Show: Featured publications All publications
Featured publications
Journal articles
- A CLP heap solver for test case generation. Theory and Practice of Logic Programming, 13(4-5), 721-735.
Chapters
- 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
- 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.
- Combining Multiple Coverage Criteria in Search-Based Unit Test Generation (pp 93-108)
- 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
- Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?. Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation
- A Framework for Guided Test Case Generation in Constraint Logic Programming (pp 176-193)
- Compositional CLP-Based Test Data Generation for Imperative Languages (pp 99-116)
All publications
Journal articles
- Bounding random test set size with computational learning theory. Proceedings of the ACM on Software Engineering (PACMSE), 1(FSE), 2538-2560. View this article in WRRO
- Random or evolutionary search for object‐oriented test suite generation?. Software Testing, Verification & Reliability, 28(4). View this article in WRRO
- A CLP heap solver for test case generation. Theory and Practice of Logic Programming, 13(4-5), 721-735.
- Preface to the CLEI 2023 Special Issue. CLEI Electronic Journal, 27(2).
- Developing Tools for Networks of Processors. Triangle(7), 25-25.
- Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming.
Chapters
- 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
- 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
- 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.
- 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)
- 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.
- 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
- E
vo suite at the SBST 2018 tool competition. Proceedings of the 11th International Workshop on Search-Based Software Testing - 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.
- Automated Accessibility Testing of Mobile Apps. 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 9 April 2018 - 13 April 2018.
- 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.
- 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
- 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.
- 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.
- 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.
- 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.
- Combining Multiple Coverage Criteria in Search-Based Unit Test Generation (pp 93-108)
- 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
- Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?. Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation
- A Framework for Guided Test Case Generation in Constraint Logic Programming (pp 176-193)
- Automatic Inference of Bounds on Resource Consumption (pp 119-144)
- Resource-Driven CLP-Based Test Case Generation (pp 25-41)
- Automated Extraction of Abstract Behavioural Models from JMS Applications (pp 16-31)
- 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.
- Compositional CLP-Based Test Data Generation for Imperative Languages (pp 99-116)
Other
Preprints
- A CLP heap solver for test case generation. Theory and Practice of Logic Programming, 13(4-5), 721-735.
- Grants
-
Research Grants
- Accelerating Software Development and Improving Test Quality using Gamification, EPSRC, 01/2024 - 12/2024, £35,200, as PI
- UKRI Trustworthy Autonomous Systems Node in Verifiability, UKRI, 11/2020 - 10/2024, £2,923,653, as Co-PI