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)

Automatic Generation of Test Cases in Software Product Lines. - Pedro Reales Mateo; Macario Polo; Beatriz Pérez Lamancha (ICEIS (3), 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)

Mutation at System and Functional Levels. - Pedro Reales Mateo; Macario Polo Usaola; Jeff Offutt (ICST Workshops, 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)

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

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)

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)

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)

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

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