| Generating test cases specifications for BPEL compositions of web services using SPIN J García Fanjul, PJ Tuya González, CA Riva Álvarez | 144 | 2006 |
| Testing in Service Oriented Architectures with dynamic binding: A mapping study M Palacios, J García-Fanjul, J Tuya Information and Software Technology 53 (3), 171-189, 2011 | 71 | 2011 |
| 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 | 50 | 2006 |
| A first approach to test case generation for BPEL compositions of web services using scatter search R Blanco, J García-Fanjul, J Tuya 2009 International Conference on Software Testing, Verification, and …, 2009 | 35 | 2009 |
| Test case generation for transition-pair coverage using Scatter Search R Blanco, JG Fanjul, J Tuya International Journal of Software Engineering and Its Applications 4 (4), 37-56, 2010 | 25 | 2010 |
| Coverage-based testing for service level agreements M Palacios, J Garcia-Fanjul, J Tuya, G Spanoudakis IEEE Transactions on Services Computing 8 (2), 299-313, 2014 | 20 | 2014 |
| 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 | 19 | 2006 |
| 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 | 17 | 2010 |
| Identifying test requirements by analyzing SLA guarantee terms M Palacios, J García-Fanjul, J Tuya, G Spanoudakis 2012 IEEE 19th International Conference on Web Services, 351-358, 2012 | 15 | 2012 |
| Automatic test case generation for WS-Agreements using combinatorial testing M Palacios, J García-Fanjul, J Tuya, G Spanoudakis Computer Standards & Interfaces 38, 84-100, 2015 | 13 | 2015 |
| Teaching requirements analysis by means of student collaboration J Tuya, J García-Fanjul FIE'99 Frontiers in Education. 29th Annual Frontiers in Education Conference …, 1999 | 12 | 1999 |
| Formal Verification and Simulation of the NetBill Protocol Using SPIN1 J Garcia-Fanjul, J Tuya, JA Corrales Proceedings of the 4th International Workshop on Automata Theoretic …, 1998 | 9 | 1998 |
| Design and implementation of a tool to test service level agreements M Palacios, JG Fanjul, J Tuya IEEE Latin America Transactions 12 (2), 256-261, 2014 | 8 | 2014 |
| Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones. J García-Fanjul, J Tuya, C de la Riva JISBD, 95-104, 2007 | 7 | 2007 |
| Testing XPath queries using model checking C de la Riva, J Tuya, J García-Fanjul Proceedings of Fourth Workshop on System Testing and Validation, 45-52, 2006 | 6 | 2006 |
| Generating iInput documents for testing XML queries with ToXgene DS Kim Park, CA Riva Álvarez, PJ Tuya González, J García Fanjul | 4 | 2008 |
| Generación de casos de prueba para composiciones de servicios web utilizando búsqueda dispersa R Blanco, J Garcıa-Fanjul, J Tuya Actas de los Talleres de las Jornadas de Ingeniera del Software y Bases de …, 2009 | 3 | 2009 |
| Methods for Testing Web Service Compositions J García-Fanjul, M Palacios-Gutiérrez, J Tuya-González, ... The European Journal for the Informatics Professional 10 (5), 62-66, 2009 | 3 | 2009 |
| Estado del arte en la investigación de métodos y herramientas de pruebas para procesos de negocio bpel M Palacios, J García-Fanjul, J Tuya, C de la Riva Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA (JSWEB …, 0 | 3 | |
| A laboratory exercise in testing database applications J Tuya, C de la Riva, J García Fanjul 7th Workshop on Teaching Software Testing, Melbourne, Florida, 2008 | 2 | 2008 |
Claudio de la RivaProfessor of Computer Science, University of OviedoVerified email at uniovi.es
