arrow
Back
M

Macario Polo

Universidad de Castilla-La Mancha

21H-index
161Paper Count
1.3KCitation Count
Published Papers 13
Publication Date
QuMuS: A scalable tool for quantum mutant testing on NISQ hardware
err2026-06-01
err0
errOAAI
errAlvarado-Valiente, Jaime; Romero-Alvarez, Javier; Moguel, Enrique; Garcia-Alonso, Jose; Polo, Macario; Garcia-Rodriguez, Ignacio; Murillo, Juan M.
errShare
errSave
Generating Property-Based Tests for Quantum Algorithms
err2026-01-01
err0
PREAI
errde la Barrera, Antonio Garcia; Serrano, Manuel Angel; de Guzman, Ignacio Garcia-Rodriguez; Polo, Macario; Piattini, Mario
errShare
errSave
Consider the energy consumption of your quantum circuits
err2025-06-12
err0
PREAI
errCoral Calero; Macario Polo; Elena Desdentado; Mª Ángeles Moraga
errShare
errSave
Generation of Quantum Software From Truth Tables
err2025-04-30
err0
PREAI
errMacario Polo; Ignacio García-Rodríguez; Manuel Serrano; Mario Piattini
errShare
errSave
PROW: A Pairwise algorithm with constRaints, Order and Weight
err2015-01-01
err11
PREAI
errPerez Lamancha, Beatriz; Polo, Macario; Piattini, Mario
errShare
errSave
Mutation Testing
err2014-05-01
err8
PREAI
errReales, Pedro; Polo, Macario; Luis Fernandez-Aleman, Jose; Toval, Ambrosio; Piattini, Mario
errShare
errSave
Validating Second-Order Mutation at System Level
err2013-04-01
err27
PREAI
errReales Mateo, Pedro; Polo Usaola, Macario; Fernandez Aleman, Jose Luis
errShare
errSave
Automated generation of test oracles using a model-driven approach
err2013-02-01
err23
PREAI
errPerez Lamancha, Beatriz; Polo, Macario; Caivano, Danilo; Piattini, Mario; Visaggio, Giuseppe
errShare
errSave
SOFTWARE TECHNOLOGY Test Automation
err2013-01-01
err12
PREAI
errPolo, Macario; Reales, Pedro; Piattini, Mario; Ebert, Christof
errShare
errSave
Mutation Testing Cost Reduction Techniques: A Survey
err2010-05-01
err55
PREAI
errPolo Usaola, Macario; Reales Mateo, Pedro
errShare
errSave