Macario Polo

71 papers A* 1B 5C 3Misc 4Journal 17Unranked 38
YearRankTypeTitle / Venue / Authors
2025 J jnl
Generation of Quantum Software From Truth Tables.
Softw. Pract. Exp.
Macario Polo, Ignacio García Rodríguez de Guzmán, Manuel Ángel Serrano, Mario Piattini
2024 — conf
Generating Property-Based Tests for Quantum Algorithms.
ICSOC Workshops (2)
Antonio García de la Barrera, Manuel Ángel Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2024 — conf
QuantumUnit: A Proposal for Classic Multi-qubit Assertion Development.
JCC-BD&ET
Ignacio García Rodríguez de Guzmán, Antonio García de la Barrera Amo, Manuel Ángel Serrano, Macario Polo, Mario Piattini
2023 J jnl
Quantum software testing: State of the art.
J. Softw. Evol. Process.
Antonio García de la Barrera, Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2022 — conf
Automatic generation of test circuits for the verification of Quantum deterministic algorithms.
QP4SE@ESEC/SIGSOFT FSE
Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2022 — ch.
Quantum Software Testing: Current Trends and Emerging Proposals.
Quantum Software Engineering
Antonio García de la Barrera, Ignacio García Rodríguez de Guzmán, Macario Polo, José A. Cruz-Lemus
2021 J jnl
Investigating the impact on execution time and energy consumption of developing with Spring.
Sustain. Comput. Informatics Syst.
Coral Calero, Macario Polo, María Ángeles Moraga
2020 J jnl
Automated generation of oracled test cases with regular expressions and combinatorial techniques.
J. Softw. Evol. Process.
Macario Polo, Oscar Pedreira, Ángeles Saavedra Places, Ignacio García Rodríguez de Guzmán
2020 — conf
The Talavera Manifesto for Quantum Software Engineering and Programming.
QANSWER
Mario Piattini, Guido Peterssen, Ricardo Pérez-Castillo, Jose Luis Hevia, Manuel A. Serrano, Guillermo Hernández, Ignacio García Rodríguez de Guzmán, Claudio Andrés Paradela, Macario Polo, Ezequiel Murina, Luis Jiménez, Juan Carlos Marqueño, Ramsés Gallego, Jordi Tura, Frank Phillipson, Juan Manuel Murillo, Alfonso Niño, Moisés Rodríguez
2019 Misc conf
ProFit - Performing Dynamic Analysis of Software Systems.
QUATIC
Antonio García de la Barrera, María Ángeles Moraga, Macario Polo, Ignacio García Rodríguez de Guzmán
2018 — conf
Un Algoritmo GenÉtico para Generar Casos de Prueba con Oráculo.
CIbSE
Macario Polo, Óscar Pedreira Fernández, Ignacio García Rodríguez de Guzmán, Nieves R. Brisaboa, Mario Piattini
2015 J jnl
PROW: A Pairwise algorithm with constRaints, Order and Weight.
J. Syst. Softw.
Beatriz Pérez Lamancha, Macario Polo, Mario Piattini
2015 — ch.
Towards Green Software Testing.
Green in Software Engineering
Macario Polo
2014 A* conf
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation.
ASE
Mark Harman, Yue Jia, Pedro Reales Mateo, Macario Polo
2014 — conf
Extending the Bacterio tool for web application mutation testing.
CIbSE
Macario Polo, Danilo Caivano, Pedro Reales Mateo
2014 J jnl
Mutation Testing.
IEEE Softw.
Pedro Reales Mateo, Macario Polo, José Luis Fernández-Alemán, Ambrosio Toval, Mario Piattini
2014 — conf
Using Aspect-Oriented Programming for mutation testing of third-party components.
CIbSE
Macario Polo
2013 J jnl
Automated generation of test oracles using a model-driven approach.
Inf. Softw. Technol.
Beatriz Pérez Lamancha, Macario Polo, Danilo Caivano, Mario Piattini, Giuseppe Visaggio
2013 J jnl
Test Automation.
IEEE Softw.
Macario Polo, Pedro Reales Mateo, Mario Piattini, Christof Ebert
2012 J jnl
Testing-based process for component substitutability.
Softw. Test. Verification Reliab.
Andres Flores, Macario Polo
2011 — conf
Model Based Testing in Software Product Lines.
ICEIS
Pedro Reales Mateo, Macario Polo, Danilo Caivano
2011 — conf
Model-Driven Test Code Generation.
ENASE (Selected Papers)
Beatriz Pérez Lamancha, Pedro Reales Mateo, Macario Polo, Danilo Caivano
2011 B conf
Model-driven Testing - Transformations from Test Models to Test Code.
ENASE
Beatriz Pérez Lamancha, Pedro Reales Mateo, Macario Polo, Danilo Caivano
2011 — conf
Testing in Software Product Lines - A Model based Approach.
ICEIS (3)
Pedro Reales Mateo, Macario Polo, Danilo Caivano
2010 B conf
Knowledge extraction of the behaviour of software developers by the analysis of time recording logs.
FUZZ-IEEE
Arturo Peralta, Francisco P. Romero, José Angel Olivas, Macario Polo
2010 — conf
Pruebas en Ingeniería del Software (PRIS, 5ª ed.).
JISBD
Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya
2010 Misc conf
Recovering and Analyzing Program Behaviors from Testing Traces.
IC-AI
Macario Polo, Francisco P. Romero, José Angel Olivas
2010 — conf
Systematic Review on Software Product Line Testing.
ICSOFT (Selected Papers)
Beatriz Pérez Lamancha, Macario Polo, Mario Piattini
2009 Misc conf
An Approach to Software Project Scheduling Using Personal Software Process and Soft Computing Techniques.
IC-AI
Arturo Peralta, Francisco P. Romero, Macario Polo, José Angel Olivas
2009 — conf
Automatic Generation of Test Cases in Software Product Lines.
ICEIS (3)
Pedro Reales Mateo, Macario Polo, Beatriz Pérez Lamancha
2009 J jnl
Decreasing the cost of mutation testing with second-order mutants.
Softw. Test. Verification Reliab.
Macario Polo, Mario Piattini, Ignacio García Rodríguez de Guzmán
2009 — conf
Establishing Trust Networks based on Data Quality Criteria for Selecting Data Suppliers.
ICEIS (1)
Ricardo Pérez-Castillo, Ismael Caballero, Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini, Eugenio Verbo
2009 — conf
PRECISO: A Reverse Engineering Tool to Discover Web Services from Relational Databases.
WCRE
Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Ismael Caballero, Macario Polo, Mario Piattini
2009 — conf
Pruebas en Ingeniería del Software (PRIS, 4ª edición).
JISBD
Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya
2009 C conf
Some Experiments on Test Case Tracebaility.
SEKE
Macario Polo, Beatriz Pérez Lamancha, Pedro Reales Mateo
2008 — conf
Testing-based Process for Evaluating Component Replaceability.
VODCA@FOSAD
Andres Flores, Macario Polo
2008 — conf
Un enfoque ADM para la Reingeniería de Bases de Datos Relacionales hacia Servicios Web.
JIISIC
Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini, Ricardo Pérez-Castillo
2007 — conf
A framework for model-driven pattern matching.
ICEIS (1)
Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2007 — conf
An ADM Approach to Reengineer Relational Databases towards Web Services.
WCRE
Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2007 J jnl
An MDA-based approach for database re-engineering.
J. Softw. Maintenance Res. Pract.
Macario Polo, Ignacio García Rodríguez de Guzmán, Mario Piattini
2007 J jnl
Integrating techniques and tools for testing automation.
Softw. Test. Verification Reliab.
Macario Polo, Sergio Tendero, Mario Piattini
2007 C conf
Using Model-Driven Pattern Matching to derive functionalities in Models.
SEKE
Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2006 J jnl
A Comparison of Effort Estimation Methods for 4gl Programs: Experiences with Statistics and Data Mining.
Int. J. Softw. Eng. Knowl. Eng.
José Cristóbal Riquelme Santos, Macario Polo, Jesús S. Aguilar-Ruiz, Mario Piattini, Francisco J. Ferrer-Troyano, Francisco Ruiz
2006 — conf
A Methodology for Database Reengineering to Web Services.
ECMDA-FA
Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2006 — conf
An Approach for Applications Suitability on Pervasive Environments.
IWUC
Andres Flores, Macario Polo
2006 — conf
Obtaining Web Services from Relational Databases.
CSMR
Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2006 — conf
Un Método para la Creación de Servicios Web a Partir de Bases de Datos Relacionales.
DSDM
Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2005 — conf
.Net Approach to Run-Time Component Integration.
LA-WEB
Andres Flores, Ignacio García Rodríguez de Guzmán, Macario Polo
2005 — conf
An Integrated Environment for Reengineering.
ICSM
Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2005 C conf
Dynamic Component Assessment on PvC Environments.
ISCC
Andres Flores, Macario Polo
2005 — conf
Towards Application Suitability for PvC Environments.
MSVVEIS
Andres Flores, Macario Polo
2004 — conf
An Aspect-based Environment for COTS Component Testing.
SOQUA/TECOS
Macario Polo, Alejandra Cechich
2004 — conf
Automated Generation of Component-Based Web Applications from Databases.
Software Engineering Research and Practice
Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini
2004 — conf
Towards context-aware testing for semantic interoperability on PvC environments.
SMC (2)
Andres Flores, Juan Carlos Augusto, Macario Polo, Mauricio Varea
2002 B conf
An XMI-Based Repository for Software Process Meta-modeling.
PROFES
Francisco Ruiz, Mario Piattini, Félix García, Macario Polo
2002 B conf
Black-Box Evaluation of COTS Components Using Aspects and Metadata.
PROFES
Alejandra Cechich, Macario Polo
2002 — conf
Conceptual Architecture for the Assessme NT and Improvement of Software Maintenance.
ICEIS
Félix García, Francisco Ruiz, Mario Piattini, Macario Polo
2002 J jnl
Generating three-tier applications from relational databases: a formal and practical approach.
Inf. Softw. Technol.
Macario Polo, Juan Ángel Gómez, Mario Piattini, Francisco Ruiz
2002 J jnl
Integrating Outsourcing in the Maintenance Process.
Inf. Technol. Manag.
Macario Polo, Mario Piattini, Francisco Ruiz
2002 — conf
Una comparativa de métodos para la estimación del esfuerzo en programmas 4GL: experiencias con Estadística y Minería de Datos.
JISBD
Macario Polo, José Cristóbal Riquelme Santos, Mario Piattini, Jesús S. Aguilar-Ruiz, Francisco Ruiz, Francisco J. Ferrer-Troyano
2002 J jnl
Using a qualitative research method for building a software maintenance methodology.
Softw. Pract. Exp.
Macario Polo, Mario Piattini, Francisco Ruiz
2001 B conf
Assessment of Maintenance Maturity in IT Departments of Public Entities: Two Case Studies.
PROFES
Macario Polo, Mario Piattini, Francisco Ruiz, Mar Jiménez
2001 — ch.
Metrics for Managing Quality in Information Modeling.
Information Modeling in the New Millennium
Mario Piattini, Marcela Genero, Coral Calero, Macario Polo, Francisco Ruiz
2001 Misc conf
Reflective Persistence.
EuroPLoP
Macario Polo, Mario Piattini, Francisco Ruiz
2001 — conf
Using Code Metrics to Predict Maintenance of Legacy Programs: A Case Study.
ICSM
Macario Polo, Mario Piattini, Francisco Ruiz
1999 — conf
Elaboración de una metodología para el mantenimiento de software.
JISBD
Macario Polo, Mario Piattini
1999 — conf
MANTEMA: A Complete Rigorous Methodology for Supporting Maintenance Based On The ISO/IEC 12207 Standard.
CSMR
Macario Polo, Mario Piattini, Francisco Ruiz, Coral Calero
1999 — conf
Maintenance Types in the MANTEMA Methodology.
ICEIS
Francisco Ruiz, Mario Piattini, Macario Polo, Coral Calero
1999 J jnl
Roles in the maintenance process.
ACM SIGSOFT Softw. Eng. Notes
Macario Polo, Mario Piattini, Francisco Ruiz, Coral Calero
1999 — conf
Validating Referential Integrity as a Database Quality Metric.
ICEIS
Coral Calero, Mario Piattini, Macario Polo, Francisco Ruiz
1999 — conf
Validation of Metrics for Object-Relational Databases.
ECOOP Workshops
Coral Calero, Mario Piattini, Francisco Ruiz, Macario Polo