Get started
Author

Macario Polo

Observed names: M. Polo, MACARIO POLO, Macario Polo Usaola, Macario Polo-Usaola, Macario Polo‐Usaola, Polo, Macario
ORCID: 0000-0001-6519-6196
Observed ORCID: 0000-0001-6519-6196
OpenAlex ID: A5071978590
Decreasing the cost of mutation testing with second‐order mutants
2008 · Macario Polo, Mario Piattini, et al. · Software Testing Verification and Reliability · 122
Quantum software testing: State of the art
2021 · Antonio García de la Barrera, Ignacio García‐Rodríguez de Guzmán, et al. · Journal of Software Evolution and Process · 71
Mutation Testing Cost Reduction Techniques: A Survey
2010 · Macario Polo Usaola, Pedro Reales Mateo · IEEE Software · 71
The Talavera Manifesto for Quantum Software Engineering and Programming
2020 · Mario Piattini, Guido Peterssen, et al. · Research Publications (Maastricht University) · 70
Angels and monsters
2014 · Mark Harman, Yue Jia, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 45
Integrating techniques and tools for testing automation
2006 · Macario Polo, Sergio Tendero, et al. · Software Testing Verification and Reliability · 39
Using code metrics to predict maintenance of legacy programs: a case study
2002 · M. Polo, M. Piattini, et al. · IEEE International Conference on Software Maintenance (ICSM) · 39
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage
2010 · Beatriz Pérez Lamancha, Macario Polo Usaola · Lecture notes in computer science · 36
Validating Second-Order Mutation at System Level
2012 · Pedro Reales Mateo, Macario Polo Usaola, et al. · IEEE Transactions on Software Engineering · 35
Using a qualitative research method for building a software maintenance methodology
2002 · Macario Polo, Mario Piattini, et al. · Software Practice and Experience · 35
Mutation at System and Functional Levels
2010 · Pedro Reales Mateo, Macario Polo Usaola, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 33
Automated generation of test oracles using a model-driven approach
2012 · Beatriz Pérez Lamancha, Macario Polo, et al. · Information and Software Technology · 31
Parallel mutation testing
2012 · Pedro Reales Mateo, Macario Polo Usaola · Software Testing Verification and Reliability · 31
Test Automation
2013 · Macario Polo, Pedro Reales, et al. · IEEE Software · 27
Automated model-based testing using the UML testing profile and QVT
2009 · Beatriz Pérez Lamancha, Pedro Reales Mateo, et al. · 27
Reducing mutation costs through uncovered mutants
2014 · Pedro Reales Mateo, Macario Polo Usaola · Software Testing Verification and Reliability · 26
PDF
Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases
2012 · Pedro Reales Mateo, Macario Polo Usaola · IEEE International Conference on Software Maintenance (ICSM) · 25
Reduction of Test Suites Using Mutation
2012 · Macario Polo Usaola, Pedro Reales Mateo, et al. · Lecture notes in computer science · 22
MANTEMA: a complete rigorous methodology for supporting maintenance based on the ISO/IEC 12207 standard
2003 · M. Polo, M. Piattini, et al. · Euromicro Conference on Software Maintenance and Reengineering (CSMR) · 22
Systematic Review on Software Product Line Testing
2013 · Beatriz Pérez Lamancha, Macario Polo, et al. · Communications in computer and information science · 19
Towards context-aware testing for semantic interoperability on PvC environments
2005 · A. Flores, J.C. Augusto, et al. · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics · 19
Investigating the impact on execution time and energy consumption of developing with Spring
2021 · Coral Calero, Macario Polo, et al. · Sustainable Computing Informatics and Systems · 18
Generating three-tier applications from relational databases: a formal and practical approach
2002 · Macario Polo, Juan Ángel Gómez, et al. · Information and Software Technology · 18
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code)
2012 · Pedro Reales Mateo, Macario Polo Usaola · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 16
Test Case Generation with Regular Expressions and Combinatorial Techniques
2017 · Macario Polo Usaola, Francisco Ruiz Romero, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 15
Works count: 149
Citation count: 1,265
H-index: 19
I10-index: 39
Year
Topic
Type