José Miguel Rojas
Orcid: 0000-0002-0079-5355Affiliations:
- University of Leicester, UK
- The University of Sheffield, UK (former)
- Technical University of Madrid, Spain (former)
According to our database1,
José Miguel Rojas
authored at least 44 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
1
3
1
1
1
1
1
3
1
2
1
1
5
6
2
4
1
3
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Softw. Eng., 2024
What's in a Display Name? An Empirical Study on the Use of Display Names in Open-Source JUnit Tests.
Proceedings of the Third ACM/IEEE International Workshop on NL-based Software Engineering, 2024
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2024
Private-Keep Out? Understanding How Developers Account for Code Visibility in Unit Testing.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2024
2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023
2022
An Empirical Comparison of EvoSuite and DSpot for Improving Developer-Written Test Suites with Respect to Mutation Score.
Proceedings of the Search-Based Software Engineering - 14th International Symposium, 2022
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022
2020
Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
2019
Softw. Test. Verification Reliab., 2019
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019
2018
Softw. Test. Verification Reliab., 2018
Proceedings of the Software Engineering und Software Management 2018, 2018
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018
A Preliminary Report on Gamifying a Software Testing Course with the Code Defenders Testing Game.
Proceedings of the 3rd European Conference of Software Engineering Education, 2018
2017
Empir. Softw. Eng., 2017
Generating unit tests with descriptive names or: would you name your children thing1 and thing2?
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game.
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training Track, 2017
2016
Softw. Test. Verification Reliab., 2016
Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group, 2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
2015
Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 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, 2015
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
2014
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency.
Proceedings of the Formal Methods for Executable Software Models, 2014
2013
Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming.
PhD thesis, 2013
2012
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
Proceedings of the Formal Methods for Components and Objects, 2012
2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011
2010
Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010
2009
On the Solutions of NP-Complete Problems by Means of jNEP Run on Computers.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009