Dr José Miguel Rojas Siles
Department of Computer Science
Lecturer in Testing
Member of the Testing research group

+44 114 222 1828
Full contact details
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Profile
-
Dr José Miguel Rojas Siles 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
- 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)
- 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
- A CLP heap solver for test case generation. Theory and Practice of Logic Programming, 13(4-5), 721-735.