Pedro Reales Mateo

According to our database, Pedro Reales Mateo authored at least 23 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Reducing mutation costs through uncovered mutants.

Pedro Reales Mateo, Macario Polo Usaola

Softw. Test. Verification Reliab., 2015

2014

Mutation Testing.

Pedro Reales Mateo, Macario Polo, José Luis Fernández Alemán, Ambrosio Toval, Mario Piattini

IEEE Softw., 2014

Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation.

Mark Harman, Yue Jia, Pedro Reales Mateo, Macario Polo

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Extending the Bacterio tool for web application mutation testing.

Macario Polo, Danilo Caivano, Pedro Reales Mateo

Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

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

Parallel mutation testing.

Pedro Reales Mateo, Macario Polo Usaola

Softw. Test. Verification Reliab., 2013

Test Automation.

Macario Polo, Pedro Reales Mateo, Mario Piattini, Christof Ebert

IEEE Softw., 2013

Mutation at the multi-class and system levels.

Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt

Sci. Comput. Program., 2013

BacterioORACLE: An Oracle suggester tool.

Pedro Reales Mateo, Macario Polo Usaola

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Automated test generation for multi-state systems.

Pedro Reales Mateo, Macario Polo Usaola

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

2012

Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code).

Pedro Reales Mateo, Macario Polo Usaola

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases.

Pedro Reales Mateo, Macario Polo Usaola

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Reduction of Test Suites Using Mutation.

Macario Polo Usaola, Pedro Reales Mateo, Beatriz Pérez Lamancha

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Model Based Testing in Software Product Lines.

Pedro Reales Mateo, Macario Polo, Danilo Caivano

Proceedings of the Enterprise Information Systems - 13th International Conference, 2011

Testing in Software Product Lines - A Model based Approach.

Pedro Reales Mateo, Macario Polo, Danilo Caivano

Proceedings of the ICEIS 2011, 2011

Model-Driven Test Code Generation.

Beatriz Pérez Lamancha, Pedro Reales Mateo, Macario Polo, Danilo Caivano

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2011

Model-driven Testing - Transformations from Test Models to Test Code.

Beatriz Pérez Lamancha, Pedro Reales Mateo, Macario Polo, Danilo Caivano

Proceedings of the ENASE 2011, 2011

2010

Mutation Testing Cost Reduction Techniques: A Survey.

Macario Polo Usaola, Pedro Reales Mateo

IEEE Softw., 2010

Mutation at System and Functional Levels.

Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt

Proceedings of the Third International Conference on Software Testing, 2010

2009

Some Experiments on Test Case Tracebaility.

Macario Polo, Beatriz Pérez Lamancha, Pedro Reales Mateo

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.

Beatriz Pérez Lamancha, Pedro Reales Mateo, Ignacio Garíía Rodríguez de Guzmán, Macario Polo Usaola, Mario Piattini Velthuis

Proceedings of the 6th International Workshop on Model-Driven Engineering, 2009

Automatic Generation of Test Cases in Software Product Lines.

Pedro Reales Mateo, Macario Polo, Beatriz Pérez Lamancha

Proceedings of the ICEIS 2009, 2009

2008

Generación Automática de Casos de Prueba en Líneas de Producto.

Pedro Reales Mateo, Beatriz Pérez Lamancha, Macario Polo Usaola

Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008