Macario Polo
Orcid: 0000-0001-6519-6196Affiliations:
- University of Castilla-La Mancha, Spain
According to our database1,
Macario Polo
authored at least 103 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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
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
Softw. Test. Verification Reliab., 2021
2020
Automated generation of oracled test cases with regular expressions and combinatorial techniques.
J. Softw. Evol. Process., 2020
Proceedings of the Short Papers Proceedings of the 1st International Workshop on the QuANtum SoftWare Engineering & pRogramming, 2020
Proceedings of the Short Papers Proceedings of the 1st International Workshop on the QuANtum SoftWare Engineering & pRogramming, 2020
2019
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
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
2015
Softw. Test. Verification Reliab., 2015
Proceedings of the Green in Software Engineering, 2015
2014
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
Inf. Softw. Technol., 2013
BacterioORACLE: An Oracle suggester tool.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013
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
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
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2011
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
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
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
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the Software and Data Technologies - 5th International Conference, 2010
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
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
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
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
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
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
Softw. Test. Verification Reliab., 2007
J. Softw. Maintenance Res. Pract., 2007
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
Proceedings of the Model Driven Architecture, 2006
Proceedings of the Actas del Taller sobre Desarrollo de Software Dirigido por Modelos. MDA y Aplicaciones. Sitges, 2006
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
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
Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005
2004
Proceedings of the Testing of Component-Based Systems and Software Quality, 2004
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
Softw. Pract. Exp., 2002
Generating three-tier applications from relational databases: a formal and practical approach.
Inf. Softw. Technol., 2002
Proceedings of the Product Focused Software Process Improvement, 2002
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
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
Proceedings of the 2001 International Conference on Software Maintenance, 2001
Proceedings of the 6th European Conference on Pattern Languages of Programms (EuroPLoP '2001), 2001
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
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