| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcos Palacios, José García-Fanjul, Javier Tuya |
Testing in Service Oriented Architectures with dynamic binding: A mapping study.  |
Information & Software Technology  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Casado, Javier Tuya, Muhammad Younas |
A Framework to Test Advanced Web Services Transactions. |
ICST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Casado, Javier Tuya, Muhammad Younas |
An Abstract Transaction Model for Testing the Web Services Transactions. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
Transactions, model-based testing, web services testing |
| 1 | Javier Tuya, María José Suárez Cabal, Claudio de la Riva |
Full predicate coverage for testing SQL database queries. |
Softw. Test., Verif. Reliab. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva |
A Proactive Approach to Test Service Level Agreements. |
ICSEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Casado, Javier Tuya, Muhammad Younas |
Testing Long-Lived Web Services Transactions Using a Risk-Based Approach. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Tuya, María José Suárez Cabal, Claudio de la Riva |
Herramientas para la evaluación de la cobertura de pruebas de aplicaciones con bases de datos. |
JISBD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya |
Pruebas en Ingeniería del Software (PRIS, 5ª ed.). |
JISBD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz |
Automated test data generation using a Scatter Search approach. |
JISBD |
2010 |
DBLP BibTeX RDF |
|
| 1 | María José Suárez Cabal, Javier Tuya |
Structural Coverage Criteria for Testing SQL Queries. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz |
Automated test data generation using a scatter search approach. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Tuya, María José Suárez Cabal, Claudio de la Riva |
Query-aware shrinking test databases. |
DBTest |
2009 |
DBLP DOI BibTeX RDF |
SQL coverage, software testing, data reduction, test-suite reduction, database testing, MC/DC |
| 1 | Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya |
Pruebas en Ingeniería del Software (PRIS, 4ª edición). |
JISBD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado |
A tabu search algorithm for structural software testing. |
JISBD |
2009 |
DBLP BibTeX RDF |
|
| 1 | María José Suárez Cabal, Claudio de la Riva, Javier Tuya |
Generación de Pruebas Basada en Restricciones para Consultas SQL. |
JISBD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado |
A tabu search algorithm for structural software testing. |
Computers & OR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Tuya, José Javier Dolado, María José Suárez Cabal, Claudio de la Riva |
A controlled experiment on white-box database testing. |
ACM SIGSOFT Software Engineering Notes |
2008 |
DBLP DOI BibTeX RDF |
SQL testing, software testing, controlled experiment, empirical validation, database testing |
| 1 | Ana Moreira, María José Suárez Cabal, Claudio de la Riva, Javier Tuya (eds.) |
XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain, October 7-10, 2008. Proceedings |
JISBD |
2008 |
DBLP BibTeX RDF |
|
| 1 | Javier Tuya, María José Suárez Cabal, Claudio de la Riva |
Mutating database queries. |
Information & Software Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José García-Fanjul, Javier Tuya, Claudio de la Riva |
Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones. |
JISBD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Javier Tuya, María José Suárez Cabal, Claudio de la Riva |
A practical guide to SQL white-box testing. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
SQL query language, software testing, SQL, database testing |
| 1 | Claudio de la Riva, Javier Tuya |
Automatic generation of assumptions for modular verification of software specifications. |
Journal of Systems and Software |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio de la Riva, José García-Fanjul, Javier Tuya |
A Partition-Based Approach for XPath Testing. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
XML Repositories, Software Testing, XPath, Category-Partition Method |
| 1 | José García-Fanjul, Claudio de la Riva, Javier Tuya |
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. |
TAIC PART |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio de la Riva, José García-Fanjul, Javier Tuya |
Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición. |
JISBD |
2006 |
DBLP BibTeX RDF |
|
| 1 | Belarmino Adenso-Díaz, Javier Tuya, M. Goitia |
EDSS for the evaluation of alternatives in waste water collecting systems design. |
Environmental Modelling and Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | María Eugenia Díaz Fernández, Raquel Blanco, Javier Tuya |
Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles. |
JISBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Miguel Riesco, Javier Tuya |
Synchronous Estelle: Just Another Synchronous Language? |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio de la Riva, Javier Tuya |
Modular Model Checking of Software Specifications with Simultaneous Environment Generation. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | María José Suárez Cabal, Javier Tuya |
Using an SQL coverage measurement for testing database applications. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
SQL testing, statement coverage, software testing, verification and validation, database testing |
| 1 | David Montes, Javier Tuya, Eugenia Díaz, Raquel Blanco, Faustino Obeso |
A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace. |
ICEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Eugenia Díaz, Javier Tuya, Raquel Blanco |
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenia Díaz, Javier Tuya, Raquel Blanco |
A Modular Tool for Automated Coverage in Software Testing. |
STEP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María José Suárez Cabal, Javier Tuya |
Improvement of Test Data by Measuring SQL Statement Coverage. |
STEP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenia Díaz, Javier Tuya, Raquel Blanco |
Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú. |
JISBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | María José Suárez Cabal, Javier Tuya |
Mejora de casos de prueba midiendo la cobertura de sentencias SQL. |
JISBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Claudio de la Riva, Javier Tuya, José Ramón de Diego |
Generación Automática y Paralela de Entornos en la Verificación de Componentes Software. |
JISBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | María José Suárez Cabal, Javier Tuya |
Medida de la cobertura de consultas SQL. |
ADIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Eugenia Díaz, Javier Tuya |
Comparación de técnicas metaheurísticas para la generación automática de casos de prueba que obtengan una cobertura de software. |
ADIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Eugenia Díaz, Javier Tuya, Faustino Obeso |
A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques. |
ICEIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Javier Tuya, Eugenia Díaz, Marta Hermida, José Antonio López Brugos, Ángel Neira, Alfredo Alguero, Faustino Obeso |
An Expert System for Ironmaking. |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio de la Riva, Javier Tuya, José Ramón de Diego |
Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación. |
JISBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | José Cristóbal Riquelme Santos, Isabel Ramos, Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano, Miguel Toro, José Javier Dolado, A. Ruiz de Infante, Javier Tuya, P. Fernández, M. A. Prieto, Mercedes Ruiz Carreira, Daniel Rodríguez-García, Manoranjan Satpathy, Rachel Harrison, R. Matilla, M. A. Álvarez |
SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. |
JISBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Javier Tuya, Eugenia Díaz, Marta Hermida, José Antonio López Brugos, Ángel Neira, Alfredo Alguero, Faustino Obeso |
An Architecture for On-Line Intelligent Control of Blast Furnaces. |
ICEIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales |
Building Internet Shops: Current Status of the Cities Project. |
ICEIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ester Suárez-Calvo, Javier Tuya |
Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C. |
JISBD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Claudio de la Riva, Javier Tuya, José Ramón de Diego |
Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. |
JISBD |
2000 |
DBLP BibTeX RDF |
|
| 1 | José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya |
TIBLEUS: A Model to Build Internet Online Support Services Using ASP. |
ICEIS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Claudio de la Riva, Javier Tuya, José Ramón de Diego |
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | José García-Fanjul, Javier Tuya, José A. Corrales |
Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. |
JISBD |
1999 |
DBLP BibTeX RDF |
|
| 1 | Javier Tuya, Luciano Sánchez, José A. Corrales |
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales |
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. |
ESEC |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Tuya, E. Arias, Luciano Sánchez, José A. Corrales |
Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition. |
IWANN |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")