ºù«Ӱҵ

All publications

Journal articles

• Shamshiri S, Rojas J, Gazzola L, Fraser G, McMinn PS, Mariani L & Arcuri A (2018) . Software Testing, Verification & Reliability, 28(4).
• 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.
• 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.
• Rojas Siles JM () .

Chapters

• Roslan MF, Rojas JM & McMinn P (2022) , Search-Based Software Engineering (pp. 19-34). 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 papers

• Qiao Y & Rojas JM (2024) . Proceedings of the Third ACM/IEEE International Workshop on NL-based Software Engineering, Vol. 48 (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), 11 September 2023 - 15 September 2023.
• Arcuschin I, Galeotti JP, Ciccaroni C & Rojas JM (2022) . Proceedings - 3rd ACM/IEEE International Conference on Automation of Software Test, AST 2022 (pp 92-102)
• (2019) . 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing (SBST), 26 May 2019 - 27 May 2019.
• Fraser G, Gambi A & Rojas JM (2018) . Proceedings of the 3rd European Conference of Software Engineering Education
• Fraser G, Rojas JM & Arcuri A (2018) . Proceedings of the 11th International Workshop on Search-Based Software Testing
• Shamshiri S, Rojas JM, Galeotti JP, Walkinshaw N & Fraser G (2018) . 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 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), 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
• Fraser G, Rojas JM, Campos J & Arcuri A (2017) . 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST), 22 May 2017 - 23 May 2017.
• Rojas JM & Fraser G (2017) . 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST), 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), 20 May 2017 - 28 May 2017.
• 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), 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
• Shamshiri S, Rojas JM, Fraser G & McMinn P (2015) . Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation
• 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, Gómez-Zamalloa M & Rojas JM (2012) (pp 25-41)
• Albert E, Østvold BM & Rojas JM (2012) (pp 16-31)
• 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, 22 August 2011 - 27 August 2011.
• Albert E, Gómez-Zamalloa M, Rojas JM & Puebla G (2011) (pp 99-116)
• Rojas Siles JM, de la Cruz Echeandia M & Ortega de la Puente A (2010) Towards the Automatic Programming of H Systems: jHsys, a Java H System Simulator. TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, Vol. 71 (pp 387-+)
• García EDR, Siles JMR, Hervás RN, Marroquín CC & Puente AODL (2009) On the Solutions of NP-Complete Problems by Means of jNEP Run on Computers.. ICAART (pp 605-612)

Other

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