Claudio de la Riva
Claudio de la Riva
Professor of Computer Science, University of Oviedo
Verified email at uniovi.es
Title
Cited by
Cited by
Year
Mutating database queries
J Tuya, MJ Suárez-Cabal, C De La Riva
Information and Software Technology 49 (4), 398-417, 2007
1852007
Generating test cases specifications for BPEL compositions of web services using SPIN
J García Fanjul, PJ Tuya González, CA Riva Álvarez
1392006
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
972006
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
742010
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
562010
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
482006
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
202006
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
182009
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
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
172010
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
172008
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
162016
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
162010
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
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
132015
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
132014
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
132009
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
122010
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
92018
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
91981
The system can't perform the operation now. Try again later.
Articles 1–20