Dr José Miguel Rojas

简介

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 (S

代表成果

• ALBERT E, DE LA BANDA MG, GÓMEZ-ZAMALLOA M, ROJAS JM & STUCKEY P (2013) A CLP heap solver for test case generation. Theory and Practice of Logic Programming, 13(4-5), 721-735.
• Albert E, Arenas P, Gómez-Zamalloa M & Rojas JM (2014) 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
• Shamshiri S, Just R, Rojas JM, Fraser G, McMinn P & Arcuri A (2015) 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) (pp 201-211), 9 November 2015 - 13 November 2015.
• Rojas JM, Campos J, Vivanti M, Fraser G & Arcuri A (2015) Combining Multiple Coverage Criteria in Search-Based Unit Test Generation (pp 93-108)
• Rojas JM, Fraser G & Arcuri A (2015) 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 (pp 338-349)
• Shamshiri S, Rojas JM, Fraser G & McMinn P (2015) Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?. Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp 1367-1374)
• Rojas JM & Gómez-Zamalloa M (2013) A Framework for Guided Test Case Generation in Constraint Logic Programming (pp 176-193)
• Albert E, Gómez-Zamalloa M, Rojas JM & Puebla G (2011) Compositional CLP-Based Test Data Generation for Imperative Languages (pp 99-116)
• Gu R, Rojas JM & Shin D (2026) Automated Testing of Prevalent 3D User Interactions in Virtual Reality Applications.. CoRR, abs/2601.23139.
• (2025) Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023). Science of Computer Programming, 243, 103258-103258.