default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJavier Tuya
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j33]Jesús Morán
, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Automatic Debugging of Design Faults in MapReduce Applications. IEEE Trans. Software Eng. 50(4): 956-978 (2024)- 2023
- [j32]María José Suárez Cabal, Pablo Suárez-Otero, Claudio de la Riva, Javier Tuya:
MDICA: Maintenance of data integrity in column-oriented database applications. Comput. Stand. Interfaces 83: 103642 (2023) - [j31]Raquel Blanco, Manuel Trinidad, María José Suárez Cabal, Alejandro Calderón, Mercedes Ruiz, Javier Tuya:
Can gamification help in software testing education? Findings from an empirical study. J. Syst. Softw. 200: 111647 (2023) - [j30]Pablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya:
CoDEvo: Column family database evolution using model transformations. J. Syst. Softw. 203: 111743 (2023) - [j29]María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado:
A transaction platform for microservices-based big data systems. Simul. Model. Pract. Theory 123: 102709 (2023) - [c67]Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Fault Localization for Reinforcement Learning. AITest 2023: 49-50 - [c66]Pablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya:
Data migration in column family database evolution using MDE. EDBT/ICDT Workshops 2023 - [i3]Raquel Blanco, Manuel Trinidad, María José Suárez Cabal, Alejandro Calderón, Mercedes Ruiz, Javier Tuya:
Can gamification help in software testing education? Findings from an empirical study. CoRR abs/2304.12196 (2023) - [i2]Raquel Blanco, Javier Tuya, Rubén V. Seco:
Test adequacy evaluation for the user-database interaction: a specification-based approach. CoRR abs/2304.12671 (2023) - 2022
- [j28]Breno Miranda, Javier Tuya, Alejandra Garrido:
Guest editors' introduction to the special issue "Automatic Software Testing from the Trenches". J. Softw. Evol. Process. 34(11) (2022) - 2021
- [c65]Pablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya:
An Integrated Approach for Column-Oriented Database Application Evolution Using Conceptual Models. ER (Workshops) 2021: 26-32 - 2020
- [j27]Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications. J. Web Eng. 19(2): 267-296 (2020) - [j26]Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
RETORCH: an approach for resource-aware orchestration of end-to-end test cases. Softw. Qual. J. 28(3): 1147-1171 (2020) - [c64]Cristian Augusto, Miguel Angel Olivero, Jesús Morán, Leticia Morales, Claudio de la Riva, Javier Aroba, Javier Tuya:
Test-Driven Anonymization in Health Data: A Case Study on Assistive Reproduction. AITest 2020: 81-82 - [c63]Pablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya:
Maintaining NoSQL Database Quality During Conceptual Model Evolution. IEEE BigData 2020: 2043-2048
2010 – 2019
- 2019
- [j25]Pablo Suárez-Otero, María José Suárez Cabal, Javier Tuya:
Leveraging Conceptual Data Modelsto Ensure the Integrity of CassandraDatabases. J. Web Eng. 18(4-6): 257-286 (2019) - [j24]Jesús Morán, Claudio de la Riva, Javier Tuya:
Testing MapReduce programs: A systematic mapping study. J. Softw. Evol. Process. 31(3) (2019) - [c62]Cristian Augusto, Jesús Morán, Claudio de la Riva, Javier Tuya:
Test-Driven Anonymization for Artificial Intelligence. AITest 2019: 103-110 - [c61]Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
RETORCH: Resource-Aware End-to-End Test Orchestration. QUATIC 2019: 297-310 - [c60]María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado:
Evaluation of ACE properties of traditional SQL and NoSQL big data systems. SAC 2019: 1988-1995 - [c59]Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Debugging Flaky Tests on Web Applications. WEBIST 2019: 454-461 - [i1]Daniel Rodríguez, José Javier Dolado, Javier Tuya, Dietmar Pfahl:
Software defect prediction with zero-inflated Poisson models. CoRR abs/1910.13717 (2019) - 2018
- [j23]María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado:
Testing of transactional services in NoSQL key-value databases. Future Gener. Comput. Syst. 80: 384-399 (2018) - [j22]Raquel Blanco, José Gonzalez Enríquez, Francisco José Domínguez Mayo, María José Escalona, Javier Tuya:
Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data Sources. IEEE Trans. Reliab. 67(2): 538-556 (2018) - [j21]Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Automatic Testing of Design Faults in MapReduce Applications. IEEE Trans. Reliab. 67(3): 717-732 (2018) - [c58]Pablo Suárez-Otero, María José Suárez Cabal, Javier Tuya:
Leveraging Conceptual Data Models for Keeping Cassandra Database Integrity. WEBIST 2018: 398-403 - 2017
- [j20]María José Suárez Cabal, Claudio de la Riva, Javier Tuya, Raquel Blanco:
Incremental test data generation for database queries. Autom. Softw. Eng. 24(4): 719-755 (2017) - [j19]María Teresa González-Aparicio, Adewole Ogunyadeka, Muhammad Younas, Javier Tuya, Rubén Casado:
Transaction processing in consistency-aware user's applications deployed on NoSQL databases. Hum. centric Comput. Inf. Sci. 7: 7 (2017) - [c57]Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya:
Towards Ex Vivo Testing of MapReduce Applications. QRS 2017: 73-80 - 2016
- [j18]Javier Tuya, Claudio de la Riva, María José Suárez Cabal, Raquel Blanco:
Coverage-Aware Test Database Reduction. IEEE Trans. Software Eng. 42(10): 941-959 (2016) - [c56]María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado:
A New Model for Testing CRUD Operations in a NoSQL Database. AINA 2016: 79-86 - [c55]Jesús Morán, Bibiano Rivas, Claudio de la Riva, Javier Tuya, Ismael Caballero, Manuel A. Serrano:
Infrastructure-Aware Functional Testing of MapReduce Programs. FiCloud Workshops 2016: 171-176 - [c54]José Gonzalez Enríquez, Raquel Blanco, Francisco José Domínguez Mayo, Javier Tuya, María José Escalona Cuaresma:
Towards an MDE-based approach to test entity reconciliation applications. A-TEST@SIGSOFT FSE 2016: 74-77 - 2015
- [j17]Rubén Casado, Javier Tuya, Muhammad Younas:
Evaluating the effectiveness of the abstract transaction model in testing Web services transactions. Concurr. Comput. Pract. Exp. 27(4): 765-781 (2015) - [j16]Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis:
Automatic test case generation for WS-Agreements using combinatorial testing. Comput. Stand. Interfaces 38: 84-100 (2015) - [j15]Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis:
Coverage-Based Testing for Service Level Agreements. IEEE Trans. Serv. Comput. 8(2): 299-313 (2015) - [c53]Raquel Blanco, Javier Tuya:
A test model for graph database applications: an MDA-based approach. A-TEST@SIGSOFT FSE 2015: 8-15 - [c52]Jesús Morán, Claudio de la Riva, Javier Tuya:
Testing data transformations in MapReduce programs. A-TEST@SIGSOFT FSE 2015: 20-25 - [c51]Daniel Rodríguez-García, José Javier Dolado, Javier Tuya:
Bayesian concepts in software testing: an initial review. A-TEST@SIGSOFT FSE 2015: 41-46 - 2014
- [c50]Jesús Morán, Claudio de la Riva, Javier Tuya:
MRTree: Functional Testing Based on MapReduce's Execution Behaviour. FiCloud 2014: 379-384 - [p1]Rubén Casado, Muhammad Younas, Javier Tuya:
A Generic Framework for Testing the Web Services Transactions. Advanced Web Services 2014: 29-49 - 2013
- [j14]Rubén Casado, Muhammad Younas, Javier Tuya:
Multi-dimensional criteria for testing web services transactions. J. Comput. Syst. Sci. 79(7): 1057-1076 (2013) - 2012
- [c49]Raquel Blanco, Javier Tuya, Rubén V. Seco:
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach. ICST 2012: 71-80 - [c48]Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis:
Identifying Test Requirements by Analyzing SLA Guarantee Terms. ICWS 2012: 351-358 - [c47]Ruben Casado, Javier Tuya, Muhammad Younas:
Testing the reliability of web services transactions in cooperative applications. SAC 2012: 743-748 - [c46]Ruben Casado, Javier Tuya, Muhammad Younas:
A Family of Test Criteria for Web Services Transactions. ANT/MobiWIS 2012: 880-887 - 2011
- [j13]Marcos Palacios, José García-Fanjul, Javier Tuya:
Testing in Service Oriented Architectures with dynamic binding: A mapping study. Inf. Softw. Technol. 53(3): 171-189 (2011) - [c45]Ruben Casado, Javier Tuya, Muhammad Younas:
A Framework to Test Advanced Web Services Transactions. ICST 2011: 443-446 - [c44]Ruben Casado, Javier Tuya, Muhammad Younas:
An Abstract Transaction Model for Testing the Web Services Transactions. ICWS 2011: 730-731 - 2010
- [j12]Javier Tuya, María José Suárez Cabal, Claudio de la Riva:
Full predicate coverage for testing SQL database queries. Softw. Test. Verification Reliab. 20(3): 237-288 (2010) - [c43]Claudio de la Riva, María José Suárez Cabal, Javier Tuya:
Constraint-based test database generation for SQL queries. AST 2010: 67-74 - [c42]Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva:
A Proactive Approach to Test Service Level Agreements. ICSEA 2010: 453-458 - [c41]Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz:
Automated test data generation using a Scatter Search approach. JISBD 2010: 299-299 - [c40]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: 301-304 - [c39]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: 353 - [c38]Ruben Casado, Javier Tuya, Muhammad Younas:
Testing Long-Lived Web Services Transactions Using a Risk-Based Approach. QSIC 2010: 337-340
2000 – 2009
- 2009
- [j11]Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz:
Automated test data generation using a scatter search approach. Inf. Softw. Technol. 51(4): 708-720 (2009) - [j10]María José Suárez Cabal, Javier Tuya:
Structural Coverage Criteria for Testing SQL Queries. J. Univers. Comput. Sci. 15(3): 584-619 (2009) - [c37]Raquel Blanco, José García-Fanjul, Javier Tuya:
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search. ICST Workshops 2009: 131-140 - [c36]María José Suárez Cabal, Claudio de la Riva, Javier Tuya:
Generación de Pruebas Basada en Restricciones para Consultas SQL. JISBD 2009: 9-20 - [c35]Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado:
A tabu search algorithm for structural software testing. JISBD 2009: 45-45 - [c34]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: 427-427 - [c33]Javier Tuya, María José Suárez Cabal, Claudio de la Riva:
Query-aware shrinking test databases. DBTest 2009 - 2008
- [j9]Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado:
A tabu search algorithm for structural software testing. Comput. Oper. Res. 35(10): 3052-3072 (2008) - [j8]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 Softw. Eng. Notes 33(1) (2008) - [e1]Ana Moreira, María José Suárez Cabal, Claudio de la Riva, Javier Tuya:
XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain, October 7-10, 2008. Proceedings. 2008 [contents] - 2007
- [j7]Javier Tuya, María José Suárez Cabal, Claudio de la Riva:
Mutating database queries. Inf. Softw. Technol. 49(4): 398-417 (2007) - [c32]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: 95-104 - 2006
- [j6]Claudio de la Riva, Javier Tuya:
Automatic generation of assumptions for modular verification of software specifications. J. Syst. Softw. 79(9): 1324-1340 (2006) - [j5]Javier Tuya, María José Suárez Cabal, Claudio de la Riva:
A practical guide to SQL white-box testing. ACM SIGPLAN Notices 41(4): 36-41 (2006) - [c31]Claudio de la Riva, José García-Fanjul, Javier Tuya:
A Partition-Based Approach for XPath Testing. ICSEA 2006: 17 - [c30]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: 99-108 - [c29]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: 127-130 - 2005
- [j4]Belarmino Adenso-Díaz, Javier Tuya, M. Goitia:
EDSS for the evaluation of alternatives in waste water collecting systems design. Environ. Model. Softw. 20(5): 639-649 (2005) - [c28]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: 11-18 - 2004
- [j3]Belarmino Adenso-Díaz, Ignacio González, Javier Tuya:
Incorporating fuzzy approaches for production planning in complex industrial environments: the roll shop case. Eng. Appl. Artif. Intell. 17(1): 73-81 (2004) - [c27]Claudio de la Riva, Javier Tuya:
Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA 2004: 369-383 - [c26]María José Suárez Cabal, Javier Tuya:
Using an SQL coverage measurement for testing database applications. SIGSOFT FSE 2004: 253-262 - 2003
- [c25]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 (2) 2003: 197-201 - [c24]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: 35-46 - [c23]Eugenia Díaz, Javier Tuya, Raquel Blanco:
Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú. JISBD 2003: 283-292 - [c22]María José Suárez Cabal, Javier Tuya:
Mejora de casos de prueba midiendo la cobertura de sentencias SQL. JISBD 2003: 451-462 - [c21]Eugenia Díaz, Javier Tuya, Raquel Blanco:
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. ASE 2003: 310-313 - [c20]María José Suárez Cabal, Javier Tuya:
Improvement of Test Data by Measuring SQL Statement Coverage. STEP 2003: 234-240 - [c19]Eugenia Díaz, Javier Tuya, Raquel Blanco:
A Modular Tool for Automated Coverage in Software Testing. STEP 2003: 241-246 - [c18]Miguel Riesco, Javier Tuya:
Synchronous Estelle: Just Another Synchronous Language? SLAP 2003: 71-86 - 2002
- [c17]María José Suárez Cabal, Javier Tuya:
Medida de la cobertura de consultas SQL. ADIS 2002 - [c16]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 - 2001
- [c15]Eugenia Díaz, Javier Tuya, Faustino Obeso:
A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques. ICEIS (1) 2001: 336-339 - [c14]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: 488-493 - [c13]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: 131-144 - [c12]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: 391-404 - 2000
- [c11]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: 222-226 - [c10]Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales:
Building Internet Shops: Current Status of the Cities Project. ICEIS 2000: 529-530 - [c9]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: 21 - [c8]Claudio de la Riva, Javier Tuya, José Ramón de Diego:
Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. JISBD 2000: 53-58
1990 – 1999
- 1999
- [c7]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: 493-502 - [c6]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: 619-625 - [c5]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: 169-170 - 1996
- [c4]Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales:
Dynamic analysis of SA/RT models using Spin and modular verification. The Spin Verification System 1996: 165-183 - 1995
- [c3]Javier Tuya, Luciano Sánchez, José A. Corrales:
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. ESEC 1995: 59-75 - 1993
- [j2]Javier Tuya:
Information modelling: specification and implementation: D Edmond Prentice-Hall (1992) 590 pp £22.95 ISBN 0 13 457748 5. Inf. Softw. Technol. 35(11-12): 698-699 (1993) - [c2]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: 301-312 - [c1]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: 550-555 - 1992
- [j1]Javier Tuya:
Managing computer projects : R Gibson Prentice Hall International (UK) (1992) 161 pp £22.95 ISBN 0 13 159591 1. Inf. Softw. Technol. 34(12): 826 (1992)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 19:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
