Claudio de la Riva
Claudio de la Riva
Professor of Computer Science, University of Oviedo
Dirección de correo verificada de uniovi.es
TítuloCitado porAño
Mutating database queries
J Tuya, MJ Suárez-Cabal, C De La Riva
Information and Software Technology 49 (4), 398-417, 2007
1642007
Generating test cases specifications for BPEL compositions of web services using SPIN
J García Fanjul, PJ Tuya González, R Álvarez, A Claudio
1282006
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
862006
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
602010
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
472010
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
442006
A partition-based approach for XPath testing
C De La Riva, J Garcia-Fanjul, J Tuya
2006 International Conference on Software Engineering Advances (ICSEA'06), 17-17, 2006
182006
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
182006
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
152010
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
152008
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
152006
A proactive approach to test service level agreements
M Palacios, J Garcia-Fanjul, J Tuya, C de la Riva
2010 Fifth International Conference on Software Engineering Advances, 453-458, 2010
142010
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
132009
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
122009
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
112014
Populating test databases for testing SQL queries
MJ Suarez-Cabal, C de la Riva, J Tuya
IEEE Latin America Transactions 8 (2), 164-171, 2010
102010
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
92016
Myotonic dystrophy and thymoma associated with myasthenic behavior on electromyography
A Canovas, EI Rodríguez, A Arizcun, C Riva, J Diego
Revista clinica espanola 160 (6), 405-407, 1981
91981
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
82015
Dynamic analysis of SA/RT models using Spin and modular verification.
J Tuya, JR de Diego, C de la Riva, JA Corrales
The Spin verification System, 165-184, 1996
81996
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20