Javier Tuya - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Javier Tuya' as author, editor, or advisor:

Identification of single drug in Mongolian medicine based on the new bioelectronic noseYuxia Yang, Chunsheng Zhang, Huyiligeqi, Tuya, Chaoluomeng. icaiis 2021: [doi]
Graph Convolutional Enhanced Discriminative Broad Learning System for Hyperspectral Image ClassificationTuya. access, 10:90299-90311, 2022. [doi]
Automatic generation of assumptions for modular verification of software specificationsClaudio de la Riva, Javier Tuya. jss, 79(9):1324-1340, 2006. [doi]
Test-Driven Anonymization for Artificial IntelligenceCristian Augusto, Jesús Morán, Claudio de la Riva, Javier Tuya. aitest 2019: 103-110 [doi]
Testing of transactional services in NoSQL key-value databasesMaría Teresa González-Aparicio, Muhammad Younas 0001, Javier Tuya, Rubén Casado. fgcs, 80:384-399, 2018. [doi]
Multi-dimensional criteria for testing web services transactionsRubén Casado, Muhammad Younas, Javier Tuya. jcss, 79(7):1057-1076, 2013. [doi]
Can gamification help in software testing education? Findings from an empirical studyRaquel Blanco, Manuel Trinidad, María José Suárez Cabal, Alejandro Calderón 0002, Mercedes Ruiz, Javier Tuya. jss, 200:111647, June 2023. [doi]
SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos SoftwareJosé 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, D. Rodriguez-García, Manoranjan Satpathy, Rachel Harrison, R. Matilla, M. A. Álvarez. jisbd 2001: 131-144
MRTree: Functional Testing Based on MapReduce's Execution BehaviourJesus Moran, Claudio de la Riva, Javier Tuya. ficloud 2014: 379-384 [doi]
A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning TechniquesEugenia Díaz, Javier Tuya, Faustino Obeso. ICEIS 2001: 336-339
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT ModelsJavier Tuya, Luciano Sánchez, José A. Corrales. ESEC/FSE 1995: 59-75
A Partition-Based Approach for XPath TestingClaudio de la Riva, José García-Fanjul, Javier Tuya. icsea 2006: 17 [doi]
Testing the reliability of web services transactions in cooperative applicationsRuben Casado, Javier Tuya, Muhammad Younas. SAC 2012: 743-748 [doi]
Dynamic analysis of SA/RT models using Spin and modular verificationJavier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales. dimacs 1997: 165-184
Bayesian concepts in software testing: an initial reviewDaniel Rodríguez-García, José Javier Dolado, Javier Tuya. FSE 2015: 41-46 [doi]
Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de AsociaciónClaudio de la Riva, Javier Tuya, José Ramón de Diego. jisbd 2001: 391-404
A test model for graph database applications: an MDA-based approachRaquel Blanco, Javier Tuya. FSE 2015: 8-15 [doi]
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter SearchRaquel Blanco, José García-Fanjul, Javier Tuya. icst 2009: 131-140 [doi]
Evaluating the effectiveness of the abstract transaction model in testing Web services transactionsRubén Casado, Javier Tuya, Muhammad Younas. concurrency, 27(4):765-781, 2015. [doi]
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model CheckerClaudio de la Riva, Javier Tuya, José Ramón de Diego. ershov 2000: 493-502 [doi]
A practical guide to SQL white-box testingJavier Tuya, María José Suárez Cabal, Claudio de la Riva. SIGPLAN, 41(4):36-41, 2006. [doi]
An Integrated Approach for Column-Oriented Database Application Evolution Using Conceptual ModelsPablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya. ER 2021: 26-32 [doi]
Test-Driven Anonymization in Health Data: A Case Study on Assistive ReproductionCristian Augusto, Miguel Angel Olivero, Jesús Morán, Leticia Morales, Claudio de la Riva, Javier Aroba, Javier Tuya. aitest 2020: 81-82 [doi]
Full predicate coverage for testing SQL database queriesJavier Tuya, María José Suárez Cabal, Claudio de la Riva. stvr, 20(3):237-288, 2010. [doi]
Generación Automática y Paralela de Entornos en la Verificación de Componentes SoftwareClaudio de la Riva, Javier Tuya, José Ramón de Diego. jisbd 2003: 35-46
Testing MapReduce programs: A systematic mapping studyJesús Morán, Claudio de la Riva, Javier Tuya. SMR, 31(3), 2019. [doi]
Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data SourcesRaquel Blanco, José Gonzalez Enríquez, Francisco José Domínguez-Mayo, María José Escalona, Javier Tuya. tr, 67(2):538-556, 2018. [doi]
Infrastructure-Aware Functional Testing of MapReduce ProgramsJesús Morán, Bibiano Rivas, Claudio de la Riva, Javier Tuya, Ismael Caballero, Manuel A. Serrano. ficloud 2016: 171-176 [doi]
GeneraciÃ³n de Pruebas Basada en Restricciones para Consultas SQLMarÃa JosÃ© SuÃ¡rez Cabal, Claudio de la Riva, Javier Tuya. jisbd 2009: 9-20
Improvement of Test Data by Measuring SQL Statement CoverageMaría José Suárez Cabal, Javier Tuya. step 2004: 234-240 [doi]
A Proactive Approach to Test Service Level AgreementsMarcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva. icsea 2010: 453-458 [doi]
Automatic Debugging of Design Faults in MapReduce ApplicationsJesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya. TSE, 50(4):956-978, April 2024. [doi]
Verificación Formal del Subsistema de Identificación de Clientes en una Tienda VirtualJosé García-Fanjul, Javier Tuya, José A. Corrales. jisbd 1999: 169-170
Coverage-Aware Test Database ReductionJavier Tuya, Claudio de la Riva, María José Suárez Cabal, Raquel Blanco. TSE, 42(10):941-959, 2016. [doi]
Using an SQL coverage measurement for testing database applicationsMaría José Suárez Cabal, Javier Tuya. ESEC/FSE 2004: 253-262 [doi]
Building Internet Shops: Current Status of the Cities ProjectAngel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales. ICEIS 2000: 529-530
Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.CEster Suárez-Calvo, Javier Tuya. jisbd 2000: 21
Diseño sistemático de pruebas para consultas XPath utilizando técnicas de particiónClaudio de la Riva, José García-Fanjul, Javier Tuya. jisbd 2006: 99-108
FlakyLoc: Flakiness Localization for Reliable Test Suites in Web ApplicationsJesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya. jwe, 19(2):267-296, 2020. [doi]
Búsqueda Tabú para la generación de casos de prueba de cobertura de buclesMaría Eugenia Díaz Fernández, Raquel Blanco, Javier Tuya. jisbd 2005: 11-18
RETORCH: Resource-Aware End-to-End Test OrchestrationCristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya. quatic 2019: 297-310 [doi]
Generation of Conformance Test Suites for Compositions of Web Services Using Model CheckingJosé García-Fanjul, Claudio de la Riva, Javier Tuya. taicpart 2006: 127-130 [doi]
Testing data transformations in MapReduce programsJesús Morán, Claudio de la Riva, Javier Tuya. FSE 2015: 20-25 [doi]
XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain, October 7-10, 2008. ProceedingsAna Moreira, María José Suárez Cabal, Claudio de la Riva, Javier Tuya, editors, 2008.
A Family of Test Criteria for Web Services TransactionsRuben Casado, Javier Tuya, Muhammad Younas. ant 2012: 880-887 [doi]
Guest editors' introduction to the special issue "Automatic Software Testing from the Trenches"Breno Miranda, Javier Tuya, Alejandra Garrido 0001. SMR, 34(11), 2022. [doi]
A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast FurnaceDavid Montes, Javier Tuya, Eugenia Díaz, Raquel Blanco, Faustino Obeso. ICEIS 2003: 197-201
Constraint-based test database generation for SQL queriesClaudio de la Riva, María José Suárez Cabal, Javier Tuya. ICSE 2010: 67-74 [doi]
Automatic Testing of Design Faults in MapReduce ApplicationsJesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya. tr, 67(3):717-732, 2018. [doi]
Incremental test data generation for database queriesMaría José Suárez Cabal, Claudio de la Riva, Javier Tuya, Raquel Blanco. ASE, 24(4):719-755, 2017. [doi]
A tabu search algorithm for structural software testingEugenia DÃaz, Javier Tuya, Raquel Blanco, JosÃ© Javier Dolado. jisbd 2009: 45-45
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured SpecificationJavier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales. ESEC/FSE 1993: 301-312
An Architecture for On-Line Intelligent Control of Blast FurnacesJavier Tuya, Eugenia Díaz, Marta Hermida, José Antonio López Brugos, Ángel Neira, Alfredo Alguero, Faustino Obeso. ICEIS 2000: 222-226
Fault Localization for Reinforcement LearningJesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya. aitest 2023: 49-50 [doi]
Towards Ex Vivo Testing of MapReduce ApplicationsJesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya. qrs 2017: 73-80 [doi]
EDSS for the evaluation of alternatives in waste water collecting systems designBelarmino Adenso-Díaz, Javier Tuya, M. Goitia. envsoft, 20(5):639-649, 2005. [doi]
An Expert System for IronmakingJavier Tuya, Eugenia Díaz, Marta Hermida, José Antonio López Brugos, Ángel Neira, Alfredo Alguero, Faustino Obeso. ieaaie 2001: 488-493 [doi]
Modular Model Checking of Software Specifications with Simultaneous Environment GenerationClaudio de la Riva, Javier Tuya. ATVA 2004: 369-383 [doi]
Medida de la cobertura de consultas SQLMaría José Suárez Cabal, Javier Tuya. adis 2002: [doi]
Mutating database queriesJavier Tuya, María José Suárez Cabal, Claudio de la Riva. INFSOF, 49(4):398-417, 2007. [doi]
CoDEvo: Column family database evolution using model transformationsPablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya. jss, 203:111743, September 2023. [doi]
A tabu search algorithm for structural software testingEugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado. cor, 35(10):3052-3072, 2008. [doi]
Evaluation of ACE properties of traditional SQL and NoSQL big data systemsMaría Teresa González-Aparicio, Muhammad Younas 0001, Javier Tuya, Rubén Casado. SAC 2019: 1988-1995 [doi]
Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word RecognitionJavier Tuya, E. Arias, Luciano Sánchez, José A. Corrales. iwann 1993: 550-555
Leveraging Conceptual Data Modelsto Ensure the Integrity of CassandraDatabasesPablo Suárez-Otero, María José Suárez Cabal, Javier Tuya. jwe, 18(4-6):257-286, 2019. [doi]
Automated test data generation using a Scatter Search approachRaquel Blanco, Javier Tuya, Belarmino Adenso-Díaz. jisbd 2010: 299-299
Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transicionesJosé García-Fanjul, Javier Tuya, Claudio de la Riva. jisbd 2007: 95-104 [doi]
Verificación Modular de Sistemas Reactivos con Abstracciones del EntornoClaudio de la Riva, Javier Tuya, José Ramón de Diego. jisbd 2000: 53-58
A Generic Framework for Testing the Web Services TransactionsRubén Casado, Muhammad Younas, Javier Tuya. In Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors, Advanced Web Services. pages 29-49, Springer, 2014. [doi]
Synchronous Estelle: Just Another Synchronous Language?Miguel Riesco, Javier Tuya. ENTCS, 88:71-86, 2004. [doi]
TIBLEUS: A Model to Build Internet Online Support Services Using ASPJosé García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya. ICEIS 1999: 619-625
Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda TabúEugenia Díaz, Javier Tuya, Raquel Blanco. jisbd 2003: 283-292
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based ApproachRaquel Blanco, Javier Tuya, Rubén V. Seco. icst 2012: 71-80 [doi]
Automated test data generation using a scatter search approachRaquel Blanco, Javier Tuya, Belarmino Adenso-DÃaz. INFSOF, 51(4):708-720, 2009. [doi]
A controlled experiment on white-box database testingJavier Tuya, José Javier Dolado, María José Suárez Cabal, Claudio de la Riva. sigsoft, 11(1), 2008. [doi]
Coverage-Based Testing for Service Level AgreementsMarcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis. tsc, 8(2):299-313, 2015. [doi]
Herramientas para la evaluación de la cobertura de pruebas de aplicaciones con bases de datosJavier Tuya, María José Suárez Cabal, Claudio de la Riva. jisbd 2010: 301-304
Comparación de técnicas metaheurísticas para la generación automática de casos de prueba que obtengan una cobertura de softwareEugenia Díaz, Javier Tuya. adis 2002: [doi]
A Framework to Test Advanced Web Services TransactionsRuben Casado, Javier Tuya, Muhammad Younas. icst 2011: 443-446 [doi]
A transaction platform for microservices-based big data systemsMaría Teresa González-Aparicio, Muhammad Younas 0001, Javier Tuya, Rubén Casado. simpra, 123:102709, 2023. [doi]
Data migration in column family database evolution using MDEPablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya. edbt 2023: [doi]
Pruebas en Ingeniería del Software (PRIS, 5ª ed.)Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya. jisbd 2010: 353
Leveraging Conceptual Data Models for Keeping Cassandra Database IntegrityPablo Suárez-Otero, María José Suárez Cabal, Javier Tuya. webist 2018: 398-403 [doi]
Automatic test case generation for WS-Agreements using combinatorial testingMarcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis. csi, 38:84-100, 2015. [doi]
Towards an MDE-based approach to test entity reconciliation applicationsJosé Gonzalez Enríquez, Raquel Blanco, Francisco José Domínguez-Mayo, Javier Tuya, María José Escalona Cuaresma. FSE 2016: 74-77 [doi]
A Modular Tool for Automated Coverage in Software TestingEugenia Díaz, Javier Tuya, Raquel Blanco. step 2004: 241-246 [doi]
Maintaining NoSQL Database Quality During Conceptual Model EvolutionPablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya. bigdataconf 2020: 2043-2048 [doi]
Structural Coverage Criteria for Testing SQL QueriesMarÃa JosÃ© SuÃ¡rez Cabal, Javier Tuya. jucs, 15(3):584-619, 2009. [doi]
Transaction processing in consistency-aware user's applications deployed on NoSQL databasesMaría Teresa González-Aparicio, Adewole Ogunyadeka, Muhammad Younas 0001, Javier Tuya, Rubén Casado. hcis, 7:7, 2017. [doi]
MDICA: Maintenance of data integrity in column-oriented database applicationsMaría José Suárez Cabal, Pablo Suárez-Otero, Claudio de la Riva, Javier Tuya. csi, 83:103642, 2023. [doi]
Automated Software Testing Using a Metaheuristic Technique Based on Tabu SearchEugenia Díaz, Javier Tuya, Raquel Blanco. ASE 2003: 310-313 [doi]
Incorporating fuzzy approaches for production planning in complex industrial environments: the roll shop caseBelarmino Adenso-Díaz, Ignacio González, Javier Tuya. eaai, 17(1):73-81, 2004. [doi]
RETORCH: an approach for resource-aware orchestration of end-to-end test casesCristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya. sqj, 28(3):1147-1171, 2020. [doi]
Mejora de casos de prueba midiendo la cobertura de sentencias SQLMaría José Suárez Cabal, Javier Tuya. jisbd 2003: 451-462
Testing Long-Lived Web Services Transactions Using a Risk-Based ApproachRuben Casado, Javier Tuya, Muhammad Younas. qsic 2010: 337-340 [doi]
A New Model for Testing CRUD Operations in a NoSQL DatabaseMaría Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado. aina 2016: 79-86 [doi]
Pruebas en IngenierÃa del Software (PRIS, 4ª ediciÃ³n)Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis FernÃ¡ndez, Macario Polo, Javier Tuya. jisbd 2009: 427-427
Identifying Test Requirements by Analyzing SLA Guarantee TermsMarcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis. icws 2012: 351-358 [doi]
Testing in Service Oriented Architectures with dynamic binding: A mapping studyMarcos Palacios, José García-Fanjul, Javier Tuya. INFSOF, 53(3):171-189, 2011. [doi]
Debugging Flaky Tests on Web ApplicationsJesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya. webist 2019: 454-461 [doi]
An Abstract Transaction Model for Testing the Web Services TransactionsRuben Casado, Javier Tuya, Muhammad Younas. icws 2011: 730-731 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Javier Tuya's Profile

Unidentified Publications