Quantum Software Engineering: Roadmap and Challenges Ahead Juan Manuel Murillo, Jose Garcia-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez-Castillo, Ignacio García-Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy Miranskyy, Manuel Wimmer 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 computing promises significant advancements over classical computing by enabling exponential speedups for specific problems. Despite its potential, quantum software development remains challenging due to its complexity, cost, and susceptibility to errors. Aligned with the novel paradigm of Quantum Software Engineering (QSE), this paper introduces a tool designed to automate the generation of quantum software components from truth tables. The tool simplifies the development process by allowing users to specify expected output values for given inputs, which the tool then translates into the corresponding quantum code. This approach reduces the manual effort required and helps ensure accuracy in quantum program development. Our method not only streamlines quantum software generation but also optimizes the resulting quantum circuits by minimizing unnecessary computations. The paper provides a detailed overview of the algorithm, tool implementation, and potential applications, highlighting the tool's efficacy in facilitating more efficient quantum software development.
Let's do it right the first time: Survey on security concerns in the way to quantum software engineering Danel Arias, Ignacio García Rodríguez de Guzmán, Moisés Rodríguez, Erik B. Terres, Borja Sanz, José Gaviria de la Puerta, Iker Pastor, Agustín Zubillaga, Pablo García Bringas Neurocomputing, 2023 Quantum computing is no longer a promise of the future but a rapidly evolving reality. Advances in quantum hardware are making it possible to make tangible a computational reality that until now was only theoretical. The proof of this is that development languages and platforms are appearing that bring physical principles closer to developers, making it feasible to begin to propose, in different areas of society, solutions to problems that until now were unsolvable. However, security vulnerabilities are also emerging that could hinder the progress of quantum computing, as well as its transition and development in industry. For this reason, this article proposes a review of some of the first artefacts that are emerging in the field of quantum computing. From this analysis, we begin to identify possible security issues that could become potential vulnerabilities in the quantum software of tomorrow. Likewise, and following the experience in classical software development, the testing technique is analysed as a possible candidate for improving security in quantum software development. Following the principles of Quantum Software Engineering, we are aware of the lack of tools, techniques and knowledge necessary to guarantee the development of quantum software in the immediate future. Therefore, this article aims to offer some first clues on what would be a roadmap to guarantee secure quantum software development.
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 Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini Qp4se 2022 Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering Co Located with Esec Fse 2022, 2022 Quantum computing will make it possible to exponentially accelerate the performance of a wide range of computational problems, such as cryptography, machine learning or chemical simulation. However, the quantum potential is not only a matter of hardware, but also of software. Therefore, this new paradigm has an impact yet to be explored on software development processes and techniques, and the adaptation of classical software engineering to the new classical/quantum hybrid systems raises a number of important challenges: a new Quantum Software Engineering is therefore needed. Specifically, and focusing on quantum software quality, software verification remains an open research question, as its novelty and complexity make quantum software development a particularly error-prone process. Most current approaches to test-driven verification rely heavily on simulations, which is a problem due to the lack of scalability of simulators running on classical computers. To address this shortcoming, we define the concept of a "Quantum Test Case", and then present a method to test quantum circuits on real machines, without using simulation test functionalities such as amplitude calculation or non-destructive measurement. This is achieved by automatically generating a Quantum Test Case, which wraps the circuit under test and performs the verification. We also present the process to run a set of tests on a circuit with this method, along with an example to illustrate the technique.
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, Harald Münzel, Julia Kindelsberger 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
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
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
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