| Mutating database queries J Tuya, MJ Suárez-Cabal, C De La Riva Information and Software Technology 49 (4), 398-417, 2007 | 185 | 2007 |
| Generating test cases specifications for BPEL compositions of web services using SPIN J García Fanjul, PJ Tuya González, CA Riva Álvarez | 139 | 2006 |
| SQLMutation: A tool to generate mutants of SQL database queries J Tuya, MJ Suarez-Cabal, C De La Riva Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 1-1, 2006 | 97 | 2006 |
| Full predicate coverage for testing SQL database queries J Tuya, MJ Suárez‐Cabal, C De La Riva Software Testing, Verification and Reliability 20 (3), 237-288, 2010 | 74 | 2010 |
| Constraint-based test database generation for SQL queries C De La Riva, MJ Suárez-Cabal, J Tuya Proceedings of the 5th Workshop on Automation of Software Test, 67-74, 2010 | 56 | 2010 |
| Generation of conformance test suites for compositions of web services using model checking J García-Fanjul, C De La Riva, J Tuya Testing: Academic & Industrial Conference-Practice And Research Techniques …, 2006 | 48 | 2006 |
| A practical guide to SQL white-box testing J Tuya, MJ Suárez-Cabal, C De La Riva ACM SIGPLAN Notices 41 (4), 36-41, 2006 | 20 | 2006 |
| Query-aware shrinking test databases J Tuya, MJ Suárez-Cabal, C De La Riva Proceedings of the Second International Workshop on Testing Database Systems …, 2009 | 18 | 2009 |
| A partition-based approach for XPath testing C De La Riva, J García-Fanjul, J Tuya 2006 International Conference on Software Engineering Advances (ICSEA'06), 17-17, 2006 | 18 | 2006 |
| An automated test oracle for xml processing programs DS Kim-Park, C de la Riva, J Tuya Proceedings of the First International Workshop on Software Test Output …, 2010 | 17 | 2010 |
| A controlled experiment on white-box database testing J Tuya, J Dolado, MJ Suarez-Cabal, C de la Riva ACM SIGSOFT Software Engineering Notes 33 (1), 1-6, 2008 | 17 | 2008 |
| Coverage-aware test database reduction J Tuya, C de la Riva, MJ Suarez-Cabal, R Blanco IEEE Transactions on Software Engineering 42 (10), 941-959, 2016 | 16 | 2016 |
| A proactive approach to test service level agreements M Palacios, J García-Fanjul, J Tuya, C de la Riva 2010 Fifth International Conference on Software Engineering Advances, 453-458, 2010 | 16 | 2010 |
| Automatic generation of assumptions for modular verification of software specifications C De La Riva, J Tuya Journal of Systems and Software 79 (9), 1324-1340, 2006 | 15 | 2006 |
| Testing data transformations in MapReduce programs J Morán, C Riva, J Tuya Proceedings of the 6th International Workshop on Automating Test Case Design …, 2015 | 13 | 2015 |
| MRTree: Functional testing based on MapReduce's execution behaviour J Morán, C de la Riva, J Tuya 2014 International Conference on Future Internet of Things and Cloud, 379-384, 2014 | 13 | 2014 |
| A partial test oracle for xml query testing DS Kim-Park, C De La Riva, J Tuya 2009 Testing: Academic and Industrial Conference-Practice and Research …, 2009 | 13 | 2009 |
| Populating test databases for testing SQL queries MJ Suárez-Cabal, C De La Riva, J Tuya IEEE Latin America Transactions 8 (2), 164-171, 2010 | 12 | 2010 |
| Automatic testing of design faults in mapreduce applications J Morán, A Bertolino, C de la Riva, J Tuya IEEE Transactions on Reliability 67 (3), 717-732, 2018 | 9 | 2018 |
| Myotonic dystrophy and thymoma associated with myasthenic behavior on electromyography A Canovas, ER Illera, A Arizcun, C Riva, J Diego Revista clinica espanola 160 (6), 405-407, 1981 | 9 | 1981 |
