MANTEMA: A Complete Rigorous Methodology for Supporting Maintenance Based On The ISO/IEC 12207 Standard. - Macario Polo; Mario Piattini; Francisco Ruiz 001; Coral Calero (CSMR, 1999)

Validation of Metrics for Object-Relational Databases. - Coral Calero; Mario Piattini; Francisco Ruiz 001; Macario Polo (ECOOP Workshops, 1999)

Validating Referential Integrity as a Database Quality Metric. - Coral Calero; Mario Piattini; Macario Polo; Francisco Ruiz 001 (ICEIS, 1999)

Maintenance Types in the MANTEMA Methodology. - Francisco Ruiz 001; Mario Piattini; Macario Polo; Coral Calero (ICEIS, 1999)

Elaboración de una metodología para el mantenimiento de software. - Macario Polo; Mario Piattini (JISBD, 1999)

Roles in the maintenance process. - Macario Polo; Mario Piattini; Francisco Ruiz 001; Coral Calero (ACM SIGSOFT Softw. Eng. Notes, 1999)

Cuestionario para la Identificatión de Riesgos en Proyectos de Mantenimiento. - Macario Polo Usaola; Mario Piattini (JISBD, 2000)

Metrics for Managing Quality in Information Modeling. - Mario Piattini; Marcela Genero; Coral Calero; Macario Polo; Francisco Ruiz 001 (Information Modeling in the New Millennium, 2001)

Reflective Persistence. - Macario Polo; Mario Piattini; Francisco Ruiz 001 (EuroPLoP, 2001)

Using Code Metrics to Predict Maintenance of Legacy Programs: A Case Study. - Macario Polo; Mario Piattini; Francisco Ruiz 001 (ICSM, 2001)

Assessment of Maintenance Maturity in IT Departments of Public Entities: Two Case Studies. - Macario Polo; Mario Piattini; Francisco Ruiz 001; Mar Jiménez (PROFES, 2001)

MANTOOL: a tool for supporting the software maintenance process. - Macario Polo Usaola; Mario Piattini; Francisco Ruiz 001 (J. Softw. Maintenance Res. Pract., 2001)

Conceptual Architecture for the Assessme NT and Improvement of Software Maintenance. - Félix García 001; Francisco Ruiz 001; Mario Piattini; Macario Polo (ICEIS, 2002)

Una comparativa de métodos para la estimación del esfuerzo en programmas 4GL: experiencias con Estadística y Minería de Datos. - Macario Polo; José Cristóbal Riquelme Santos; Mario Piattini; Jesús S. Aguilar-Ruiz; Francisco Ruiz 001; Francisco J. Ferrer-Troyano (JISBD, 2002)

Black-Box Evaluation of COTS Components Using Aspects and Metadata. - Alejandra Cechich; Macario Polo (PROFES, 2002)

An XMI-Based Repository for Software Process Meta-modeling. - Francisco Ruiz 001; Mario Piattini; Félix García 001; Macario Polo (PROFES, 2002)

Generating three-tier applications from relational databases: a formal and practical approach. - Macario Polo; Juan Ángel Gómez; Mario Piattini; Francisco Ruiz 001 (Inf. Softw. Technol., 2002)

Integrating Outsourcing in the Maintenance Process. - Macario Polo; Mario Piattini; Francisco Ruiz 001 (Inf. Technol. Manag., 2002)

Using a qualitative research method for building a software maintenance methodology. - Macario Polo; Mario Piattini; Francisco Ruiz 001 (Softw. Pract. Exp., 2002)

Automated Generation of Component-Based Web Applications from Databases. - Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini (Software Engineering Research and Practice, 2004)

Towards context-aware testing for semantic interoperability on PvC environments. - Andres Flores; Juan Carlos Augusto; Macario Polo; Mauricio Varea (SMC (2), 2004)

An Aspect-based Environment for COTS Component Testing. - Macario Polo; Alejandra Cechich (SOQUA/TECOS, 2004)

An Integrated Environment for Reengineering. - Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini (ICSM, 2005)

Dynamic Component Assessment on PvC Environments. - Andres Flores; Macario Polo (ISCC, 2005)

Un entorno integrado para la reingeniería. - Ignacio García Rodríguez de Guzmán; Macario Polo Usaola; Mario Piattini (JISBD, 2005)

.Net Approach to Run-Time Component Integration. - Andres Flores; Ignacio García Rodríguez de Guzmán; Macario Polo (LA-WEB, 2005)

Towards Application Suitability for PvC Environments. - Andres Flores; Macario Polo (MSVVEIS, 2005)

Towards Run-time Component Integration on Ubiquitous Systems. - Macario Polo Usaola; Andres Flores (MSVVEIS, 2005)

Obtaining Web Services from Relational Databases. - Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini (CSMR, 2006)

Un Método para la Creación de Servicios Web a Partir de Bases de Datos Relacionales. - Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini (DSDM, 2006)

A Methodology for Database Reengineering to Web Services. - Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini (ECMDA-FA, 2006)

An Approach for Applications Suitability on Pervasive Environments. - Andres Flores; Macario Polo (IWUC, 2006)

A Comparison of Effort Estimation Methods for 4gl Programs: Experiences with Statistics and Data Mining. - José Cristóbal Riquelme Santos; Macario Polo; Jesús S. Aguilar-Ruiz; Mario Piattini; Francisco J. Ferrer-Troyano; Francisco Ruiz 001 (Int. J. Softw. Eng. Knowl. Eng., 2006)

A framework for model-driven pattern matching. - Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini (ICEIS (1), 2007)

Using Model-Driven Pattern Matching to derive functionalities in Models. - Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini (SEKE, 2007)

An ADM Approach to Reengineer Relational Databases towards Web Services. - Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini (WCRE, 2007)

An MDA-based approach for database re-engineering. - Macario Polo; Ignacio García Rodríguez de Guzmán; Mario Piattini (J. Softw. Maintenance Res. Pract., 2007)

Integrating techniques and tools for testing automation. - Macario Polo; Sergio Tendero; Mario Piattini (Softw. Test. Verification Reliab., 2007)

Testing-Based Component Assessment for Substitutability. - Andres Flores; Macario Polo Usaola (ICEIS (3-2), 2008)

Testing-based assessment process for upgrading component systems. - Andres Flores; Macario Polo Usaola (ICSM, 2008)

Un enfoque ADM para la Reingeniería de Bases de Datos Relacionales hacia Servicios Web. - Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini; Ricardo Pérez-Castillo (JIISIC, 2008)

Generación Automática de Casos de Prueba en Líneas de Producto. - Pedro Reales Mateo; Beatriz Pérez Lamancha; Macario Polo Usaola (JISBD, 2008)

Testing-based Process for Evaluating Component Replaceability. - Andres Flores; Macario Polo (VODCA@FOSAD, 2008)

Estado del Arte de las Pruebas en Líneas de Producto Software. - Beatriz Pérez Lamancha; Macario Polo Usaola; Mario Piattini Velthuis (CIbSE, 2009)

An Approach to Software Project Scheduling Using Personal Software Process and Soft Computing Techniques. - Arturo Peralta; Francisco P. Romero 001; Macario Polo; José Angel Olivas (IC-AI, 2009)

Establishing Trust Networks based on Data Quality Criteria for Selecting Data Suppliers. - Ricardo Pérez-Castillo; Ismael Caballero 001; Ignacio García Rodríguez de Guzmán; Macario Polo; Mario Piattini; Eugenio Verbo (ICEIS (1), 2009)

Automatic Generation of Test Cases in Software Product Lines. - Pedro Reales Mateo; Macario Polo; Beatriz Pérez Lamancha (ICEIS (3), 2009)

Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile. - Beatriz Pérez Lamancha; Macario Polo Usaola; Mario Piattini Velthuis (AST, 2009)

Model-driven testing in software product lines. - Beatriz Pérez Lamancha; Macario Polo Usaola; Ignacio García Rodríguez de Guzmán (ICSM, 2009)

Software Product Line Testing - A Systematic Review. - Beatriz Pérez Lamancha; Macario Polo Usaola; Mario Piattini Velthuis (ICSOFT (1), 2009)

Pruebas en Ingeniería del Software (PRIS, 4ª edición). - Claudio de la Riva; Peter Hodgson; Ewout van Driel; Fergus Flaherty; Juan Garbajosa; Luis Fernández; Macario Polo; Javier Tuya (JISBD, 2009)

Automated model-based testing using the UML testing profile and QVT. - Beatriz Pérez Lamancha; Pedro Reales Mateo; Ignacio Garíía Rodríguez de Guzmán; Macario Polo Usaola; Mario Piattini Velthuis (MoDeVVa@MoDELS, 2009)

Some Experiments on Test Case Tracebaility. - Macario Polo; Beatriz Pérez Lamancha; Pedro Reales Mateo (SEKE, 2009)

PRECISO: A Reverse Engineering Tool to Discover Web Services from Relational Databases. - Ricardo Pérez-Castillo; Ignacio García Rodríguez de Guzmán; Ismael Caballero 001; Macario Polo; Mario Piattini (WCRE, 2009)

Decreasing the cost of mutation testing with second-order mutants. - Macario Polo; Mario Piattini; Ignacio García Rodríguez de Guzmán (Softw. Test. Verification Reliab., 2009)

Generación Automática de Casos de Prueba en Ingeniería del Producto en el Contexto de las Líneas de Producto Software. - Beatriz Pérez Lamancha; Macario Polo Usaola; Mario Piattini Velthuis (CIbSE, 2010)

An Automated Model-driven Testing Framework - For Model-Driven Development and Software Product Lines. - Beatriz Pérez Lamancha; Macario Polo Usaola; Mario Piattini Velthuis (ENASE, 2010)

A Model Based Testing Approach for Model-Driven Development and Software Product Lines. - Beatriz Pérez Lamancha; Macario Polo Usaola; Mario Piattini Velthuis (ENASE (Selected Papers), 2010)

Knowledge extraction of the behaviour of software developers by the analysis of time recording logs. - Arturo Peralta; Francisco P. Romero 001; José Angel Olivas; Macario Polo (FUZZ-IEEE, 2010)

Recovering and Analyzing Program Behaviors from Testing Traces. - Macario Polo; Francisco P. Romero 001; José Angel Olivas (IC-AI, 2010)

Testing-Based Selection Method for Integrability on Service-Oriented Applications. - Andres Flores; Alejandra Cechich; Alejandro Zunino; Macario Polo Usaola (ICSEA, 2010)

Systematic Review on Software Product Line Testing. - Beatriz Pérez Lamancha; Macario Polo; Mario Piattini (ICSOFT (Selected Papers), 2010)

Mutation at System and Functional Levels. - Pedro Reales Mateo; Macario Polo Usaola; Jeff Offutt (ICST Workshops, 2010)

Pruebas en Ingeniería del Software (PRIS, 5ª ed.). - Claudio de la Riva; Peter Hodgson; Ewout van Driel; Fergus Flaherty; Juan Garbajosa; Luis Fernández; Macario Polo; Javier Tuya (JISBD, 2010)

Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage. - Beatriz Pérez Lamancha; Macario Polo Usaola (ICTSS, 2010)

Mutation Testing Cost Reduction Techniques: A Survey. - Macario Polo Usaola; Pedro Reales Mateo (IEEE Softw., 2010)

Model-driven Testing - Transformations from Test Models to Test Code. - Beatriz Pérez Lamancha; Pedro Reales Mateo; Macario Polo; Danilo Caivano (ENASE, 2011)

Model-Driven Test Code Generation. - Beatriz Pérez Lamancha; Pedro Reales Mateo; Macario Polo; Danilo Caivano (ENASE (Selected Papers), 2011)

Testing in Software Product Lines - A Model based Approach. - Pedro Reales Mateo; Macario Polo; Danilo Caivano (ICEIS (3), 2011)

Model Based Testing in Software Product Lines. - Pedro Reales Mateo; Macario Polo; Danilo Caivano (ICEIS, 2011)

Reduction of Test Suites Using Mutation. - Macario Polo Usaola; Pedro Reales Mateo; Beatriz Pérez Lamancha (FASE, 2012)

Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases. - Pedro Reales Mateo; Macario Polo Usaola (ICSM, 2012)

Towards a Framework for Information System Testing - A Model-driven Testing Approach. - Federico Toledo Rodríguez; Beatriz Pérez Lamancha; Macario Polo Usaola (ICSOFT, 2012)

Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code). - Pedro Reales Mateo; Macario Polo Usaola (ICST, 2012)

Testing-based process for component substitutability. - Andres Flores; Macario Polo (Softw. Test. Verification Reliab., 2012)

Automated Generation of Performance Test Cases from Functional Tests for Web Applications. - Federico Toledo Rodríguez; Matías Reina; Fabián Baptista; Macario Polo Usaola; Beatriz Pérez Lamancha (ENASE (Selected Papers), 2013)

Automated test generation for multi-state systems. - Pedro Reales Mateo; Macario Polo Usaola (GECCO (Companion), 2013)

BacterioORACLE: An Oracle suggester tool. - Pedro Reales Mateo; Macario Polo Usaola (SEKE, 2013)

Automated generation of test oracles using a model-driven approach. - Beatriz Pérez Lamancha; Macario Polo; Danilo Caivano; Mario Piattini; Giuseppe Visaggio (Inf. Softw. Technol., 2013)

Mutation at the multi-class and system levels. - Pedro Reales Mateo; Macario Polo Usaola; Jeff Offutt (Sci. Comput. Program., 2013)

Test Automation. - Macario Polo; Pedro Reales Mateo; Mario Piattini; Christof Ebert (IEEE Softw., 2013)

Parallel mutation testing. - Pedro Reales Mateo; Macario Polo Usaola (Softw. Test. Verification Reliab., 2013)

Validating Second-Order Mutation at System Level. - Pedro Reales Mateo; Macario Polo Usaola; José Luis Fernández-Alemán (IEEE Trans. Software Eng., 2013)

Using Aspect-Oriented Programming for mutation testing of third-party components. - Macario Polo (CIbSE, 2014)

Extending the Bacterio tool for web application mutation testing. - Macario Polo; Danilo Caivano; Pedro Reales Mateo (CIbSE, 2014)

Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation. - Mark Harman; Yue Jia 001; Pedro Reales Mateo; Macario Polo (ASE, 2014)

Extending UML Testing Profile Towards Non-functional Test Modeling. - Federico Toledo Rodríguez; Francesca Lonetti; Antonia Bertolino; Macario Polo Usaola; Beatriz Pérez Lamancha (MODELSWARD, 2014)

Mutation Testing. - Pedro Reales Mateo; Macario Polo; José Luis Fernández-Alemán; Ambrosio Toval; Mario Piattini (IEEE Softw., 2014)

Towards Green Software Testing. - Macario Polo (Green in Software Engineering, 2015)

PROW: A Pairwise algorithm with constRaints, Order and Weight. - Beatriz Pérez Lamancha; Macario Polo; Mario Piattini (J. Syst. Softw., 2015)

Reducing mutation costs through uncovered mutants. - Pedro Reales Mateo; Macario Polo Usaola (Softw. Test. Verification Reliab., 2015)

Test Case Generation with Regular Expressions and Combinatorial Techniques. - Macario Polo Usaola; Francisco Ruiz Romero; Rosana Rodriguez-Bobada Aranda; Ignacio García Rodríguez de Guzmán (ICST Workshops, 2017)

An Architecture for the Development of Mutation Operators. - Macario Polo Usaola; Gonzalo Rojas 001; Isyed Rodriguez; Suilen Hernandez (ICST Workshops, 2017)

Un Algoritmo GenÉtico para Generar Casos de Prueba con Oráculo. - Macario Polo; Óscar Pedreira Fernández; Ignacio García Rodríguez de Guzmán; Nieves R. Brisaboa; Mario Piattini (CIbSE, 2018)

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 (QUATIC, 2019)

The Talavera Manifesto for Quantum Software Engineering and Programming. - Mario Piattini; Guido Peterssen; Ricardo Pérez-Castillo; Jose Luis Hevia; Manuel A. Serrano; Guillermo Hernández 002; Ignacio García Rodríguez de Guzmán; Claudio Andrés Paradela; Macario Polo; Ezequiel Murina; Luis Jiménez 001; Juan Carlos Marqueño; et al. (QANSWER, 2020)

Quantum Software Testing. - Macario Polo Usaola (QANSWER, 2020)

Automated generation of oracled test cases with regular expressions and combinatorial techniques. - Macario Polo; Oscar Pedreira; Ángeles Saavedra Places; Ignacio García Rodríguez de Guzmán (J. Softw. Evol. Process., 2020)

Analysing the combination of cost reduction techniques in Android mutation testing. - Macario Polo Usaola; Isyed Rodriguez (Softw. Test. Verification Reliab., 2021)

Investigating the impact on execution time and energy consumption of developing with Spring. - Coral Calero; Macario Polo; María Ángeles Moraga (Sustain. Comput. Informatics Syst., 2021)

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 (Quantum Software Engineering, 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 (QP4SE@ESEC/SIGSOFT FSE, 2022)

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., 2023)

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 (ICSOC Workshops (2), 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 (JCC-BD&ET, 2024)

Generating Quantum Software from Truth Tables. - Macario Polo Usaola; Ignacio García Rodríguez de Guzmán; Manuel Ángel Serrano; Mario Piattini (QCE, 2024)

Mutation-Based Quantum Software Testing. - Macario Polo Usaola; Manuel A. Serrano; Ignacio García Rodríguez de Guzmán (IQSOFT, 2025)

Generation of Quantum Software From Truth Tables. - Macario Polo; Ignacio García Rodríguez de Guzmán; Manuel Ángel Serrano; Mario Piattini (Softw. Pract. Exp., 2025)