Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Claudio de la Riva
@article{DBLP:journals/csi/CabalSRT23,
author = {Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Pablo Su{\'{a}}rez{-}Otero and
Claudio de la Riva and
Javier Tuya},
title = {{MDICA:} Maintenance of data integrity in column-oriented database
applications},
journal = {Comput. Stand. Interfaces},
volume = {83},
pages = {103642},
year = {2023},
url = {https://doi.org/10.1016/j.csi.2022.103642},
doi = {10.1016/J.CSI.2022.103642},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csi/CabalSRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/MoranBRT23,
author = {Jes{\'{u}}s Mor{\'{a}}n and
Antonia Bertolino and
Claudio de la Riva and
Javier Tuya},
title = {Fault Localization for Reinforcement Learning},
booktitle = {{IEEE} International Conference On Artificial Intelligence Testing,
AITest 2023, Athens, Greece, July 17-20, 2023},
pages = {49--50},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/AITest58265.2023.00016},
doi = {10.1109/AITEST58265.2023.00016},
timestamp = {Wed, 06 Sep 2023 16:07:23 +0200},
biburl = {https://dblp.org/rec/conf/aitest/MoranBRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isdevel/Enamorado-DiazG22,
author = {Elena Enamorado{-}D{\'{\i}}az and
Juli{\'{a}}n Alberto Garc{\'{\i}}a{-}Garc{\'{\i}}a and
Claudio de la Riva and
Mercedes Ruiz},
editor = {Robert Andrei Buchmann and
Gheorghe Cosmin Silaghi and
Darius Bufnea and
Virginia Niculescu and
Gabriela Czibula and
Carol L. Barry and
Michael Lang and
Henry Linger and
Christoph Schneider},
title = {A Model-driven and Tool-supported Proposal for Defining Automatic
Clinical Practice Guidelines},
booktitle = {Information Systems Development: Artificial Intelligence for Information
Systems Development and Operations {(ISD2022} Proceedings), Cluj-Napoca,
Romania, 31 August - 2 September 2022},
publisher = {Risoprint / Association for Information Systems},
year = {2022},
url = {https://aisel.aisnet.org/isd2014/proceedings2022/currenttopics/1},
timestamp = {Mon, 31 Oct 2022 09:36:30 +0100},
biburl = {https://dblp.org/rec/conf/isdevel/Enamorado-DiazG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwe/MoranABRT20,
author = {Jes{\'{u}}s Mor{\'{a}}n and
Cristian Augusto and
Antonia Bertolino and
Claudio de la Riva and
Javier Tuya},
title = {FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications},
journal = {J. Web Eng.},
volume = {19},
number = {2},
pages = {267--296},
year = {2020},
url = {https://doi.org/10.13052/jwe1540-9589.1927},
doi = {10.13052/JWE1540-9589.1927},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jwe/MoranABRT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/AugustoMBRT20,
author = {Cristian Augusto and
Jes{\'{u}}s Mor{\'{a}}n and
Antonia Bertolino and
Claudio de la Riva and
Javier Tuya},
title = {{RETORCH:} an approach for resource-aware orchestration of end-to-end
test cases},
journal = {Softw. Qual. J.},
volume = {28},
number = {3},
pages = {1147--1171},
year = {2020},
url = {https://doi.org/10.1007/s11219-020-09505-2},
doi = {10.1007/S11219-020-09505-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/AugustoMBRT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/AugustoOMMRAT20,
author = {Cristian Augusto and
Miguel Angel Olivero and
Jes{\'{u}}s Mor{\'{a}}n and
Leticia Morales and
Claudio de la Riva and
Javier Aroba and
Javier Tuya},
title = {Test-Driven Anonymization in Health Data: {A} Case Study on Assistive
Reproduction},
booktitle = {{IEEE} International Conference On Artificial Intelligence Testing,
AITest 2020, Oxford, UK, August 3-6, 2020},
pages = {81--82},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/AITEST49225.2020.00019},
doi = {10.1109/AITEST49225.2020.00019},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aitest/AugustoOMMRAT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/MoranRT19,
author = {Jes{\'{u}}s Mor{\'{a}}n and
Claudio de la Riva and
Javier Tuya},
title = {Testing MapReduce programs: {A} systematic mapping study},
journal = {J. Softw. Evol. Process.},
volume = {31},
number = {3},
year = {2019},
url = {https://doi.org/10.1002/smr.2120},
doi = {10.1002/SMR.2120},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/MoranRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/AugustoMRT19,
author = {Cristian Augusto and
Jes{\'{u}}s Mor{\'{a}}n and
Claudio de la Riva and
Javier Tuya},
title = {Test-Driven Anonymization for Artificial Intelligence},
booktitle = {{IEEE} International Conference On Artificial Intelligence Testing,
AITest 2019, Newark, CA, USA, April 4-9, 2019},
pages = {103--110},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/AITest.2019.00011},
doi = {10.1109/AITEST.2019.00011},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/aitest/AugustoMRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/AugustoMBRT19,
author = {Cristian Augusto and
Jes{\'{u}}s Mor{\'{a}}n and
Antonia Bertolino and
Claudio de la Riva and
Javier Tuya},
editor = {Mario Piattini and
Paulo Rupino da Cunha and
Ignacio Garc{\'{\i}}a Rodr{\'{\i}}guez de Guzm{\'{a}}n and
Ricardo P{\'{e}}rez{-}Castillo},
title = {{RETORCH:} Resource-Aware End-to-End Test Orchestration},
booktitle = {Quality of Information and Communications Technology - 12th International
Conference, {QUATIC} 2019, Ciudad Real, Spain, September 11-13, 2019,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1010},
pages = {297--310},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29238-6\_22},
doi = {10.1007/978-3-030-29238-6\_22},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/AugustoMBRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/MoranABRT19,
author = {Jes{\'{u}}s Mor{\'{a}}n and
Cristian Augusto and
Antonia Bertolino and
Claudio de la Riva and
Javier Tuya},
editor = {Alessandro Bozzon and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Joaquim Filipe},
title = {Debugging Flaky Tests on Web Applications},
booktitle = {Proceedings of the 15th International Conference on Web Information
Systems and Technologies, {WEBIST} 2019, Vienna, Austria, September
18-20, 2019},
pages = {454--461},
publisher = {ScitePress},
year = {2019},
url = {https://doi.org/10.5220/0008559004540461},
doi = {10.5220/0008559004540461},
timestamp = {Tue, 06 Jun 2023 14:58:02 +0200},
biburl = {https://dblp.org/rec/conf/webist/MoranABRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/MoranBRT18,
author = {Jes{\'{u}}s Mor{\'{a}}n and
Antonia Bertolino and
Claudio de la Riva and
Javier Tuya},
title = {Automatic Testing of Design Faults in MapReduce Applications},
journal = {{IEEE} Trans. Reliab.},
volume = {67},
number = {3},
pages = {717--732},
year = {2018},
url = {https://doi.org/10.1109/TR.2018.2802047},
doi = {10.1109/TR.2018.2802047},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/MoranBRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/CabalRTB17,
author = {Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva and
Javier Tuya and
Raquel Blanco},
title = {Incremental test data generation for database queries},
journal = {Autom. Softw. Eng.},
volume = {24},
number = {4},
pages = {719--755},
year = {2017},
url = {https://doi.org/10.1007/s10515-017-0212-7},
doi = {10.1007/S10515-017-0212-7},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/CabalRTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/MoranBRT17,
author = {Jes{\'{u}}s Mor{\'{a}}n and
Antonia Bertolino and
Claudio de la Riva and
Javier Tuya},
title = {Towards Ex Vivo Testing of MapReduce Applications},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2017, Prague, Czech Republic, July 25-29, 2017},
pages = {73--80},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS.2017.17},
doi = {10.1109/QRS.2017.17},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/MoranBRT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TuyaRCB16,
author = {Javier Tuya and
Claudio de la Riva and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Raquel Blanco},
title = {Coverage-Aware Test Database Reduction},
journal = {{IEEE} Trans. Software Eng.},
volume = {42},
number = {10},
pages = {941--959},
year = {2016},
url = {https://doi.org/10.1109/TSE.2016.2519032},
doi = {10.1109/TSE.2016.2519032},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/TuyaRCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/MoranRRTCS16,
author = {Jes{\'{u}}s Mor{\'{a}}n and
Bibiano Rivas and
Claudio de la Riva and
Javier Tuya and
Ismael Caballero and
Manuel A. Serrano},
editor = {Muhammad Younas and
Irfan Awan and
Joyce El Haddad},
title = {Infrastructure-Aware Functional Testing of MapReduce Programs},
booktitle = {4th {IEEE} International Conference on Future Internet of Things and
Cloud Workshops, FiCloud Workshops 2016, Vienna, Austria, August 22-24,
2016},
pages = {171--176},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/W-FiCloud.2016.45},
doi = {10.1109/W-FICLOUD.2016.45},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/MoranRRTCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MoranRT15,
author = {Jes{\'{u}}s Mor{\'{a}}n and
Claudio de la Riva and
Javier Tuya},
editor = {Tanja E. J. Vos and
Sigrid Eldh and
Wishnu Prasetya},
title = {Testing data transformations in MapReduce programs},
booktitle = {Proceedings of the 6th International Workshop on Automating Test Case
Design, Selection and Evaluation, {A-TEST} 2015, Bergamo, Italy, August
30-31, 2015},
pages = {20--25},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804322.2804326},
doi = {10.1145/2804322.2804326},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MoranRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/MoranRT14,
author = {Jes{\'{u}}s Mor{\'{a}}n and
Claudio de la Riva and
Javier Tuya},
editor = {Muhammad Younas and
Irfan Awan and
Antonio Pescap{\`{e}}},
title = {MRTree: Functional Testing Based on MapReduce's Execution Behaviour},
booktitle = {2014 International Conference on Future Internet of Things and Cloud,
FiCloud 2014, Barcelona, Spain, August 27-29, 2014},
pages = {379--384},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/FiCloud.2014.67},
doi = {10.1109/FICLOUD.2014.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/MoranRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/TuyaCR10,
author = {Javier Tuya and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva},
title = {Full predicate coverage for testing {SQL} database queries},
journal = {Softw. Test. Verification Reliab.},
volume = {20},
number = {3},
pages = {237--288},
year = {2010},
url = {https://doi.org/10.1002/stvr.424},
doi = {10.1002/STVR.424},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/TuyaCR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RivaCT10,
author = {Claudio de la Riva and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Javier Tuya},
editor = {Hong Zhu and
W. K. Chan and
Christof J. Budnik and
Gregory M. Kapfhammer},
title = {Constraint-based test database generation for {SQL} queries},
booktitle = {The 5th Workshop on Automation of Software Test, {AST} 2010, May 3-4,
2010, Cape Town, South Africa},
pages = {67--74},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808266.1808276},
doi = {10.1145/1808266.1808276},
timestamp = {Thu, 30 Apr 2020 12:10:35 +0200},
biburl = {https://dblp.org/rec/conf/icse/RivaCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/PalaciosGTR10,
author = {Marcos Palacios and
Jos{\'{e}} Garc{\'{\i}}a{-}Fanjul and
Javier Tuya and
Claudio de la Riva},
editor = {Jon G. Hall and
Hermann Kaindl and
Luigi Lavazza and
Georg Buchgeher and
Osamu Takaki},
title = {A Proactive Approach to Test Service Level Agreements},
booktitle = {The Fifth International Conference on Software Engineering Advances,
{ICSEA} 2010, 22-27 August 2010, Nice, France},
pages = {453--458},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSEA.2010.77},
doi = {10.1109/ICSEA.2010.77},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/PalaciosGTR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/TuyaCR10,
author = {Javier Tuya and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva},
editor = {Ernest Teniente and
Silvia Abrah{\~{a}}o},
title = {Herramientas para la evaluaci{\'{o}}n de la cobertura de pruebas
de aplicaciones con bases de datos},
booktitle = {{XV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2010), Valencia, Spain, September 7-10, 2010. Actas},
pages = {301--304},
publisher = {{IBERGARCETA} Pub. {S.L.}},
year = {2010},
timestamp = {Thu, 17 Nov 2011 18:10:03 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/TuyaCR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/RivaHDFGFPT10,
author = {Claudio de la Riva and
Peter Hodgson and
Ewout van Driel and
Fergus Flaherty and
Juan Garbajosa and
Luis Fern{\'{a}}ndez and
Macario Polo and
Javier Tuya},
editor = {Ernest Teniente and
Silvia Abrah{\~{a}}o},
title = {Pruebas en Ingenier{\'{\i}}a del Software (PRIS, 5{\textordfeminine}
ed.)},
booktitle = {{XV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2010), Valencia, Spain, September 7-10, 2010. Actas},
pages = {353},
publisher = {{IBERGARCETA} Pub. {S.L.}},
year = {2010},
timestamp = {Thu, 17 Nov 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/RivaHDFGFPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/CabalRT09,
author = {Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva and
Javier Tuya},
editor = {Antonio Vallecillo and
Goiuria Sagardui},
title = {Generaci{\'{o}}n de Pruebas Basada en Restricciones para Consultas
{SQL}},
booktitle = {{XIV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2009), San Sebasti{\'{a}}n, Spain, September 8-11, 2009},
pages = {9--20},
year = {2009},
timestamp = {Fri, 18 Sep 2009 12:44:29 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/CabalRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/RivaHDFGFPT09,
author = {Claudio de la Riva and
Peter Hodgson and
Ewout van Driel and
Fergus Flaherty and
Juan Garbajosa and
Luis Fern{\'{a}}ndez and
Macario Polo and
Javier Tuya},
editor = {Antonio Vallecillo and
Goiuria Sagardui},
title = {Pruebas en Ingenier{\'{\i}}a del Software (PRIS, 4{\textordfeminine}
edici{\'{o}}n)},
booktitle = {{XIV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2009), San Sebasti{\'{a}}n, Spain, September 8-11, 2009},
pages = {427--427},
year = {2009},
timestamp = {Fri, 18 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/RivaHDFGFPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/TuyaCR09,
author = {Javier Tuya and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva},
editor = {Beno{\^{\i}}t Dageville and
Carsten Binnig},
title = {Query-aware shrinking test databases},
booktitle = {Proceedings of the 2nd International Workshop on Testing Database
Systems, DBTest 2009, Providence, Rhode Island, USA, June 29, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1594156.1594164},
doi = {10.1145/1594156.1594164},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/TuyaCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/TuyaDCR08,
author = {Javier Tuya and
Jos{\'{e}} Javier Dolado and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva},
title = {A controlled experiment on white-box database testing},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {33},
number = {1},
year = {2008},
url = {https://doi.org/10.1145/1344452.1344462},
doi = {10.1145/1344452.1344462},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/TuyaDCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jisbd/2008,
editor = {Ana Moreira and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva and
Javier Tuya},
title = {{XIII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de
Datos {(JISBD} 2008), Gij{\'{o}}n, Spain, October 7-10, 2008.
Proceedings},
year = {2008},
timestamp = {Tue, 23 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/TuyaCR07,
author = {Javier Tuya and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva},
title = {Mutating database queries},
journal = {Inf. Softw. Technol.},
volume = {49},
number = {4},
pages = {398--417},
year = {2007},
url = {https://doi.org/10.1016/j.infsof.2006.06.009},
doi = {10.1016/J.INFSOF.2006.06.009},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/TuyaCR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/Garcia-FanjulTR07,
author = {Jos{\'{e}} Garc{\'{\i}}a{-}Fanjul and
Javier Tuya and
Claudio de la Riva},
editor = {Xavier Franch},
title = {Generaci{\'{o}}n sistem{\'{a}}tica de pruebas para composiciones
de servicios utilizando criterios de suficiencia basados en transiciones},
booktitle = {{XII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2007), Zaragoza, Spain, September 11-14, 2007. Actas},
pages = {95--104},
publisher = {Thomson Editorial},
year = {2007},
url = {http://www.sistedes.es/sistedes/pdf/2007/JISBD-07-fanjul-pruebas.pdf},
timestamp = {Thu, 17 Nov 2011 19:36:23 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/Garcia-FanjulTR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/RivaT06,
author = {Claudio de la Riva and
Javier Tuya},
title = {Automatic generation of assumptions for modular verification of software
specifications},
journal = {J. Syst. Softw.},
volume = {79},
number = {9},
pages = {1324--1340},
year = {2006},
url = {https://doi.org/10.1016/j.jss.2005.11.570},
doi = {10.1016/J.JSS.2005.11.570},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/RivaT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/TuyaCR06,
author = {Javier Tuya and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva},
title = {A practical guide to {SQL} white-box testing},
journal = {{ACM} {SIGPLAN} Notices},
volume = {41},
number = {4},
pages = {36--41},
year = {2006},
url = {https://doi.org/10.1145/1147214.1147221},
doi = {10.1145/1147214.1147221},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/TuyaCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/RivaGT06,
author = {Claudio de la Riva and
Jos{\'{e}} Garc{\'{\i}}a{-}Fanjul and
Javier Tuya},
title = {A Partition-Based Approach for XPath Testing},
booktitle = {Proceedings of the International Conference on Software Engineering
Advances {(ICSEA} 2006), October 28 - November 2, 2006, Papeete, Tahiti,
French Polynesia},
pages = {17},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICSEA.2006.261273},
doi = {10.1109/ICSEA.2006.261273},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/RivaGT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/RivaGT06,
author = {Claudio de la Riva and
Jos{\'{e}} Garc{\'{\i}}a{-}Fanjul and
Javier Tuya},
editor = {Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
Pere Botella},
title = {Dise{\~{n}}o sistem{\'{a}}tico de pruebas para consultas XPath
utilizando t{\'{e}}cnicas de partici{\'{o}}n},
booktitle = {{XI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain},
pages = {99--108},
year = {2006},
timestamp = {Thu, 04 Oct 2007 15:05:39 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/RivaGT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Garcia-FanjulRT06,
author = {Jos{\'{e}} Garc{\'{\i}}a{-}Fanjul and
Claudio de la Riva and
Javier Tuya},
editor = {Phil McMinn},
title = {Generation of Conformance Test Suites for Compositions of Web Services
Using Model Checking},
booktitle = {Testing: Academia and Industry Conference - Practice And Research
Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
Kingdom},
pages = {127--130},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/TAIC-PART.2006.11},
doi = {10.1109/TAIC-PART.2006.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/taicpart/Garcia-FanjulRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RivaT04,
author = {Claudio de la Riva and
Javier Tuya},
editor = {Farn Wang},
title = {Modular Model Checking of Software Specifications with Simultaneous
Environment Generation},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {369--383},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_30},
doi = {10.1007/978-3-540-30476-0\_30},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/RivaT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/RivaTD03,
author = {Claudio de la Riva and
Javier Tuya and
Jos{\'{e}} Ram{\'{o}}n de Diego},
editor = {Ernesto Pimentel and
Nieves R. Brisaboa and
Jaime G{\'{o}}mez},
title = {Generaci{\'{o}}n Autom{\'{a}}tica y Paralela de Entornos
en la Verificaci{\'{o}}n de Componentes Software},
booktitle = {{VIII} Jornadas Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2003), 12-14 Noviembre 2003, Alicante},
pages = {35--46},
year = {2003},
timestamp = {Wed, 12 May 2021 10:56:07 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/RivaTD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/RivaTD01,
author = {Claudio de la Riva and
Javier Tuya and
Jos{\'{e}} Ram{\'{o}}n de Diego},
editor = {Oscar D{\'{\i}}az and
Arantza Illarramendi and
Mario Piattini},
title = {Generaci{\'{o}}n de Restricciones del Entorno para Verificaci{\'{o}}n
Modular Utilizando Reglas de Asociaci{\'{o}}n},
booktitle = {{VI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2001), 1-23 de Noviembre de 2001, Almagro (Ciudad Real)},
pages = {391--404},
year = {2001},
timestamp = {Wed, 11 Feb 2004 07:59:26 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/RivaTD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/RivaTD00,
author = {Claudio de la Riva and
Javier Tuya and
Jos{\'{e}} Ram{\'{o}}n de Diego},
editor = {Carlos Delgado and
Esperanza Marcos and
Jos{\'{e}} Manuel Marqu{\'{e}}s Corral},
title = {Verificaci{\'{o}}n Modular de Sistemas Reactivos con Abstracciones
del Entorno},
booktitle = {V Jornadas Ingenier{\'{\i}}a de Software y Bases de Datos {(JISBD}
2000), 8, 9 y 10 de noviembre, Valladolid},
pages = {53--58},
publisher = {Universidad de Valladolid, Departamento de Inform{\'{a}}tica},
year = {2000},
timestamp = {Mon, 15 Dec 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/RivaTD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/RivaTD99,
author = {Claudio de la Riva and
Javier Tuya and
Jos{\'{e}} Ram{\'{o}}n de Diego},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Translating {SA/RT} Models to Synchronous Reactive Systems: An Approximation
to Modular Verification Using the {SMV} Model Checker},
booktitle = {Perspectives of System Informatics, Third International Andrei Ershov
Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July
6-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1755},
pages = {493--502},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46562-6\_44},
doi = {10.1007/3-540-46562-6\_44},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/RivaTD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/Garcia-FanjulMRT99,
author = {Jos{\'{e}} Garc{\'{\i}}a{-}Fanjul and
Cristina Monteser{\'{\i}}n and
Claudio de la Riva and
Javier Tuya},
title = {{TIBLEUS:} {A} Model to Build Internet Online Support Services Using
{ASP}},
booktitle = {Proceedings of the 1st International Conference on Enterprise Information
Systems, Setubal, Portugal, 27-30 March 1999},
pages = {619--625},
publisher = {{ICEIS} Secretariat, Escola Superior de Tecnologia de Set{\'{u}}bal,
Portugal},
year = {1999},
timestamp = {Thu, 02 Feb 2017 13:00:20 +0100},
biburl = {https://dblp.org/rec/conf/iceis/Garcia-FanjulMRT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/TuyaDRC96,
author = {Javier Tuya and
Jos{\'{e}} Ram{\'{o}}n de Diego and
Claudio de la Riva and
Jos{\'{e}} A. Corrales},
editor = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
title = {Dynamic analysis of {SA/RT} models using Spin and modular verification},
booktitle = {The Spin Verification System, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, August, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {32},
pages = {165--183},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/032/12},
doi = {10.1090/DIMACS/032/12},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/TuyaDRC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:06 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:
