Antonio García de la Barrera

According to our database, Antonio García de la Barrera authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

QuantumUnit: A Proposal for Classic Multi-qubit Assertion Development.

Ignacio García Rodríguez de Guzmán, Antonio García de la Barrera Amo, Manuel Ángel Serrano, Macario Polo, Mario Piattini

Proceedings of the Cloud Computing, Big Data and Emerging Topics - 12th Conference, 2024

Generating Property-Based Tests for Quantum Algorithms.

Antonio García de la Barrera, Manuel Ángel Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini

Proceedings of the Service-Oriented Computing - ICSOC 2024 Workshops, 2024

2023

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

J. Softw. Evol. Process., April, 2023

2022

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

Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, 2022

Quantum Software Testing: Current Trends and Emerging Proposals.

Antonio García de la Barrera, Ignacio García Rodríguez de Guzmán, Macario Polo, José A. Cruz-Lemus

Proceedings of the Quantum Software Engineering, 2022

2019

ProFit - Performing Dynamic Analysis of Software Systems.

Antonio García de la Barrera, María Ángeles Moraga, Macario Polo, Ignacio García Rodríguez de Guzmán

Proceedings of the Quality of Information and Communications Technology, 2019