default search action
José Miguel Rojas
Person information
- affiliation: University of Leicester, UK
- affiliation (former): The University of Sheffield, UK
- affiliation (former): Technical University of Madrid, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Hernán Astudillo, Carlos Luna, José Miguel Rojas:
Preface to the CLEI 2023 Special Issue. CLEI Electron. J. 27(2) (2024) - [j7]Hernán Astudillo, Carlos Luna, José Miguel Rojas:
Preface to the CLEI 2023 Special Issue - Volume II. CLEI Electron. J. 27(4) (2024) - [j6]Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons:
Bounding Random Test Set Size with Computational Learning Theory. Proc. ACM Softw. Eng. 1(FSE): 2538-2560 (2024) - [c32]Yining Qiao, José Miguel Rojas:
What's in a Display Name? An Empirical Study on the Use of Display Names in Open-Source JUnit Tests. NLBSE@ICSE 2024: 17-24 - [i1]Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons:
Bounding Random Test Set Size with Computational Learning Theory. CoRR abs/2405.17019 (2024) - 2023
- [c31]Ruizhen Gu, José Miguel Rojas:
An Empirical Study on the Adoption of Scripted GUI Testing for Android Apps. ASEW 2023: 179-182 - 2022
- [c30]Iván Arcuschin, Juan Pablo Galeotti, Christian Ciccaroni, José Miguel Rojas:
On the feasibility and challenges of synthesizing executable Espresso tests. AST@ICSE 2022: 92-102 - [c29]Muhammad Firhard Roslan, José Miguel Rojas, Phil McMinn:
An Empirical Comparison of EvoSuite and DSpot for Improving Developer-Written Test Suites with Respect to Mutation Score. SSBSE 2022: 19-34 - [e2]Alexander Felfernig, Lidia Fuentes, Jane Cleland-Huang, Wesley K. G. Assunção, Clément Quinton, Jianmei Guo, Klaus Schmid, Marianne Huchard, Inmaculada Ayala, José Miguel Rojas, Viet-Man Le, José Miguel Horcas:
SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume B. ACM 2022, ISBN 978-1-4503-9206-8 [contents] - 2020
- [c28]Gordon Fraser, Alessio Gambi, José Miguel Rojas:
Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements. ICST Workshops 2020: 461-464
2010 – 2019
- 2019
- [j5]René Just, Jens Krinke, Nan Li, José Miguel Rojas:
Special issue on mutation testing and analysis. Softw. Test. Verification Reliab. 29(1-2) (2019) - [c27]Gordon Fraser, Alessio Gambi, Marvin Kreis, José Miguel Rojas:
Gamifying a Software Testing Course with Code Defenders. SIGCSE 2019: 571-577 - [p1]Gordon Fraser, José Miguel Rojas:
Software Testing. Handbook of Software Engineering 2019: 123-192 - [e1]Alessandra Gorla, José Miguel Rojas:
Proceedings of the 12th International Workshop on Search-Based Software Testing, SBST@ICSE 2019, Montreal, QC, Canada, May 27, 2019. IEEE / ACM 2019, ISBN 978-1-7281-2233-5 [contents] - 2018
- [j4]Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri:
Random or evolutionary search for object-oriented test suite generation? Softw. Test. Verification Reliab. 28(4) (2018) - [c26]Gordon Fraser, Alessio Gambi, José Miguel Rojas:
A Preliminary Report on Gamifying a Software Testing Course with the Code Defenders Testing Game. ECSEE 2018: 50-54 - [c25]Gordon Fraser, José Miguel Rojas, Andrea Arcuri:
Evosuite at the SBST 2018 tool competition. SBST@ICSE 2018: 34-37 - [c24]Marcelo Medeiros Eler, José Miguel Rojas, Yan Ge, Gordon Fraser:
Automated Accessibility Testing of Mobile Apps. ICST 2018: 116-126 - [c23]Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser:
How Do Automatically Generated Unit Tests Influence Software Maintenance? ICST 2018: 250-261 - [c22]José Miguel Rojas, Thomas D. White, Benjamin S. Clegg, Gordon Fraser:
Code Defenders. Software Engineering 2018: 77-78 - 2017
- [j3]José Miguel Rojas, Mattia Vivanti, Andrea Arcuri, Gordon Fraser:
A detailed investigation of the effectiveness of whole test suite generation. Empir. Softw. Eng. 22(2): 852-893 (2017) - [c21]Benjamin S. Clegg, José Miguel Rojas, Gordon Fraser:
Teaching Software Testing Concepts Using a Mutation Testing Game. ICSE-SEET 2017: 33-36 - [c20]Gordon Fraser, José Miguel Rojas, José Campos, Andrea Arcuri:
EvoSuite at the SBST 2017 Tool Competition. SBST@ICSE 2017: 39-42 - [c19]José Miguel Rojas, Gordon Fraser:
Is Search-Based Unit Test Generation Research Stuck in a Local Optimum? SBST@ICSE 2017: 51-52 - [c18]José Miguel Rojas, Thomas D. White, Benjamin S. Clegg, Gordon Fraser:
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game. ICSE 2017: 677-688 - [c17]Jens Krinke, Nan Li, José Miguel Rojas:
Message from the Mutation 2017 Chairs. ICST Workshops 2017: 85-86 - [c16]Ermira Daka, José Miguel Rojas, Gordon Fraser:
Generating unit tests with descriptive names or: would you name your children thing1 and thing2? ISSTA 2017: 57-67 - 2016
- [j2]José Miguel Rojas, Gordon Fraser, Andrea Arcuri:
Seeding strategies in search-based unit test generation. Softw. Test. Verification Reliab. 26(5): 366-401 (2016) - [c15]José Miguel Rojas, Gordon Fraser:
Code Defenders: A Mutation Testing Game. ICST Workshops 2016: 162-167 - [c14]José Miguel Rojas, Gordon Fraser:
Teaching Software Testing with a Mutation Testing Game. PPIG 2016: 23 - 2015
- [c13]Sina Shamshiri, José Miguel Rojas, Gordon Fraser, Phil McMinn:
Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation? GECCO 2015: 1367-1374 - [c12]José Miguel Rojas, Gordon Fraser, Andrea Arcuri:
Automated unit test generation during software development: a controlled experiment and think-aloud observations. ISSTA 2015: 338-349 - [c11]Sina Shamshiri, René Just, José Miguel Rojas, Gordon Fraser, Phil McMinn, Andrea Arcuri:
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). ASE 2015: 201-211 - [c10]José Miguel Rojas, José Campos, Mattia Vivanti, Gordon Fraser, Andrea Arcuri:
Combining Multiple Coverage Criteria in Search-Based Unit Test Generation. SSBSE 2015: 93-108 - 2014
- [c9]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas:
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. SFM 2014: 263-309 - 2013
- [b1]José Miguel Rojas Siles:
Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming. Technical University of Madrid, Spain, 2013 - [j1]Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey:
A CLP heap solver for test case generation. Theory Pract. Log. Program. 13(4-5): 721-735 (2013) - 2012
- [c8]Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini:
Automatic Inference of Bounds on Resource Consumption. FMCO 2012: 119-144 - [c7]Elvira Albert, Bjarte M. Østvold, José Miguel Rojas:
Automated Extraction of Abstract Behavioural Models from JMS Applications. FMICS 2012: 16-31 - [c6]José Miguel Rojas, Miguel Gómez-Zamalloa:
A Framework for Guided Test Case Generation in Constraint Logic Programming. LOPSTR 2012: 176-193 - 2011
- [c5]Carmen B. Navarrete, Marina de la Cruz Echeandía, Eloy Anguiano, Alfonso Ortega de la Puente, José Miguel Rojas:
Parallel Simulation of NEPs on Clusters. Web Intelligence/IAT Workshops 2011: 171-174 - [c4]Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas:
Resource-Driven CLP-Based Test Case Generation. LOPSTR 2011: 25-41 - 2010
- [c3]Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla:
Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR 2010: 99-116 - [c2]José Miguel Rojas Siles, Marina de la Cruz Echeandía, Alfonso Ortega de la Puente:
Towards the Automatic Programming of H Systems: jHsys, a Java H System Simulator. PAAMS (Special Sessions and Workshops) 2010: 387-394
2000 – 2009
- 2009
- [c1]Emilio del Rosal García, José Miguel Rojas Siles, Rafael Núñez Hervás, Carlos Castañeda Marroquín, Alfonso Ortega de la Puente:
On the Solutions of NP-Complete Problems by Means of jNEP Run on Computers. ICAART 2009: 605-612
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint