Macario Polo

Orcid: 0000-0001-6519-6196

Affiliations:
  • University of Castilla-La Mancha, Spain


According to our database1, Macario Polo authored at least 103 papers between 1999 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Quantum software testing: State of the art.
J. Softw. Evol. Process., April, 2023

2022
Automatic generation of test circuits for the verification of Quantum deterministic algorithms.
Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, 2022

Quantum Software Testing: Current Trends and Emerging Proposals.
Proceedings of the Quantum Software Engineering, 2022

2021
Investigating the impact on execution time and energy consumption of developing with Spring.
Sustain. Comput. Informatics Syst., 2021

Analysing the combination of cost reduction techniques in Android mutation testing.
Softw. Test. Verification Reliab., 2021

2020
Automated generation of oracled test cases with regular expressions and combinatorial techniques.
J. Softw. Evol. Process., 2020

Quantum Software Testing.
Proceedings of the Short Papers Proceedings of the 1st International Workshop on the QuANtum SoftWare Engineering & pRogramming, 2020

The Talavera Manifesto for Quantum Software Engineering and Programming.
Proceedings of the Short Papers Proceedings of the 1st International Workshop on the QuANtum SoftWare Engineering & pRogramming, 2020

2019
ProFit - Performing Dynamic Analysis of Software Systems.
Proceedings of the Quality of Information and Communications Technology, 2019

2018
Un Algoritmo GenÉtico para Generar Casos de Prueba con Oráculo.
Proceedings of the XXI Iberoamerican Conference on Software Engineering, 2018

2017
An Architecture for the Development of Mutation Operators.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Test Case Generation with Regular Expressions and Combinatorial Techniques.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015
Reducing mutation costs through uncovered mutants.
Softw. Test. Verification Reliab., 2015

PROW: A Pairwise algorithm with constRaints, Order and Weight.
J. Syst. Softw., 2015

Towards Green Software Testing.
Proceedings of the Green in Software Engineering, 2015

2014
Mutation Testing.
IEEE Softw., 2014

Extending UML Testing Profile Towards Non-functional Test Modeling.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Extending the Bacterio tool for web application mutation testing.
Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

Using Aspect-Oriented Programming for mutation testing of third-party components.
Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

2013
Validating Second-Order Mutation at System Level.
IEEE Trans. Software Eng., 2013

Parallel mutation testing.
Softw. Test. Verification Reliab., 2013

Test Automation.
IEEE Softw., 2013

Mutation at the multi-class and system levels.
Sci. Comput. Program., 2013

Automated generation of test oracles using a model-driven approach.
Inf. Softw. Technol., 2013

BacterioORACLE: An Oracle suggester tool.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Automated test generation for multi-state systems.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Automated Generation of Performance Test Cases from Functional Tests for Web Applications.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2013

2012
Testing-based process for component substitutability.
Softw. Test. Verification Reliab., 2012

Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code).
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Towards a Framework for Information System Testing - A Model-driven Testing Approach.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Reduction of Test Suites Using Mutation.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Model Based Testing in Software Product Lines.
Proceedings of the Enterprise Information Systems - 13th International Conference, 2011

Testing in Software Product Lines - A Model based Approach.
Proceedings of the ICEIS 2011, 2011

Model-Driven Test Code Generation.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2011

Model-driven Testing - Transformations from Test Models to Test Code.
Proceedings of the ENASE 2011, 2011

2010
Mutation Testing Cost Reduction Techniques: A Survey.
IEEE Softw., 2010

Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage.
Proceedings of the Testing Software and Systems, 2010

Pruebas en Ingeniería del Software (PRIS, 5ª ed.).
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Mutation at System and Functional Levels.
Proceedings of the Third International Conference on Software Testing, 2010

Systematic Review on Software Product Line Testing.
Proceedings of the Software and Data Technologies - 5th International Conference, 2010

Testing-Based Selection Method for Integrability on Service-Oriented Applications.
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Recovering and Analyzing Program Behaviors from Testing Traces.
Proceedings of the 2010 International Conference on Artificial Intelligence, 2010

Knowledge extraction of the behaviour of software developers by the analysis of time recording logs.
Proceedings of the FUZZ-IEEE 2010, 2010

A Model Based Testing Approach for Model-Driven Development and Software Product Lines.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2010

An Automated Model-driven Testing Framework - For Model-Driven Development and Software Product Lines.
Proceedings of the ENASE 2010, 2010

Generación Automática de Casos de Prueba en Ingeniería del Producto en el Contexto de las Líneas de Producto Software.
Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

2009
Decreasing the cost of mutation testing with second-order mutants.
Softw. Test. Verification Reliab., 2009

PRECISO: A Reverse Engineering Tool to Discover Web Services from Relational Databases.
Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Some Experiments on Test Case Tracebaility.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Automated model-based testing using the UML testing profile and QVT.
Proceedings of the 6th International Workshop on Model-Driven Engineering, 2009

Pruebas en Ingeniería del Software (PRIS, 4ª edición).
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Software Product Line Testing - A Systematic Review.
Proceedings of the ICSOFT 2009, 2009

Model-driven testing in software product lines.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile.
Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Automatic Generation of Test Cases in Software Product Lines.
Proceedings of the ICEIS 2009, 2009

Establishing Trust Networks based on Data Quality Criteria for Selecting Data Suppliers.
Proceedings of the ICEIS 2009, 2009

An Approach to Software Project Scheduling Using Personal Software Process and Soft Computing Techniques.
Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

Estado del Arte de las Pruebas en Líneas de Producto Software.
Proceedings of the Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), 2009

2008
Testing-based Process for Evaluating Component Replaceability.
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

Generación Automática de Casos de Prueba en Líneas de Producto.
Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008

Un enfoque ADM para la Reingeniería de Bases de Datos Relacionales hacia Servicios Web.
Proceedings of the VII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento 2008, Guayaquil, Ecuador, January 30, 2008

Testing-based assessment process for upgrading component systems.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Testing-Based Component Assessment for Substitutability.
Proceedings of the ICEIS 2008, 2008

2007
Integrating techniques and tools for testing automation.
Softw. Test. Verification Reliab., 2007

An MDA-based approach for database re-engineering.
J. Softw. Maintenance Res. Pract., 2007

An ADM Approach to Reengineer Relational Databases towards Web Services.
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Using Model-Driven Pattern Matching to derive functionalities in Models.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A framework for model-driven pattern matching.
Proceedings of the ICEIS 2007, 2007

2006
A Comparison of Effort Estimation Methods for 4gl Programs: Experiences with Statistics and Data Mining.
Int. J. Softw. Eng. Knowl. Eng., 2006

An Approach for Applications Suitability on Pervasive Environments.
Proceedings of the Ubiquitous Computing, 2006

A Methodology for Database Reengineering to Web Services.
Proceedings of the Model Driven Architecture, 2006

Un Método para la Creación de Servicios Web a Partir de Bases de Datos Relacionales.
Proceedings of the Actas del Taller sobre Desarrollo de Software Dirigido por Modelos. MDA y Aplicaciones. Sitges, 2006

Obtaining Web Services from Relational Databases.
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005
Towards Run-time Component Integration on Ubiquitous Systems.
Proceedings of the Modelling, 2005

Towards Application Suitability for PvC Environments.
Proceedings of the Modelling, 2005

.Net Approach to Run-Time Component Integration.
Proceedings of the Third Latin American Web Congress (LA-Web 2005), 1 October, 2005

Un entorno integrado para la reingeniería.
Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

Dynamic Component Assessment on PvC Environments.
Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005

An Integrated Environment for Reengineering.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

2004
An Aspect-based Environment for COTS Component Testing.
Proceedings of the Testing of Component-Based Systems and Software Quality, 2004

Towards context-aware testing for semantic interoperability on PvC environments.
Proceedings of the IEEE International Conference on Systems, 2004

Automated Generation of Component-Based Web Applications from Databases.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

2002
Using a qualitative research method for building a software maintenance methodology.
Softw. Pract. Exp., 2002

Integrating Outsourcing in the Maintenance Process.
Inf. Technol. Manag., 2002

Generating three-tier applications from relational databases: a formal and practical approach.
Inf. Softw. Technol., 2002

An XMI-Based Repository for Software Process Meta-modeling.
Proceedings of the Product Focused Software Process Improvement, 2002

Black-Box Evaluation of COTS Components Using Aspects and Metadata.
Proceedings of the Product Focused Software Process Improvement, 2002

Una comparativa de métodos para la estimación del esfuerzo en programmas 4GL: experiencias con Estadística y Minería de Datos.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Conceptual Architecture for the Assessme NT and Improvement of Software Maintenance.
Proceedings of the ICEIS 2002, 2002

2001
MANTOOL: a tool for supporting the software maintenance process.
J. Softw. Maintenance Res. Pract., 2001

Assessment of Maintenance Maturity in IT Departments of Public Entities: Two Case Studies.
Proceedings of the Product Focused Software Process Improvement, 2001

Using Code Metrics to Predict Maintenance of Legacy Programs: A Case Study.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Reflective Persistence.
Proceedings of the 6th European Conference on Pattern Languages of Programms (EuroPLoP '2001), 2001

Metrics for Managing Quality in Information Modeling.
Proceedings of the Information Modeling in the New Millennium, 2001

2000
Cuestionario para la Identificatión de Riesgos en Proyectos de Mantenimiento.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999
Roles in the maintenance process.
ACM SIGSOFT Softw. Eng. Notes, 1999

Elaboración de una metodología para el mantenimiento de software.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

Maintenance Types in the MANTEMA Methodology.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

Validating Referential Integrity as a Database Quality Metric.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

Validation of Metrics for Object-Relational Databases.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

MANTEMA: A Complete Rigorous Methodology for Supporting Maintenance Based On The ISO/IEC 12207 Standard.
Proceedings of the 3rd European Conference on Software Maintenance and Reengineering (CSMR '99), 1999


  Loading...