Dr José Miguel Rojas


Department of Computer Science

Lecturer in Testing

Member of the Testing research group

Programme Lead - Software Engineering

Profile photo of Dr Rojas Silas
Profile picture of Profile photo of Dr Rojas Silas
+44 114 222 1828

Full contact details

Dr José Miguel Rojas
Department of Computer Science
Regent Court (DCS)
211 Portobello
S1 4DP

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

Show: Featured publications All publications

Journal articles


Conference proceedings papers

All publications

Journal articles


Conference proceedings papers


  • Rojas JM & Pasareanu CS (2013) Compositional Symbolic Execution through Program Specialization. BYTECODE 2013, 8th Workshop on Bytecode Semantics, Verification, Analysis and Transformation. RIS download Bibtex download

Research Grants