| 1 | Pedro Reales Mateo and Macario Polo Usaola
Reducing mutation costs through uncovered mutants
Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{MateoU15,
author = {Pedro Reales Mateo and Macario Polo Usaola},
title = {Reducing mutation costs through uncovered mutants},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {464--489}
} |
| 2 | Mark Harman and Yue Jia and Pedro Reales Mateo and Macario Polo
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation
{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014, 2014. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{HarmanJMP14,
author = {Mark Harman and Yue Jia and Pedro Reales Mateo and Macario Polo},
title = {Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
year = {2014},
address = {},
month = {},
pages = {397--408}
} |
| 3 | Pedro Reales Mateo and Macario Polo Usaola
Parallel mutation testing
Softw. Test., Verif. Reliab., 23(4), 2013. |
|
| | Abstract: Available soon... |
| | @ARTICLE{MateoU13,
author = {Pedro Reales Mateo and Macario Polo Usaola},
title = {Parallel mutation testing},
journal = {Softw. Test., Verif. Reliab.},
year = {2013},
month = {},
volume = {23},
number = {4},
pages = {315--350}
} |
| 4 | Pedro Reales Mateo and Macario Polo Usaola and Jos{\'{e}} Luis Fern{\'{a}}ndez Alem{\'{a}}n
Validating Second-Order Mutation at System Level
{IEEE} Trans. Software Eng., 39(4), 2013. |
|
| | Abstract: Available soon... |
| | @ARTICLE{MateoUA13,
author = {Pedro Reales Mateo and Macario Polo Usaola and Jos{\'{e}} Luis Fern{\'{a}}ndez Alem{\'{a}}n},
title = {Validating Second-Order Mutation at System Level},
journal = {{IEEE} Trans. Software Eng.},
year = {2013},
month = {},
volume = {39},
number = {4},
pages = {570--587}
} |
| 5 | Pedro Reales Mateo and Macario Polo Usaola
Mutant Execution Cost Reduction: Through {MUSIC} (Mutant Schema Improved with Extra Code)
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MateoU12,
author = {Pedro Reales Mateo and Macario Polo Usaola},
title = {Mutant Execution Cost Reduction: Through {MUSIC} (Mutant Schema Improved with Extra Code)},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {664--672}
} |
| 6 | Macario Polo Usaola and Pedro Reales Mateo and Beatriz P{\'{e}}rez Lamancha
Reduction of Test Suites Using Mutation
Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{UsaolaML12,
author = {Macario Polo Usaola and Pedro Reales Mateo and Beatriz P{\'{e}}rez Lamancha},
title = {Reduction of Test Suites Using Mutation},
booktitle = {Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
year = {2012},
address = {},
month = {},
pages = {425--438}
} |
| 7 | Pedro Reales Mateo and Macario Polo Usaola and Jeff Offutt
Mutation at System and Functional Levels
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MateoUO10,
author = {Pedro Reales Mateo and Macario Polo Usaola and Jeff Offutt},
title = {Mutation at System and Functional Levels},
booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings},
year = {2010},
address = {},
month = {},
pages = {110--119}
} |
| 8 | Pedro Reales Mateo and Macario Polo Usaola and A. Jefferson Offutt
Mutation at System and Functional Levels
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MateoUO10,
author = {Pedro Reales Mateo and Macario Polo Usaola and A. Jefferson Offutt},
title = {Mutation at System and Functional Levels},
booktitle = {Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)},
year = {2010},
address = {Paris, France},
month = {6 April},
pages = {}
} |
| 9 | Macario Polo and Mario Piattini and Ignacio Garc{\'{\i}}a Rodr{\'{\i}}guez de Guzm{\'{a}}n
Decreasing the cost of mutation testing with second-order mutants
Softw. Test., Verif. Reliab., 19(2), 2009. |
|
| | Abstract: Available soon... |
| | @ARTICLE{PoloPG09,
author = {Macario Polo and Mario Piattini and Ignacio Garc{\'{\i}}a Rodr{\'{\i}}guez de Guzm{\'{a}}n},
title = {Decreasing the cost of mutation testing with second-order mutants},
journal = {Softw. Test., Verif. Reliab.},
year = {2009},
month = {},
volume = {19},
number = {2},
pages = {111--131}
} |
| 10 | Macario Polo and Mario Piattini and Ignacio Garcia-Rodriguez
Decreasing the Cost of Mutation Testing with Second-Order Mutants
Software Testing, Verification and Reliability, 19(2), June 2008. |
|
| | Abstract: Although powerful, mutation is a computationally very expensive testing technique. In fact, its three main stages (mutant generation, mutant execution and result analysis) require many resources to be successfully accomplished. Thus, researchers have made important efforts to reduce its costs. This paper represents an additional effort in this sense. It describes the results of two experiments in which, by means of combining the original set of mutants and therefore obtaining a new set of mutants - each one with two faults - the number of mutants used is reduced to half. Results lead to believe that mutant combination does not decrease the quality of the test suite, whereas it supposes important savings in mutant execution and result analysis. |
| | @ARTICLE{PoloPR08,
author = {Macario Polo and Mario Piattini and Ignacio Garcia-Rodriguez},
title = {Decreasing the Cost of Mutation Testing with Second-Order Mutants},
journal = {Software Testing, Verification and Reliability},
year = {2008},
month = {June},
volume = {19},
number = {2},
pages = {111 - 131}
} |
| 11 | Macario Polo and Sergio Tendero and Mario Piattini
Integrating techniques and tools for testing automation: Research Articles
Software Testing, Verification and Reliability, 17(1), March 2007. |
|
| | Abstract: This article presents two tools to generate test cases, one for Java programs and one for .NET programs, as well as a structured testing process whereby such tools can be used in order to help in process automation. The main innovation in this work is the joint use of diverse techniques and technologies, which have been separately applied to test automation: reflection to extract the class structure; regular expressions to describe test templates and test cases; JUnit and NUnit as test case execution frameworks; mutation and MuJava as test case quality measurers; serialization to deal with the parameters of complex data types; and once more, reflection, to facilitate the test engineer in the task of writing the oracle. Finally, the article presents an experiment carried out to validate the work. Copyright © 2006 John Wiley & Sons, Ltd. |
| | @ARTICLE{PoloTP07,
author = {Macario Polo and Sergio Tendero and Mario Piattini},
title = {Integrating techniques and tools for testing automation: Research Articles},
journal = {Software Testing, Verification and Reliability},
year = {2007},
month = {March},
volume = {17},
number = {1},
pages = {3–39}
} |
