Quantum Software Engineering: Roadmap and Challenges Ahead Juan Manuel Murillo, Jose Garcia-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, et al. ACM Transactions on Software Engineering and Methodology, 2025 As quantum computers advance, the complexity of the software they can execute increases as well. To ensure this software is efficient, maintainable, reusable, and cost-effective—key qualities of any industry-grade software—mature software engineering practices must be applied throughout its design, development, and operation. However, the significant differences between classical and quantum software make it challenging to directly apply classical software engineering methods to quantum systems. This challenge has led to the emergence of Quantum Software Engineering (QSE) as a distinct field within the broader software engineering landscape. In this work, a group of active researchers analyze in depth the current state of QSE research. From this analysis, the key areas of QSE are identified and explored in order to determine the most relevant open challenges that should be addressed in the next years. These challenges help identify necessary breakthroughs and future research directions for advancing QSE.
Generating Quantum Software from Truth Tables Macario Polo Usaola, Ignacío Garcia-Rodríguez de Guzmán, Manuel Ángel Serrano, Mario Piattini Proceedings IEEE Quantum Week 2024 Qce 2024, 2024
Quantum software testing: State of the art Antonio García de la Barrera, Ignacio García‐Rodríguez de Guzmán, Macario Polo, Mario Piattini Journal of Software Evolution and Process, 2023 Quantum computing is expected to exponentially outperform classic computing on a broad set of problems, including encryption, machine learning, and simulations. It has an impact yet to explore on all software lifecycle's processes and techniques. Testing quantum software raises a significant number of challenges due to the unique properties of quantum physics—such as superposition and entanglementand the stochastic behavior of quantum systems. It is, therefore, an open research issue. In this work, we offer a systematic mapping study of quantum software testing engineering, presenting a comprehensive view of the current state of the art. The main identified trends in testing techniques are (1) the statistic approaches based on repeated measurements and (2) the use of Hoare‐like logics to reason about software correctness. Another relevant line of research is reversible circuit testing, which is partially applicable to quantum software unitary testing. Finally, we have observed a flourishing of secondary studies and frameworks supporting testing processes from 2018 onwards.
Automatic generation of test circuits for the verification of quantum deterministic algorithms 26th Jornadas De Ingenieria Del Software Y Bases De Datos Jisbd 2022, 2022
Definition of mutation operators for geographic information systems Actas De Las 24th Jornadas De Ingenieria Del Software Y Bases De Datos Jisbd 2019, 2019
A reference model-driven Architecture linking Business Processes and Services Proceedings of the Annual Hawaii International Conference on System Sciences, 2018
A genetic algorithm to generate functional test cases with oracle Avances En Ingenieria De Software A Nivel Iberoamericano Cibse 2018, 2018
Fundaments of business process archeology Ricardo Pérez-Castillo, Ignacio García Rodriguez de Guzmán, Mario Piattini Organizational Culture and Behavior Concepts Methodologies Tools and Applications, 2017
GreCo: Green code of ethics Ma Ángeles Moraga, Ignacio García‐Rodríguez de Guzmán, Coral Calero, Timo Johann, Gianantonio Me, et al. Journal of Software Evolution and Process, 2017
Ecological debt: Outlining a measure to evaluate software greenability Actas De Las 22nd Jornadas De Ingenier Amp Amp Amp Amp Amp Amp 65533 A Del Software Y Bases De Datos Jisbd 2017, 2017
Process model matching using heuristic search Mostefai Abdelkader, Ignacio Garcia Rodriguez De Guzman Proceedings of IEEE ACS International Conference on Computer Systems and Applications Aiccsa, 2016
Towards an extensible ADM-based environment for refactoring legacy systems Actas De Las 21st Jornadas De Ingenier Amp Amp Amp Amp Amp 65533 A Del Software Y Bases De Datos Jisbd 2016, 2016
Fundaments of business process archeology Ricardo Pérez-Castillo, Ignacio García Rodriguez de Guzmán, Mario Piattini Uncovering Essential Software Artifacts Through Business Process Archeology, 2013
MIMOS, system model-driven migration project Ricardo Perez-Castillo, Ignacio Garcia-Rodriguez de Guzman, Mario Piattini Proceedings of the European Conference on Software Maintenance and Reengineering CSMR, 2013
ANDRIU. A technique for migrating graphical user interfaces to android Proceedings of the International Conference on Software Engineering and Knowledge Engineering Seke, 2013
Improving event correlation for non-process aware information systems Enase 2012 Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, 2012
Database schema elicitation to modernize relational databases Iceis 2012 Proceedings of the 14th International Conference on Enterprise Information Systems, 2012
Integrating event logs into KDM repositories Ricardo Pérez-Castillo, Ignacio García-Rodríguez de Guzmán, Mario Piattini, Barbara Weber Proceedings of the ACM Symposium on Applied Computing, 2012
MARBLE. A business process archeology tool Ricardo Perez-Castillo, Maria Fernandez-Ropero, Ignacio Garcia-Rodriguez de Guzman, Mario Piattini IEEE International Conference on Software Maintenance Icsm, 2011
Model-driven reengineering Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini Emerging Technologies for the Evolution and Maintenance of Software Models, 2011
Marble Actas De Las 16th Jornadas De Ingenieria Del Software Y Bases De Datos Jisbd 2011, 2011
MINERVA framework for continuous improvement of business processes oriented model-driven services 14th Ibero American Conference on Software Engineering and 14th Workshop on Requirements Engineering Cibse 2011, 2011
Execution measurement-driven continuous improvement of business processes implemented by services Enase 2011 Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, 2011
Diagnosis of software erosion through fuzzy logic Ricardo Perez-Castillo, Ignacio Garcia Rodrguez de Guzman, Mario Piattini IEEE Ssci 2011 Symposium Series on Computational Intelligence Cidue 2011 2011 IEEE Symposium on Computational Intelligence in Dynamic and Uncertain Environments, 2011
Toward obtaining event logs from legacy code Ricardo Pérez-Castillo, Barbara Weber, Ignacio García-Rodríguez de Guzmán, Mario Piattini Lecture Notes in Business Information Processing, 2011
Architecture-driven modernization Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini Modern Software Engineering Concepts and Practices Advanced Approaches, 2010
Application of service-oriented computing and model-driven development paradigms to business processes: A systematic review Icsoft 2010 Proceedings of the 5th International Conference on Software and Data Technologies, 2010
Tool support for service oriented development from business processes Ceur Workshop Proceedings, 2010
Model-driven testing in software product lines Beatriz Perez Lamancha, Macario Polo Usaola, Ignacio Garcia Rodriguez de Guzman IEEE International Conference on Software Maintenance Icsm, 2009
Software development based on service-oriented business processes 12th Iberoamerican Conference on Requirements Engineering and Software Environments Ideas 2009, 2009
To wards a Service-Oriented and Model-Driven framework with business processes as first-class citizens Lecture Notes in Informatics Lni Proceedings Series of the Gesellschaft Fur Informatik Gi, 2009
Establishing trust networks based on data quality criteria for selecting data suppliers Iceis 2009 11th International Conference on Enterprise Information Systems Proceedings, 2009
AppLying QVT in order to implement secure data warehouses in SQL server analysis services Journal of Research and Practice in Information Technology, 2009
Including security rules support in an MDA approach for secure DWs Carlos Blanco, Ignacio García-Rodríguez de Guzmán, Eduardo Fernández-Medina, Juan Trujillo, Mario Piattini Proceedings International Conference on Availability Reliability and Security Ares 2009, 2009
An ADM approach for the reengineering relational databases towards Web services 7th Jornadas Iberoamericanas De Ingenieria De Software E Ingenieria Del Conocimiento 2008 Jiisic 2008, 2008
An ontology for the WSRP standard Memorias De La 11th Conferencia Iberoamericana De Software Engineering Cibse 2008, 2008
Obtaining secure code in SQL server analysis services by using MDA and QVT Security in Information Systems Proceedings of the 6th International Workshop on Security in Information Systems Wosis 2008 in Conjunction with Iceis 2008, 2008
Automatic generation of secure multidimensional code for Data Warehouses by using QVT transformations: An MDA approach Ceur Workshop Proceedings, 2008
Obtaining use cases and security use cases from secure business process through the MDA approach Proceedings of the 5th International Workshop on Security in Information Systems Wosis 2007 in Conjunction with Iceis 2007, 2007
Using model-driven pattern matching to derive functionalities in models 19th International Conference on Software Engineering and Knowledge Engineering Seke 2007, 2007
A framework for model-driven pattern matching Iceis 2007 9th International Conference on Enterprise Information Systems Proceedings, 2007
A method for creating web services from relational databases Ceur Workshop Proceedings, 2006
A methodology for database reengineering to web services Ignacio García-Rodríguez de Guzmán, Macario Polo, Mario Piattini Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2006
Automated generation of component-based web applications from databases Proceedings of the International Conference on Software Engineering Research and Practice Serp 04, 2004
RECENT SCHOLAR PUBLICATIONS
QuantumX: una experiencia para la consolidación de la Ingeniería de Software Cuántica como disciplina emergente JM Murillo, IGR de Guzmán, E Moguel Congresso Ibero-Americano em Engenharia de Software (CIbSE), 453-455 , 2026 2026
ATHENA–Tecnologías Avanzadas para Entornos y Aplicaciones Híbridas Clásico–Cuánticas IGR de Guzmán, M Rodríguez, A Díaz-Muñoz, J Garcia-Alonso, E Moguel, ... Congresso Ibero-Americano em Engenharia de Software (CIbSE), 420-423 , 2026 2026
QuantumX: an experience for the consolidation of Quantum Computing and Quantum Software Engineering as an emerging discipline JM Murillo, IGR de Guzmán, E Moguel, J Romero-Álvarez, ... arXiv preprint arXiv:2603.10621 , 2026 2026
Pypen: Code instrumentation tool for dynamic analysis and energy efficiency evaluation C Pulido, I García, MÁ Moraga, F García, C Calero Computer Standards & Interfaces 94, 104000 , 2025 2025 Citations: 1
Open-Source Framework for Advancing Data-Driven Digital Human Modelling JM Rojas, B Mateo, N Fernández, I García International Conference on Digital Human Modeling, 351-359 , 2025 2025 Citations: 1
On the feasibility of quantum unit testing A Miranskyy, J Campos, A Mjeda, L Zhang, IGR de Guzmán arXiv preprint arXiv:2507.17235 , 2025 2025 Citations: 11
Quantum software engineering: Roadmap and challenges ahead JM Murillo, J Garcia-Alonso, E Moguel, J Barzen, F Leymann, S Ali, T Yue, ... ACM Transactions on Software Engineering and Methodology 34 (5), 1-48 , 2025 2025 Citations: 120
An Adaptation of the UML Testing Profile for Quantum Software Testing I García Rodríguez de Guzmán, M Rodríguez Monje, M Piattini Velthuis, ... Universidad de Montevideo , 2025 2025
Mutation-Based Quantum Software Testing M Polo-Usaola, MA Serrano, IGR de Guzmán 2025
Pypen: Code instrumentation tool for dynamic analysis and energy efficiency evaluation C Pulido Hernández, I García-Rodríguez de Guzmán, M Moraga, F Garcia, ... Felix and Calero, Coral, Pypen: Code Instrumentation Tool for Dynamic … , 2025 2025
Una adaptación del UML Testing Profile para el Testing de Software Cuántico IGR de Guzmán, MR Monje, MP Velthuis, MTM Quintana Memoria Investigaciones en Ingeniería, 266-284 , 2024 2024
Generating Property-Based Tests for Quantum Algorithms A García de la Barrera, MÁ Serrano, I García-Rodríguez de Guzmán, ... International Conference on Service-Oriented Computing, 15-25 , 2024 2024 Citations: 1
Generating Quantum Software from truth tables MP Usaola, IGR de Guzmán, MÁ Serrano, M Piattini 2024 IEEE International Conference on Quantum Computing and Engineering (QCE … , 2024 2024
Quantumunit: A proposal for classic multi-qubit assertion development IGR de Guzmán, AG de la Barrera Amo, MÁ Serrano, M Polo, M Piattini Conference on Cloud Computing, Big Data & Emerging Topics, 121-131 , 2024 2024 Citations: 1
Prefácio e Organização E OliveiraJr, IGR de Guzmán Congresso Ibero-Americano em Engenharia de Software (CIbSE), i-viii , 2024 2024
A process for creating KDM2PSM transformation engines G Angulo, D San Martín, F Ferrari, I García-Rodríguez de Guzmán, ... International Journal on Software Tools for Technology Transfer 26 (1), 1-20 , 2024 2024
Challenges of quantum software engineering for the next decade: The road ahead JM Murillo, J Garcia-Alonso, E Moguel, J Barzen, F Leymann, S Ali, T Yue, ... arXiv preprint arXiv:2404.06825 , 2024 2024 Citations: 28
Let’s do it right the first time: Survey on security concerns in the way to quantum software engineering D Arias, IGR de Guzman, M Rodriguez, EB Terres, B Sanz, ... Neurocomputing 538, 126199 , 2023 2023 Citations: 23
Quantum software testing: State of the art A García de la Barrera, I García‐Rodríguez de Guzmán, M Polo, M Piattini Journal of Software: Evolution and Process 35 (4), e2419 , 2023 2023 Citations: 98
Generación automática de pruebas basadas en propiedades para la verificación de algoritmos cuánticos AG de la Barrera, MAS Martín, IGR de Guzmán, MP Usaola, MGP Velthuis Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos … , 2023 2023
MOST CITED SCHOLAR PUBLICATIONS
Decreasing the cost of mutation testing with second‐order mutants M Polo, M Piattini, I García‐Rodríguez Software Testing, Verification and Reliability 19 (2), 111-131 , 2009 2009 Citations: 216
Knowledge Discovery Metamodel-ISO/IEC 19506: A standard to modernize legacy systems R Pérez-Castillo, IGR De Guzman, M Piattini Computer Standards & Interfaces 33 (6), 519-532 , 2011 2011 Citations: 173
The Talavera Manifesto for quantum software engineering and programming. M Piattini, G Peterssen, R Pérez-Castillo, JL Hevia, MA Serrano, ... QANSWER, 1-5 , 2020 2020 Citations: 153
Semi-formal transformation of secure business processes into analysis class and use case models: an MDA approach A Rodríguez, IGR de Guzmán, E Fernandez-Medina, M Piattini Information and Software Technology 52 (9), 945-971 , 2010 2010 Citations: 136
Quantum software engineering: Roadmap and challenges ahead JM Murillo, J Garcia-Alonso, E Moguel, J Barzen, F Leymann, S Ali, T Yue, ... ACM Transactions on Software Engineering and Methodology 34 (5), 1-48 , 2025 2025 Citations: 120
Quantum software testing: State of the art A García de la Barrera, I García‐Rodríguez de Guzmán, M Polo, M Piattini Journal of Software: Evolution and Process 35 (4), e2419 , 2023 2023 Citations: 98
Generating event logs from non-process-aware systems enabling business process mining R Pérez-Castillo, B Weber, J Pinggera, S Zugal, IGR de Guzmán, ... Enterprise Information Systems 5 (3), 301-335 , 2011 2011 Citations: 90
An integrated approach based on execution measures for the continuous improvement of business processes realized by services A Delgado, B Weber, F Ruiz, IGR de Guzmán, M Piattini Information and Software Technology 56 (2), 134-162 , 2014 2014 Citations: 84
Business process archeology using MARBLE R Pérez-Castillo, IGR de Guzmán, M Piattini Information and Software Technology 53 (10), 1023-1044 , 2011 2011 Citations: 73
A governance and management framework for green IT JD Patón-Romero, MT Baldassarre, M Piattini, ... Sustainability 9 (10), 1761 , 2017 2017 Citations: 66
FEETINGS: framework for energy efficiency testing to improve environmental goal of the software J Mancebo, C Calero, F García, MÁ Moraga, IGR de Guzmán Sustainable Computing: Informatics and Systems 30, 100558 , 2021 2021 Citations: 57
MINERVA: Model drIveN and sErvice oRiented framework for the continuous business process improVement and relAted tools A Delgado, F Ruiz, I García-Rodríguez de Guzmán, M Piattini European Conference on a Service-Based Internet, 456-466 , 2009 2009 Citations: 52
Assessing event correlation in non-process-aware information systems R Pérez-Castillo, B Weber, IGR de Guzmán, M Piattini, J Pinggera Software & Systems Modeling 13 (3), 1117-1139 , 2014 2014 Citations: 49
An approach for mining services in database oriented applications C Del Grosso, M Di Penta, IGR de Guzman 11th European Conference on Software Maintenance and Reengineering (CSMR'07 … , 2007 2007 Citations: 49
Is software sustainability considered in the CSR of software industry? C Calero, I García-Rodríguez De Guzmán, MA Moraga, F García International Journal of Sustainable Development & World Ecology 26 (5), 439-459 , 2019 2019 Citations: 42
Evaluating GSD-aware: A serious game for discovering global software development challenges A Vizcaíno, F García, IGRD Guzmán, MÁ Moraga ACM Transactions on Computing Education (TOCE) 19 (2), 1-23 , 2019 2019 Citations: 40
Dental implants in a patient with Paget disease under bisphosphonate treatment: a case report J Torres, F Tamimi, I Garcia, A Herrero, B Rivera, JA Sobrino, ... Oral Surgery, Oral Medicine, Oral Pathology, Oral Radiology, and … , 2009 2009 Citations: 40
An MDA‐based approach for database re‐engineering M Polo, I García‐Rodríguez, M Piattini Journal of Software Maintenance and Evolution: Research and Practice 19 (6 … , 2007 2007 Citations: 40
Process mining through dynamic analysis for modernising legacy systems R Pérez-Castillo, B Weber, IGR De Guzmán, M Piattini IET software 5 (3), 304-319 , 2011 2011 Citations: 39
EET: a device to support the measurement of software consumption J Mancebo, HO Arriaga, F García, MÁ Moraga, IGR de Guzmán, C Calero Proceedings of the 6th International Workshop on Green and Sustainable … , 2018 2018 Citations: 37