Pedro Reales Mateo

23 papers A* 1A 1B 2C 2Journal 7Unranked 10
YearRankTypeTitle / Venue / Authors
2015 J jnl
Reducing mutation costs through uncovered mutants.
Softw. Test. Verification Reliab.
Pedro Reales Mateo, Macario Polo Usaola
2014 A* conf
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation.
ASE
Mark Harman, Yue Jia, Pedro Reales Mateo, Macario Polo
2014 — conf
Extending the Bacterio tool for web application mutation testing.
CIbSE
Macario Polo, Danilo Caivano, Pedro Reales Mateo
2014 J jnl
Mutation Testing.
IEEE Softw.
Pedro Reales Mateo, Macario Polo, José Luis Fernández-Alemán, Ambrosio Toval, Mario Piattini
2013 — conf
Automated test generation for multi-state systems.
GECCO (Companion)
Pedro Reales Mateo, Macario Polo Usaola
2013 C conf
BacterioORACLE: An Oracle suggester tool.
SEKE
Pedro Reales Mateo, Macario Polo Usaola
2013 J jnl
Mutation at the multi-class and system levels.
Sci. Comput. Program.
Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt
2013 J jnl
Parallel mutation testing.
Softw. Test. Verification Reliab.
Pedro Reales Mateo, Macario Polo Usaola
2013 J jnl
Test Automation.
IEEE Softw.
Macario Polo, Pedro Reales Mateo, Mario Piattini, Christof Ebert
2013 J jnl
Validating Second-Order Mutation at System Level.
IEEE Trans. Software Eng.
Pedro Reales Mateo, Macario Polo Usaola, José Luis Fernández-Alemán
2012 — conf
Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases.
ICSM
Pedro Reales Mateo, Macario Polo Usaola
2012 A conf
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code).
ICST
Pedro Reales Mateo, Macario Polo Usaola
2012 B conf
Reduction of Test Suites Using Mutation.
FASE
Macario Polo Usaola, Pedro Reales Mateo, Beatriz Pérez Lamancha
2011 — conf
Model Based Testing in Software Product Lines.
ICEIS
Pedro Reales Mateo, Macario Polo, Danilo Caivano
2011 — conf
Model-Driven Test Code Generation.
ENASE (Selected Papers)
Beatriz Pérez Lamancha, Pedro Reales Mateo, Macario Polo, Danilo Caivano
2011 B conf
Model-driven Testing - Transformations from Test Models to Test Code.
ENASE
Beatriz Pérez Lamancha, Pedro Reales Mateo, Macario Polo, Danilo Caivano
2011 — conf
Testing in Software Product Lines - A Model based Approach.
ICEIS (3)
Pedro Reales Mateo, Macario Polo, Danilo Caivano
2010 J jnl
Mutation Testing Cost Reduction Techniques: A Survey.
IEEE Softw.
Macario Polo Usaola, Pedro Reales Mateo
2010 — conf
Mutation at System and Functional Levels.
ICST Workshops
Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt
2009 — conf
Automated model-based testing using the UML testing profile and QVT.
MoDeVVa@MoDELS
Beatriz Pérez Lamancha, Pedro Reales Mateo, Ignacio Garíía Rodríguez de Guzmán, Macario Polo Usaola, Mario Piattini Velthuis
2009 — conf
Automatic Generation of Test Cases in Software Product Lines.
ICEIS (3)
Pedro Reales Mateo, Macario Polo, Beatriz Pérez Lamancha
2009 C conf
Some Experiments on Test Case Tracebaility.
SEKE
Macario Polo, Beatriz Pérez Lamancha, Pedro Reales Mateo
2008 — conf
Generación Automática de Casos de Prueba en Líneas de Producto.
JISBD
Pedro Reales Mateo, Beatriz Pérez Lamancha, Macario Polo Usaola