Macario Polo Usaola

37 papers A 1B 2C 5Misc 1Journal 7Unranked 21
YearRankTypeTitle / Venue / Authors
2025 — conf
Mutation-Based Quantum Software Testing.
IQSOFT
Macario Polo Usaola, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán
2024 Misc conf
Generating Quantum Software from Truth Tables.
QCE
Macario Polo Usaola, Ignacio García Rodríguez de Guzmán, Manuel Ángel Serrano, Mario Piattini
2021 J jnl
Analysing the combination of cost reduction techniques in Android mutation testing.
Softw. Test. Verification Reliab.
Macario Polo Usaola, Isyed Rodriguez
2020 — conf
Quantum Software Testing.
QANSWER
Macario Polo Usaola
2017 — conf
An Architecture for the Development of Mutation Operators.
ICST Workshops
Macario Polo Usaola, Gonzalo Rojas, Isyed Rodriguez, Suilen Hernandez
2017 — conf
Test Case Generation with Regular Expressions and Combinatorial Techniques.
ICST Workshops
Macario Polo Usaola, Francisco Ruiz Romero, Rosana Rodriguez-Bobada Aranda, Ignacio García Rodríguez de Guzmán
2015 J jnl
Reducing mutation costs through uncovered mutants.
Softw. Test. Verification Reliab.
Pedro Reales Mateo, Macario Polo Usaola
2014 C conf
Extending UML Testing Profile Towards Non-functional Test Modeling.
MODELSWARD
Federico Toledo Rodríguez, Francesca Lonetti, Antonia Bertolino, Macario Polo Usaola, Beatriz Pérez Lamancha
2013 — conf
Automated Generation of Performance Test Cases from Functional Tests for Web Applications.
ENASE (Selected Papers)
Federico Toledo Rodríguez, Matías Reina, Fabián Baptista, Macario Polo Usaola, Beatriz Pérez Lamancha
2013 — conf
Automated test generation for multi-state systems.
GECCO (Companion)
Pedro Reales Mateo, Macario Polo Usaola
2013 C conf
BacterioORACLE: An Oracle suggester tool.
SEKE
Pedro Reales Mateo, Macario Polo Usaola
2013 J jnl
Mutation at the multi-class and system levels.
Sci. Comput. Program.
Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt
2013 J jnl
Parallel mutation testing.
Softw. Test. Verification Reliab.
Pedro Reales Mateo, Macario Polo Usaola
2013 J jnl
Validating Second-Order Mutation at System Level.
IEEE Trans. Software Eng.
Pedro Reales Mateo, Macario Polo Usaola, José Luis Fernández-Alemán
2012 — conf
Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases.
ICSM
Pedro Reales Mateo, Macario Polo Usaola
2012 A conf
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code).
ICST
Pedro Reales Mateo, Macario Polo Usaola
2012 B conf
Reduction of Test Suites Using Mutation.
FASE
Macario Polo Usaola, Pedro Reales Mateo, Beatriz Pérez Lamancha
2012 C conf
Towards a Framework for Information System Testing - A Model-driven Testing Approach.
ICSOFT
Federico Toledo Rodríguez, Beatriz Pérez Lamancha, Macario Polo Usaola
2010 — conf
A Model Based Testing Approach for Model-Driven Development and Software Product Lines.
ENASE (Selected Papers)
Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthuis
2010 B conf
An Automated Model-driven Testing Framework - For Model-Driven Development and Software Product Lines.
ENASE
Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthuis
2010 — conf
Generación Automática de Casos de Prueba en Ingeniería del Producto en el Contexto de las Líneas de Producto Software.
CIbSE
Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthuis
2010 J jnl
Mutation Testing Cost Reduction Techniques: A Survey.
IEEE Softw.
Macario Polo Usaola, Pedro Reales Mateo
2010 — conf
Mutation at System and Functional Levels.
ICST Workshops
Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt
2010 C conf
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage.
ICTSS
Beatriz Pérez Lamancha, Macario Polo Usaola
2010 C conf
Testing-Based Selection Method for Integrability on Service-Oriented Applications.
ICSEA
Andres Flores, Alejandra Cechich, Alejandro Zunino, Macario Polo Usaola
2009 — conf
Automated model-based testing using the UML testing profile and QVT.
MoDeVVa@MoDELS
Beatriz Pérez Lamancha, Pedro Reales Mateo, Ignacio Garíía Rodríguez de Guzmán, Macario Polo Usaola, Mario Piattini Velthuis
2009 — conf
Estado del Arte de las Pruebas en Líneas de Producto Software.
CIbSE
Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthuis
2009 — conf
Model-driven testing in software product lines.
ICSM
Beatriz Pérez Lamancha, Macario Polo Usaola, Ignacio García Rodríguez de Guzmán
2009 — conf
Software Product Line Testing - A Systematic Review.
ICSOFT (1)
Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthuis
2009 — conf
Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile.
AST@ICSE
Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthuis
2008 — conf
Generación Automática de Casos de Prueba en Líneas de Producto.
JISBD
Pedro Reales Mateo, Beatriz Pérez Lamancha, Macario Polo Usaola
2008 — conf
Testing-Based Component Assessment for Substitutability.
ICEIS (3-2)
Andres Flores, Macario Polo Usaola
2008 — conf
Testing-based assessment process for upgrading component systems.
ICSM
Andres Flores, Macario Polo Usaola
2005 — conf
Towards Run-time Component Integration on Ubiquitous Systems.
MSVVEIS
Macario Polo Usaola, Andres Flores
2005 — conf
Un entorno integrado para la reingeniería.
JISBD
Ignacio García Rodríguez de Guzmán, Macario Polo Usaola, Mario Piattini
2001 J jnl
MANTOOL: a tool for supporting the software maintenance process.
J. Softw. Maintenance Res. Pract.
Macario Polo Usaola, Mario Piattini, Francisco Ruiz
2000 — conf
Cuestionario para la Identificatión de Riesgos en Proyectos de Mantenimiento.
JISBD
Macario Polo Usaola, Mario Piattini