¾Ã²Ý¸£Àû

All publications

Journal articles

• (2025) . Science of Computer Programming, 243, 103258-103258.
• Gu R, Rojas JM & Shin D (2025) . Automated Software Engineering, 32(2).
• Just R, Krinke J, Li N & Rojas JM (2019) . Software Testing, Verification and Reliability, 29(1-2).
• Shamshiri S, Rojas J, Gazzola L, Fraser G, McMinn PS, Mariani L & Arcuri A (2018) . Software Testing, Verification & Reliability, 28(4).
• Rojas JM, Vivanti M, Arcuri A & Fraser G (2016) . Empirical Software Engineering, 1-42.
• Rojas JM, Fraser G & Arcuri A (2016) . Software Testing Verification and Reliability, 26(5), 366-401.
• ALBERT E, DE LA BANDA MG, GÓMEZ-ZAMALLOA M, ROJAS JM & STUCKEY P (2013) . Theory and Practice of Logic Programming, 13(4-5), 721-735.
• Aguilar J, Cancela H, Cernuzzi L & Rojas JM () . CLEI Electronic Journal, 28(5).
• Aguilar J, Cancela H, Cernuzzi L & Rojas JM () . CLEI Electronic Journal, 28(3).
• Astudillo H, Luna C & Rojas JM () . CLEI Electronic Journal, 27(4).
• Astudillo H, Luna C & Rojas JM () . CLEI Electronic Journal, 27(2).
• Ortega de la Puente A, De la Cruz Echeandía M, Del Rosal E, Navarrete Navarrete C, Jiménez Martínez A, De Lara J, Anguiano Rey E, Cuéllar M & Rojas Siles JM () . Triangle(7), 25-25.
• Ortega de la Puente A, De la Cruz Echeandía M, Del Rosal E, Nuñez Hervás R, Jiménez Martínez A, Castañeda C, Rojas Siles JM, Pérez D, Mercas R, Perekrestenko A & Alfonseca M () . Triangle(7), 63-63.
• Rojas Siles JM () .

Book chapters

• Roslan MF, Rojas JM & McMinn P (2022) , Lecture Notes in Computer Science (pp. 19-34). Springer International Publishing
• Fraser G & Rojas JM (2019) , Handbook of Software Engineering (pp. 123-192). Springer International Publishing
• Albert E, Arenas P, Gómez-Zamalloa M & Rojas JM (2014) , Lecture Notes in Computer Science (pp. 263-309). Springer International Publishing

Conference proceedings

• Gu R, Rojas JM & Shin D (2025) . 2025 IEEE Conference on Software Testing, Verification and Validation (ICST) (pp 699-710). Naples, Italy, 31 March 2025 - 31 March 2025.
• Roslan MF, Rojas JM & McMinn P (2024) . 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME) (pp 908-912). Flagstaff, AZ, USA, 6 October 2024 - 6 October 2024.
• Roslan MF, Rojas JM & McMinn P (2024) . 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME) (pp 312-324). Flagstaff, AZ, USA, 6 October 2024 - 6 October 2024.
• Qiao Y & Rojas JM (2024) . Proceedings of the Third ACM/IEEE International Workshop on NL-based Software Engineering (pp 17-24)
• Walkinshaw N, Foster M, Rojas JM & Hierons R (2024) . Proceedings of the ACM on Software Engineering (PACMSE), Vol. 1(FSE) (pp 2538-2560). Porto de Galinhas, Brazil, 17 July 2024 - 17 July 2024.
• Gu R & Rojas JM (2023) . 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) (pp 179-182), 11 September 2023 - 15 September 2023.
• Arcuschin I, Ciccaroni C, Galeotti JP & Rojas JM (2022) . AST '22: Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software Test (pp 92-102). Pittsburgh, PA, USA, 17 May 2022 - 17 May 2022.
• Fraser G, Gambi A & Rojas JM (2020) . 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (pp 461-464), 24 October 2020 - 28 October 2020.
• Araujo HLS, Verdezoto NX, Wali S, Damasceno CDN, Dimitrova R, Kefalidou G, Mehtarizadeh M, Mousavi MR, Onime J, Ringert JO & Rojas JM (2019) . 2019 IEEE International Conferences on Ubiquitous Computing & Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS) (pp 386-393), 21 October 2019 - 23 October 2019.
• (2019) . 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing (SBST) (pp 7-7), 26 May 2019 - 27 May 2019.
• Fraser G, Gambi A, Kreis M & Rojas JM (2019) . Proceedings of the 50th ACM Technical Symposium on Computer Science Education (pp 571-577)
• (2019) Proceedings of the 12th International Workshop on Search-Based Software Testing, SBST@ICSE 2019, Montreal, QC, Canada, May 27, 2019. SBST@ICSE
• Fraser G, Gambi A & Rojas JM (2018) . Proceedings of the 3rd European Conference of Software Engineering Education (pp 50-54)
• Fraser G, Rojas JM & Arcuri A (2018) . Proceedings of the 11th International Workshop on Search-Based Software Testing (pp 34-37)
• Shamshiri S, Rojas JM, Galeotti JP, Walkinshaw N & Fraser G (2018) . 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) (pp 250-261), 9 April 2018 - 13 April 2018.
• Eler MM, Rojas JM, Ge Y & Fraser G (2018) . 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) (pp 116-126), 9 April 2018 - 13 April 2018.
• Rojas JM, White TD, Clegg BS & Fraser G (2018) Code Defenders.. Software Engineering, Vol. P-279 (pp 77-78)
• Rojas JM, White TD, Clegg BS & Fraser G (2017) . 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) (pp 677-688), 20 May 2017 - 26 May 2017.
• Daka E, Rojas JM & Fraser G (2017) . Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp 57-67)
• Fraser G, Rojas JM, Campos J & Arcuri A (2017) . 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST) (pp 39-42), 22 May 2017 - 23 May 2017.
• Rojas JM & Fraser G (2017) . 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST) (pp 51-52), 22 May 2017 - 23 May 2017.
• Clegg BS, Rojas JM & Fraser G (2017) . 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering Education and Training Track (ICSE-SEET) (pp 33-36), 20 May 2017 - 28 May 2017.
• Krinke J, Li N & Rojas JM (2017) . 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (pp 85-86), 13 March 2017 - 17 March 2017.
• Rojas JM & Fraser G (2016) . 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation (ICSTW) (pp 162-167). Chicago, Illinois
• Rojas JM & Fraser G (2016) Teaching Software Testing with a Mutation Testing Game.. PPIG (pp 23-23)
• Shamshiri S, Just R, Rojas JM, Fraser G, McMinn P & Arcuri A (2015) . 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) (pp 93-108)
• Rojas JM, Fraser G & Arcuri A (2015) . Proceedings of the 2015 International Symposium on Software Testing and Analysis (pp 338-349)
• Shamshiri S, Rojas JM, Fraser G & McMinn P (2015) . Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp 1367-1374)
• Rojas JM & Gómez-Zamalloa M (2013) (pp 176-193)
• Albert E, Alonso-Blas DE, Arenas P, Correas J, Flores-Montoya A, Genaim S, Gómez-Zamalloa M, Masud AN, Puebla G, Rojas JM , Román-Díez G et al (2013) (pp 119-144)
• Albert E, Østvold BM & Rojas JM (2012) (pp 16-31)
• Albert E, Gómez-Zamalloa M & Rojas JM (2012) (pp 25-41)
• Navarrete CN, de la Cruz Echeandia M, Rey EA, de la Puente AO & Rojas Silas JM (2011) . 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (pp 171-174), 22 August 2011 - 27 August 2011.
• Albert E, Gómez-Zamalloa M, Rojas JM & Puebla G (2011) (pp 99-116)
• Siles JMR, de la Cruz Echeandía M & de la Puente AO (2010) (pp 387-394)
• del Rosal Garcia E, Rojas Siles JM, Nunez Hervas R, Castaneda Marroquin C & Ortega de la Puente A (2009) ON THE SOLUTIONS OF NP-COMPLETE PROBLEMS BY MEANS OF JNEP RUN ON COMPUTERS. ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE (pp 605-+)

Other

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

Preprints

• Gu R, Rojas JM & Shin D (2025) , arXiv.