Javier Tuya
Orcid: 0000-0002-1091-934X
According to our database1,
Javier Tuya
authored at least 103 papers
between 1992 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
6
7
8
9
1
1
1
4
1
2
3
3
2
1
3
1
1
1
2
2
1
2
1
1
1
1
2
1
2
4
1
1
3
3
1
4
2
5
4
1
3
1
2
8
2
4
4
3
1
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
J. Syst. Softw., 2025
2024
IEEE Trans. Software Eng., April, 2024
2023
J. Syst. Softw., September, 2023
Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications.
Dataset, September, 2023
Can gamification help in software testing education? Findings from an empirical study.
J. Syst. Softw., June, 2023
Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications.
Dataset, March, 2023
Simul. Model. Pract. Theory, 2023
Comput. Stand. Interfaces, 2023
Proceedings of the Workshops of the EDBT/ICDT 2023 Joint Conference, 2023
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023
2022
Guest editors' introduction to the special issue "Automatic Software Testing from the Trenches".
J. Softw. Evol. Process., 2022
2021
An Integrated Approach for Column-Oriented Database Application Evolution Using Conceptual Models.
Proceedings of the Advances in Conceptual Modeling, 2021
2020
Softw. Qual. J., 2020
J. Web Eng., 2020
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020
2019
J. Softw. Evol. Process., 2019
J. Web Eng., 2019
Proceedings of the 15th International Conference on Web Information Systems and Technologies, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the Quality of Information and Communications Technology, 2019
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019
2018
IEEE Trans. Reliab., 2018
Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data Sources.
IEEE Trans. Reliab., 2018
Future Gener. Comput. Syst., 2018
Proceedings of the 14th International Conference on Web Information Systems and Technologies, 2018
2017
Transaction processing in consistency-aware user's applications deployed on NoSQL databases.
Hum. centric Comput. Inf. Sci., 2017
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
2016
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016
Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud Workshops, 2016
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016
2015
Comput. Stand. Interfaces, 2015
Evaluating the effectiveness of the abstract transaction model in testing Web services transactions.
Concurr. Comput. Pract. Exp., 2015
Proceedings of the 6th International Workshop on Automating Test Case Design, 2015
Proceedings of the 6th International Workshop on Automating Test Case Design, 2015
Proceedings of the 6th International Workshop on Automating Test Case Design, 2015
2014
Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014
Proceedings of the Advanced Web Services, 2014
2013
J. Comput. Syst. Sci., 2013
2012
Proceedings of the 3rd International Conference on Ambient Systems, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
2011
Inf. Softw. Technol., 2011
Proceedings of the IEEE International Conference on Web Services, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
2010
Softw. Test. Verification Reliab., 2010
Proceedings of the 10th International Conference on Quality Software, 2010
Herramientas para la evaluación de la cobertura de pruebas de aplicaciones con bases de datos.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010
Pruebas en Ingeniería del Software (PRIS, 5ª ed.).
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010
Proceedings of the 5th Workshop on Automation of Software Test, 2010
2009
Inf. Softw. Technol., 2009
Proceedings of the 2nd International Workshop on Testing Database Systems, 2009
Pruebas en Ingeniería del Software (PRIS, 4ª edición).
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009
Generación de Pruebas Basada en Restricciones para Consultas SQL.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
2008
ACM SIGSOFT Softw. Eng. Notes, 2008
2007
Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007
2006
Automatic generation of assumptions for modular verification of software specifications.
J. Syst. Softw., 2006
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking.
Proceedings of the Testing: Academia and Industry Conference, 2006
Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006
2005
Environ. Model. Softw., 2005
Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles.
Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005
2004
Incorporating fuzzy approaches for production planning in complex industrial environments: the roll shop case.
Eng. Appl. Artif. Intell., 2004
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004
Modular Model Checking of Software Specifications with Simultaneous Environment Generation.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
2003
Proceedings of the Synchronous Languages, Applications and Programming, 2003
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003
Generación Automática y Paralela de Entornos en la Verificación de Componentes Software.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
Mejora de casos de prueba midiendo la cobertura de sentencias SQL.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace.
Proceedings of the ICEIS 2003, 2003
2002
Comparación de técnicas metaheurísticas para la generación automática de casos de prueba que obtengan una cobertura de software.
Proceedings of the ADIS 2002, Apoyo a la Decisión en Ingeniería del Software, 2002
Proceedings of the ADIS 2002, Apoyo a la Decisión en Ingeniería del Software, 2002
2001
SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001
Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001
Proceedings of the Engineering of Intelligent Systems, 2001
A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques.
Proceedings of the ICEIS 2001, 2001
2000
Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000
Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000
An Architecture for On-Line Intelligent Control of Blast Furnaces.
Proceedings of the ICEIS 2000, 2000
Building Internet Shops: Current Status of the Cities Project.
Proceedings of the ICEIS 2000, 2000
1999
Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999
TIBLEUS: A Model to Build Internet Online Support Services Using ASP.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.
Proceedings of the Perspectives of System Informatics, 1999
1996
Proceedings of the Spin Verification System, 1996
1995
Proceedings of the 5th European Software Engineering Conference, 1995
1993
Information modelling: specification and implementation: D Edmond Prentice-Hall (1992) 590 pp £22.95 ISBN 0 13 457748 5.
Inf. Softw. Technol., 1993
Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition.
Proceedings of the New Trends in Neural Computation, 1993
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification.
Proceedings of the Software Engineering, 1993
1992
Managing computer projects : R Gibson Prentice Hall International (UK) (1992) 161 pp £22.95 ISBN 0 13 159591 1.
Inf. Softw. Technol., 1992