Artículos con órdenes de acceso público - José Miguel RojasMás información
No disponibles en ningún lugar: 2
Parallel simulation of NEPs on clusters
CN Navarrete, M de la Cruz Echeandia, EA Rey, AO de la Puente, ...
2011 IEEE/WIC/ACM International Conferences on Web Intelligence and …, 2011
Órdenes: Gobierno de España
Is search-based unit test generation research stuck in a local optimum?
JM Rojas, G Fraser
2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing …, 2017
Órdenes: UK Engineering and Physical Sciences Research Council
Disponibles en algún lugar: 23
Do automatically generated unit tests find real faults? an empirical study of effectiveness and challenges (t)
S Shamshiri, R Just, JM Rojas, G Fraser, P McMinn, A Arcuri
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
Órdenes: UK Engineering and Physical Sciences Research Council
Combining multiple coverage criteria in search-based unit test generation
JM Rojas, J Campos, M Vivanti, G Fraser, A Arcuri
Search-Based Software Engineering: 7th International Symposium, SSBSE 2015 …, 2015
Órdenes: UK Engineering and Physical Sciences Research Council
A detailed investigation of the effectiveness of whole test suite generation
JM Rojas, M Vivanti, A Arcuri, G Fraser
Empirical Software Engineering 22, 852-893, 2017
Órdenes: UK Engineering and Physical Sciences Research Council, Luxembourg National …
Seeding strategies in search‐based unit test generation
JM Rojas, G Fraser, A Arcuri
Software Testing, Verification and Reliability 26 (5), 366-401, 2016
Órdenes: UK Engineering and Physical Sciences Research Council
Generating unit tests with descriptive names or: Would you name your children thing1 and thing2?
E Daka, JM Rojas, G Fraser
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
Órdenes: UK Engineering and Physical Sciences Research Council
Teaching software testing concepts using a mutation testing game
BS Clegg, JM Rojas, G Fraser
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
Órdenes: UK Engineering and Physical Sciences Research Council
Random or genetic algorithm search for object-oriented test suite generation?
S Shamshiri, JM Rojas, G Fraser, P McMinn
Proceedings of the 2015 annual conference on genetic and evolutionary …, 2015
Órdenes: UK Engineering and Physical Sciences Research Council
Gamifying a software testing course with code defenders
G Fraser, A Gambi, M Kreis, JM Rojas
Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
Órdenes: German Research Foundation
Automated unit test generation during software development: A controlled experiment and think-aloud observations
JM Rojas, G Fraser, A Arcuri
Proceedings of the 2015 international symposium on software testing and …, 2015
Órdenes: UK Engineering and Physical Sciences Research Council
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game
JM Rojas, TD White, BS Clegg, G Fraser
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
Órdenes: UK Engineering and Physical Sciences Research Council
Random or evolutionary search for object‐oriented test suite generation?
S Shamshiri, JM Rojas, L Gazzola, G Fraser, P McMinn, L Mariani, ...
Software Testing, Verification and Reliability 28 (4), e1660, 2018
Órdenes: UK Engineering and Physical Sciences Research Council, European Commission …
Test case generation by symbolic execution: Basic concepts, a clp-based instance, and actor-based concurrency
E Albert, P Arenas, M Gómez-Zamalloa, JM Rojas
Formal Methods for Executable Software Models: 14th International School on …, 2014
Órdenes: European Commission
Teaching software testing with the code defenders testing game: Experiences and improvements
G Fraser, A Gambi, JM Rojas
2020 IEEE International Conference on Software Testing, Verification and …, 2020
Órdenes: German Research Foundation
Resource-Driven CLP-Based test case generation
E Albert, M Gómez-Zamalloa, JM Rojas
International Symposium on Logic-Based Program Synthesis and Transformation …, 2011
Órdenes: Gobierno de España
A framework for guided test case generation in constraint logic programming
JM Rojas, M Gómez-Zamalloa
Logic-Based Program Synthesis and Transformation: 22nd International …, 2013
Órdenes: Gobierno de España
On the feasibility and challenges of synthesizing executable Espresso tests
I Arcuschin, C Ciccaroni, JP Galeotti, JM Rojas
Proceedings of the 3rd ACM/IEEE International Conference on Automation of …, 2022
Órdenes: European Commission, Gobierno de Argentina
Automated extraction of abstract behavioural models from JMS applications
E Albert, BM Østvold, JM Rojas
International Workshop on Formal Methods for Industrial Critical Systems, 16-31, 2012
Órdenes: Gobierno de España
Automatic inference of bounds on resource consumption
E Albert, DE Alonso-Blas, P Arenas, J Correas, A Flores-Montoya, ...
Formal Methods for Components and Objects: 11th International Symposium …, 2013
Órdenes: Gobierno de España
La información de publicación y financiación se determina de forma automática mediante un programa informático