default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Inmaculada Medina-Bulo
@inproceedings{DBLP:conf/aciids/GuerreroContrerasBDM25,
author = {Gabriel Guerrero{-}Contreras and
Sara Balderas{-}D{\'{\i}}az and
Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo},
editor = {Ngoc Thanh Nguyen and
Tokuro Matsuo and
Ford Lumban Gaol and
Yannis Manolopoulos and
Hamido Fujita and
Tzung{-}Pei Hong and
Krystian Wojtkiewicz},
title = {Explainable Artificial Intelligence to Improve Interpretability in
Predictive Mutation Testing},
booktitle = {Intelligent Information and Database Systems - 17th Asian Conference,
{ACIIDS} 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {15684},
pages = {307--318},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-981-96-6005-6\_22},
doi = {10.1007/978-981-96-6005-6\_22},
timestamp = {Fri, 09 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aciids/GuerreroContrerasBDM25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aciids/BalderasDiazGDM25,
author = {Sara Balderas{-}D{\'{\i}}az and
Gabriel Guerrero{-}Contreras and
Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo},
editor = {Ngoc Thanh Nguyen and
Tokuro Matsuo and
Ford Lumban Gaol and
Yannis Manolopoulos and
Hamido Fujita and
Tzung{-}Pei Hong and
Krystian Wojtkiewicz},
title = {An Analysis of Class Imbalance Challenges in Predictive Mutation Testing},
booktitle = {Intelligent Information and Database Systems - 17th Asian Conference,
{ACIIDS} 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {15684},
pages = {319--331},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-981-96-6005-6\_23},
doi = {10.1007/978-981-96-6005-6\_23},
timestamp = {Fri, 09 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aciids/BalderasDiazGDM25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/Guerrero-Contreras25,
author = {Gabriel Guerrero{-}Contreras and
Sara Balderas{-}D{\'{\i}}az and
Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo},
editor = {Janis Grabis and
Tanja E. J. Vos and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Oscar Pastor},
title = {A Comprehensive Review on Equivalent Mutant Detection Using Machine
Learning},
booktitle = {Research Challenges in Information Science - 19th International Conference,
{RCIS} 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part {I}},
series = {Lecture Notes in Business Information Processing},
volume = {547},
pages = {52--67},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-92474-3\_4},
doi = {10.1007/978-3-031-92474-3\_4},
timestamp = {Wed, 11 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/Guerrero-Contreras25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/CaballeroTorresCOM24,
author = {Pablo Caballero{-}Torres and
Manuel Cano{-}Crespo and
Guadalupe Ortiz and
Inmaculada Medina{-}Bulo},
title = {AALFlow: {A} Model-Driven Approach for the Integration of Internet
of Things Heterogeneous Solutions for Ambient Assisted Living},
journal = {{IEEE} Internet Things J.},
volume = {11},
number = {20},
pages = {33798--33810},
year = {2024},
url = {https://doi.org/10.1109/JIOT.2024.3432617},
doi = {10.1109/JIOT.2024.3432617},
timestamp = {Mon, 09 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iotj/CaballeroTorresCOM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/uais/CaballeroOM24,
author = {Pablo Caballero and
Guadalupe Ortiz and
Inmaculada Medina{-}Bulo},
title = {Systematic literature review of ambient assisted living systems supported
by the Internet of Things},
journal = {Univers. Access Inf. Soc.},
volume = {23},
number = {4},
pages = {1631--1656},
year = {2024},
url = {https://doi.org/10.1007/s10209-023-01022-w},
doi = {10.1007/S10209-023-01022-W},
timestamp = {Wed, 06 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/uais/CaballeroOM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inista/MimLGM24,
author = {Sheikh Sharfuddin Mim and
Doina Logofatu and
Gabriel Guerrero{-}Contreras and
Inmaculada Medina{-}Bulo},
editor = {Costin Badica and
Mirjana Ivanovic and
Petia D. Koprinkova{-}Hristova and
Florin Leon and
Yannis Manolopoulos and
T{\"{u}}lay Yildirim and
Ayseg{\"{u}}l U{\c{c}}ar},
title = {Leveraging Topic Modeling and Extractive Summarization for Unlocking
Insights from NeurIPS Papers},
booktitle = {International Conference on INnovations in Intelligent SysTems and
Applications, {INISTA} 2024, Craiova, Romania, September 4-6, 2024},
pages = {1--6},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/INISTA62901.2024.10683818},
doi = {10.1109/INISTA62901.2024.10683818},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/inista/MimLGM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-07072,
author = {Pedro Delgado{-}P{\'{e}}rez and
Aurora Ram{\'{\i}}rez and
Kevin J. Valle{-}G{\'{o}}mez and
Inmaculada Medina{-}Bulo and
Jos{\'{e}} Ra{\'{u}}l Romero},
title = {InterEvo-TR: Interactive Evolutionary Test Generation With Readability
Assessment},
journal = {CoRR},
volume = {abs/2401.07072},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.07072},
doi = {10.48550/ARXIV.2401.07072},
eprinttype = {arXiv},
eprint = {2401.07072},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-07072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-15390,
author = {Guadalupe Ortiz and
Juan Boubeta{-}Puig and
Javier Criado and
David Corral{-}Plaza and
Alfonso Garc{\'{\i}}a de Prado and
Inmaculada Medina{-}Bulo and
Luis Iribarne},
title = {A microservice architecture for real-time IoT data processing: {A}
reusable Web of things approach for smart ports},
journal = {CoRR},
volume = {abs/2401.15390},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.15390},
doi = {10.48550/ARXIV.2401.15390},
eprinttype = {arXiv},
eprint = {2401.15390},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-15390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/PokushkoSMEKP23,
author = {Mariia Pokushko and
Aljona A. Stupina and
Inmaculada Medina{-}Bulo and
Svetlana Ezhemanskaya and
Roman Kuzmich and
Roman Pokushko},
title = {Algorithm for Application of a Basic Model for the Data Envelopment
Analysis Method in Technical Systems},
journal = {Algorithms},
volume = {16},
number = {10},
pages = {460},
year = {2023},
url = {https://doi.org/10.3390/a16100460},
doi = {10.3390/A16100460},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/PokushkoSMEKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/Garcia-Dominguez23,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Francisco Palomo{-}Lozano and
Inmaculada Medina{-}Bulo and
Alfredo Ibias and
Manuel N{\'{u}}{\~{n}}ez},
title = {Computing performance requirements for web service compositions},
journal = {Comput. Stand. Interfaces},
volume = {83},
pages = {103664},
year = {2023},
url = {https://doi.org/10.1016/j.csi.2022.103664},
doi = {10.1016/J.CSI.2022.103664},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csi/Garcia-Dominguez23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DelgadoPerezRVMR23,
author = {Pedro Delgado{-}P{\'{e}}rez and
Aurora Ram{\'{\i}}rez and
Kevin J. Valle{-}G{\'{o}}mez and
Inmaculada Medina{-}Bulo and
Jos{\'{e}} Ra{\'{u}}l Romero},
title = {InterEvo-TR: Interactive Evolutionary Test Generation With Readability
Assessment},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {4},
pages = {2580--2596},
year = {2023},
url = {https://doi.org/10.1109/TSE.2022.3227418},
doi = {10.1109/TSE.2022.3227418},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DelgadoPerezRVMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ncs/RomeroMC23,
author = {Jos{\'{e}} Ra{\'{u}}l Romero and
Inmaculada Medina{-}Bulo and
Francisco Chicano},
editor = {Jos{\'{e}} Ra{\'{u}}l Romero and
Inmaculada Medina{-}Bulo and
Francisco Chicano},
title = {Introduction},
booktitle = {Optimising the Software Development Process with Artificial Intelligence},
series = {Natural Computing Series},
pages = {1--16},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-19-9948-2\_1},
doi = {10.1007/978-981-19-9948-2\_1},
timestamp = {Wed, 06 Sep 2023 16:53:03 +0200},
biburl = {https://dblp.org/rec/series/ncs/RomeroMC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/ncs/2023RBC,
editor = {Jos{\'{e}} Ra{\'{u}}l Romero and
Inmaculada Medina{-}Bulo and
Francisco Chicano},
title = {Optimising the Software Development Process with Artificial Intelligence},
series = {Natural Computing Series},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-19-9948-2},
doi = {10.1007/978-981-19-9948-2},
isbn = {978-981-19-9948-2},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ncs/2023RBC.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/OrtizBCCPMI22,
author = {Guadalupe Ortiz and
Juan Boubeta{-}Puig and
Javier Criado and
David Corral{-}Plaza and
Alfonso Garc{\'{\i}}a de Prado and
Inmaculada Medina{-}Bulo and
Luis Iribarne},
title = {A microservice architecture for real-time IoT data processing: {A}
reusable Web of things approach for smart ports},
journal = {Comput. Stand. Interfaces},
volume = {81},
pages = {103604},
year = {2022},
url = {https://doi.org/10.1016/j.csi.2021.103604},
doi = {10.1016/J.CSI.2021.103604},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csi/OrtizBCCPMI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/SanchezDMS22,
author = {Ana Bel{\'{e}}n S{\'{a}}nchez and
Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Sergio Segura},
title = {Mutation testing in the wild: findings from GitHub},
journal = {Empir. Softw. Eng.},
volume = {27},
number = {6},
pages = {132},
year = {2022},
url = {https://doi.org/10.1007/s10664-022-10177-8},
doi = {10.1007/S10664-022-10177-8},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/SanchezDMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-sen/Valle-GomezGDM22,
author = {Kevin J. Valle{-}G{\'{o}}mez and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo},
title = {Mutation-inspired symbolic execution for software testing},
journal = {{IET} Softw.},
volume = {16},
number = {5},
pages = {478--492},
year = {2022},
url = {https://doi.org/10.1049/sfw2.12063},
doi = {10.1049/SFW2.12063},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iet-sen/Valle-GomezGDM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/Velez-EstevezGM22,
author = {Antonio Velez{-}Estevez and
Lorena Guti{\'{e}}rrez{-}Madro{\~{n}}al and
Inmaculada Medina{-}Bulo},
title = {IoT-TEG 4.0: {A} New Approach 4.0 for Test Event Generation},
journal = {{IEEE} Trans. Reliab.},
volume = {71},
number = {3},
pages = {1368--1380},
year = {2022},
url = {https://doi.org/10.1109/TR.2021.3087781},
doi = {10.1109/TR.2021.3087781},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/Velez-EstevezGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/RomeroMCSMKPSGBEFKWNPSF22,
author = {Jos{\'{e}} Ra{\'{u}}l Romero and
Inmaculada Medina{-}Bulo and
Francisco Chicano and
Liyan Song and
Leandro L. Minku and
Fitsum Meshesha Kifetew and
Anna Perini and
Angelo Susi and
Antonio Garmendia and
Dominik Bork and
Martin Eisenberg and
Thiago do Nascimento Ferreira and
Marouane Kessentini and
Manuel Wimmer and
Tien N. Nguyen and
Jos{\'{e}} Antonio Parejo and
Ana Bel{\'{e}}n S{\'{a}}nchez and
Afonso Fontes and
Gregory Gay and
Francisco Gomes de Oliveira Neto and
Robert Feldt and
Michael Felderer and
Eduard Paul Enoiu and
Sahar Tahvili and
Foutse Khomh and
Mohammad Masudur Rahman and
Antoine Barbez and
Javier Ferrer and
Pedro Delgado{-}P{\'{e}}rez and
Aurora Ram{\'{\i}}rez and
Breno Miranda},
title = {Complementary material for the book "Optimising the Software
Development Process with Artificial Intelligence" (Version v1.0)},
publisher = {Zenodo},
year = {2022},
month = aug,
howpublished = {\url{https://doi.org/10.5281/zenodo.6965479}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.6965479},
doi = {10.5281/ZENODO.6965479},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/RomeroMCSMKPSGBEFKWNPSF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/ButtBWSMG21,
author = {Fatima Sajid Butt and
Luigi La Blunda and
Matthias F. Wagner and
J{\"{o}}rg Sch{\"{a}}fer and
Inmaculada Medina{-}Bulo and
David G{\'{o}}mez{-}Ullate},
title = {Fall Detection from Electrocardiogram {(ECG)} Signals and Classification
by Deep Transfer Learning},
journal = {Inf.},
volume = {12},
number = {2},
pages = {63},
year = {2021},
url = {https://doi.org/10.3390/info12020063},
doi = {10.3390/INFO12020063},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/information/ButtBWSMG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/SailMMB21,
author = {Soufiane Sail and
Roberto Mag{\'{a}}n{-}Carri{\'{o}}n and
Inmaculada Medina{-}Bulo and
Halima Bouden},
title = {Preserving authentication and availability security services through
Multivariate Statistical Network Monitoring},
journal = {J. Inf. Secur. Appl.},
volume = {58},
pages = {102785},
year = {2021},
url = {https://doi.org/10.1016/j.jisa.2021.102785},
doi = {10.1016/J.JISA.2021.102785},
timestamp = {Thu, 06 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/istr/SailMMB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Corral-PlazaOMB21,
author = {David Corral{-}Plaza and
Guadalupe Ortiz and
Inmaculada Medina{-}Bulo and
Juan Boubeta{-}Puig},
title = {MEdit4CEP-SP: {A} model-driven solution to improve decision-making
through user-friendly management and real-time processing of heterogeneous
data streams},
journal = {Knowl. Based Syst.},
volume = {213},
pages = {106682},
year = {2021},
url = {https://doi.org/10.1016/j.knosys.2020.106682},
doi = {10.1016/J.KNOSYS.2020.106682},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/Corral-PlazaOMB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Delgado-PerezSS21,
author = {Pedro Delgado{-}P{\'{e}}rez and
Ana Bel{\'{e}}n S{\'{a}}nchez and
Sergio Segura and
Inmaculada Medina{-}Bulo},
title = {Performance mutation testing},
journal = {Softw. Test. Verification Reliab.},
volume = {31},
number = {5},
year = {2021},
url = {https://doi.org/10.1002/stvr.1728},
doi = {10.1002/STVR.1728},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Delgado-PerezSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/0001DVMR21,
author = {Aurora Ram{\'{\i}}rez and
Pedro Delgado{-}P{\'{e}}rez and
Kevin J. Valle{-}G{\'{o}}mez and
Inmaculada Medina{-}Bulo and
Jos{\'{e}} Ra{\'{u}}l Romero},
title = {Interactivity in the Generation of Test Cases with Evolutionary Computation},
booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2021, Krak{\'{o}}w,
Poland, June 28 - July 1, 2021},
pages = {2395--2402},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CEC45853.2021.9504786},
doi = {10.1109/CEC45853.2021.9504786},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/0001DVMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Delgado-PerezMA21,
author = {Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Miguel {\'{A}}ngel {\'{A}}lvarez{-}Garc{\'{\i}}a and
Kevin J. Valle{-}G{\'{o}}mez},
title = {Mutation Testing and Self/Peer Assessment: Analyzing their Effect
on Students in a Software Testing Course},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Software Engineering Education and Training, {ICSE} {(SEET)} 2021,
Madrid, Spain, May 25-28, 2021},
pages = {231--240},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-SEET52601.2021.00033},
doi = {10.1109/ICSE-SEET52601.2021.00033},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Delgado-PerezMA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/SanchezDMS20,
author = {Ana Bel{\'{e}}n S{\'{a}}nchez and
Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Sergio Segura},
title = {{TANDEM:} {A} Taxonomy and a Dataset of Real-World Performance Bugs},
journal = {{IEEE} Access},
volume = {8},
pages = {107214--107228},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3000928},
doi = {10.1109/ACCESS.2020.3000928},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/SanchezDMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/BlundaGWM20,
author = {Luigi La Blunda and
Lorena Guti{\'{e}}rrez{-}Madro{\~{n}}al and
Matthias F. Wagner and
Inmaculada Medina{-}Bulo},
title = {A Wearable Fall Detection System Based on Body Area Networks},
journal = {{IEEE} Access},
volume = {8},
pages = {193060--193074},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3032497},
doi = {10.1109/ACCESS.2020.3032497},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/BlundaGWM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/caee/Delgado-PerezM20,
author = {Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo},
title = {Customizable and scalable automated assessment of {C/C++} programming
assignments},
journal = {Comput. Appl. Eng. Educ.},
volume = {28},
number = {6},
pages = {1449--1466},
year = {2020},
url = {https://doi.org/10.1002/cae.22317},
doi = {10.1002/CAE.22317},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/caee/Delgado-PerezM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/Corral-PlazaMOB20,
author = {David Corral{-}Plaza and
Inmaculada Medina{-}Bulo and
Guadalupe Ortiz and
Juan Boubeta{-}Puig},
title = {A stream processing architecture for heterogeneous data sources in
the Internet of Things},
journal = {Comput. Stand. Interfaces},
volume = {70},
pages = {103426},
year = {2020},
url = {https://doi.org/10.1016/j.csi.2020.103426},
doi = {10.1016/J.CSI.2020.103426},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/Corral-PlazaMOB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Medina-BuloMH20,
author = {Inmaculada Medina{-}Bulo and
Mercedes G. Merayo and
Robert M. Hierons},
title = {Guest Editorial: Special Section on {ICTSS}},
journal = {Inf. Softw. Technol.},
volume = {118},
year = {2020},
url = {https://doi.org/10.1016/j.infsof.2019.106222},
doi = {10.1016/J.INFSOF.2019.106222},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/Medina-BuloMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pai/RamirezDFRMC20,
author = {Aurora Ram{\'{\i}}rez and
Pedro Delgado{-}P{\'{e}}rez and
Javier Ferrer and
Jos{\'{e}} Ra{\'{u}}l Romero and
Inmaculada Medina{-}Bulo and
Francisco Chicano},
title = {A systematic literature review of the {SBSE} research community in
Spain},
journal = {Prog. Artif. Intell.},
volume = {9},
number = {2},
pages = {113--128},
year = {2020},
url = {https://doi.org/10.1007/s13748-020-00205-3},
doi = {10.1007/S13748-020-00205-3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pai/RamirezDFRMC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aciids/Gutierrez-Madronal20,
author = {Lorena Guti{\'{e}}rrez{-}Madro{\~{n}}al and
Inmaculada Medina{-}Bulo and
Mercedes G. Merayo},
editor = {Pawel Sitek and
Marcin Pietranik and
Marek Kr{\'{o}}tkiewicz and
Chutimet Srinilta},
title = {Mutation Operators for Google Query Language},
booktitle = {Intelligent Information and Database Systems - 12th Asian Conference,
{ACIIDS} 2020, Phuket, Thailand, March 23-26, 2020, Companion Proceedings},
series = {Communications in Computer and Information Science},
volume = {1178},
pages = {354--365},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-981-15-3380-8\_31},
doi = {10.1007/978-981-15-3380-8\_31},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aciids/Gutierrez-Madronal20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/Gutierrez-Madronal20,
author = {Lorena Guti{\'{e}}rrez{-}Madro{\~{n}}al and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
title = {Combining Evolutionary Mutation Testing with Random Selection},
booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2020, Glasgow,
United Kingdom, July 19-24, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CEC48606.2020.9185618},
doi = {10.1109/CEC48606.2020.9185618},
timestamp = {Fri, 11 Sep 2020 15:04:20 +0200},
biburl = {https://dblp.org/rec/conf/cec/Gutierrez-Madronal20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Castro-CabreraG20,
author = {M. Carmen de Castro{-}Cabrera and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {Trends in prioritization of test cases: 2017-2019},
booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
event, [Brno, Czech Republic], March 30 - April 3, 2020},
pages = {2005--2011},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3374036},
doi = {10.1145/3341105.3374036},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/Castro-CabreraG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SahuSMW20,
author = {Sneha Sahu and
Ruth Schorr and
Inmaculada Medina{-}Bulo and
Matthias F. Wagner},
editor = {Loek Cleophas and
Mieke Massink},
title = {Model Translation from Papyrus-RT into the nuXmv Model Checker},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops
- ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September
14-15, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12524},
pages = {3--20},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67220-1\_1},
doi = {10.1007/978-3-030-67220-1\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SahuSMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/Gutierrez-Madronal19,
author = {Lorena Guti{\'{e}}rrez{-}Madronal and
Inmaculada Medina{-}Bulo and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez},
title = {Evaluation of {EPL} mutation operators with the MuEPL mutation system},
journal = {Expert Syst. Appl.},
volume = {116},
pages = {78--95},
year = {2019},
url = {https://doi.org/10.1016/j.eswa.2018.09.003},
doi = {10.1016/J.ESWA.2018.09.003},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/Gutierrez-Madronal19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/Mueller-BadyKMP19,
author = {Robin Mueller{-}Bady and
Martin Kappes and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano},
title = {An evolutionary hybrid search heuristic for monitor placement in communication
networks},
journal = {J. Heuristics},
volume = {25},
number = {6},
pages = {861--899},
year = {2019},
url = {https://doi.org/10.1007/s10732-019-09414-z},
doi = {10.1007/S10732-019-09414-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/heuristics/Mueller-BadyKMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/Gutierrez-Madronal19,
author = {Lorena Guti{\'{e}}rrez{-}Madronal and
Luigi La Blunda and
Matthias F. Wagner and
Inmaculada Medina{-}Bulo},
title = {Test Event Generation for a Fall-Detection IoT System},
journal = {{IEEE} Internet Things J.},
volume = {6},
number = {4},
pages = {6642--6651},
year = {2019},
url = {https://doi.org/10.1109/JIOT.2019.2909434},
doi = {10.1109/JIOT.2019.2909434},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/Gutierrez-Madronal19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Mueller-BadyKMP19,
author = {Robin Mueller{-}Bady and
Martin Kappes and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano},
title = {On the Automated and Reactive Optimization of Highly-Dynamic Communication
Network Infrastructures},
journal = {J. Univers. Comput. Sci.},
volume = {25},
number = {7},
pages = {788--815},
year = {2019},
url = {http://www.jucs.org/jucs\_25\_7/on\_the\_automated\_and},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Mueller-BadyKMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Gutierrez-Madronal19,
author = {Lorena Guti{\'{e}}rrez{-}Madronal and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
title = {Evolutionary mutation testing for IoT with recorded and generated
events},
journal = {Softw. Pract. Exp.},
volume = {49},
number = {4},
pages = {640--672},
year = {2019},
url = {https://doi.org/10.1002/spe.2629},
doi = {10.1002/SPE.2629},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/Gutierrez-Madronal19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/Delgado-PerezRM19,
author = {Pedro Delgado{-}P{\'{e}}rez and
Louis M. Rose and
Inmaculada Medina{-}Bulo},
title = {Coverage-based quality metric of mutation operators for test suite
improvement},
journal = {Softw. Qual. J.},
volume = {27},
number = {2},
pages = {823--859},
year = {2019},
url = {https://doi.org/10.1007/s11219-018-9425-7},
doi = {10.1007/S11219-018-9425-7},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sqj/Delgado-PerezRM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Castro-CabreraG19,
author = {M. Carmen de Castro{-}Cabrera and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
editor = {Xiaoyuan Xie and
Pak{-}Lok Poon and
Laura L. Pullum},
title = {Using constraint solvers to support metamorphic testing},
booktitle = {Proceedings of the 4th International Workshop on Metamorphic Testing,
MET@ICSE 2019, Montreal, QC, Canada, May 26, 2019},
pages = {32--39},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/MET.2019.00013},
doi = {10.1109/MET.2019.00013},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Castro-CabreraG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Valle-GomezDMF19,
author = {Kevin J. Valle{-}G{\'{o}}mez and
Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Jos{\'{e}} Magallanes Fern{\'{a}}ndez},
editor = {Byoungju Choi and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Kim Herzig},
title = {Software testing: cost reduction in Industry 4.0},
booktitle = {Proceedings of the 14th International Workshop on Automation of Software
Test, AST@ICSE 2019, May 27, 2019, Montreal, QC, Canada},
pages = {69--70},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/AST.2019.00018},
doi = {10.1109/AST.2019.00018},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Valle-GomezDMF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/Benito-ParejoMM19,
author = {Miguel Benito{-}Parejo and
Inmaculada Medina{-}Bulo and
Mercedes G. Merayo and
Manuel N{\'{u}}{\~{n}}ez},
editor = {Ignacio Rojas and
Gonzalo Joya and
Andreu Catal{\`{a}}},
title = {Using Genetic Algorithms to Generate Test Suites for FSMs},
booktitle = {Advances in Computational Intelligence - 15th International Work-Conference
on Artificial Neural Networks, {IWANN} 2019, Gran Canaria, Spain,
June 12-14, 2019, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11506},
pages = {741--752},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20521-8\_61},
doi = {10.1007/978-3-030-20521-8\_61},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwann/Benito-ParejoMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SanchezDSM18,
author = {Ana Bel{\'{e}}n S{\'{a}}nchez and
Pedro Delgado{-}P{\'{e}}rez and
Sergio Segura and
Inmaculada Medina{-}Bulo},
title = {Performance mutation testing: Hypothesis and open questions},
journal = {Inf. Softw. Technol.},
volume = {103},
pages = {159--161},
year = {2018},
url = {https://doi.org/10.1016/j.infsof.2018.06.015},
doi = {10.1016/J.INFSOF.2018.06.015},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/SanchezDSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Delgado-PerezM18,
author = {Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo},
title = {Search-based mutant selection for efficient test suite improvement:
Evaluation and results},
journal = {Inf. Softw. Technol.},
volume = {104},
pages = {130--143},
year = {2018},
url = {https://doi.org/10.1016/j.infsof.2018.07.011},
doi = {10.1016/J.INFSOF.2018.07.011},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/Delgado-PerezM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Gutierrez-Madronal18,
author = {Lorena Guti{\'{e}}rrez{-}Madronal and
Inmaculada Medina{-}Bulo and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez},
title = {IoT-TEG: Test event generator system},
journal = {J. Syst. Softw.},
volume = {137},
pages = {784--803},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2017.06.037},
doi = {10.1016/J.JSS.2017.06.037},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/Gutierrez-Madronal18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/Delgado-PerezHG18,
author = {Pedro Delgado{-}P{\'{e}}rez and
Ibrahim Habli and
Steve Gregory and
Rob Alexander and
John A. Clark and
Inmaculada Medina{-}Bulo},
title = {Evaluation of Mutation Testing in a Nuclear Industry Case Study},
journal = {{IEEE} Trans. Reliab.},
volume = {67},
number = {4},
pages = {1406--1419},
year = {2018},
url = {https://doi.org/10.1109/TR.2018.2864678},
doi = {10.1109/TR.2018.2864678},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tr/Delgado-PerezHG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/SanchezDMS18,
author = {Ana Bel{\'{e}}n S{\'{a}}nchez and
Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Sergio Segura},
editor = {Hern{\'{a}}n E. Aguirre and
Keiki Takadama},
title = {Search-based mutation testing to improve performance tests},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference
Companion, {GECCO} 2018, Kyoto, Japan, July 15-19, 2018},
pages = {316--317},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205651.3205670},
doi = {10.1145/3205651.3205670},
timestamp = {Fri, 02 Aug 2024 15:50:42 +0200},
biburl = {https://dblp.org/rec/conf/gecco/SanchezDMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Palomo-LozanoEM18,
author = {Francisco Palomo{-}Lozano and
Antonia Estero{-}Botaro and
Inmaculada Medina{-}Bulo and
Manuel N{\'{u}}{\~{n}}ez},
editor = {Hern{\'{a}}n E. Aguirre and
Keiki Takadama},
title = {Test suite minimization for mutation testing of {WS-BPEL} compositions},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2018, Kyoto, Japan, July 15-19, 2018},
pages = {1427--1434},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205455.3205533},
doi = {10.1145/3205455.3205533},
timestamp = {Fri, 02 Aug 2024 15:50:42 +0200},
biburl = {https://dblp.org/rec/conf/gecco/Palomo-LozanoEM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Mueller-BadyKMP18,
author = {Robin Mueller{-}Bady and
Martin Kappes and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano},
editor = {Hern{\'{a}}n E. Aguirre and
Keiki Takadama},
title = {Using evolutionary dynamic optimization for monitor selection in highly
dynamic communication infrastructures},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference
Companion, {GECCO} 2018, Kyoto, Japan, July 15-19, 2018},
pages = {1672--1679},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205651.3208252},
doi = {10.1145/3205651.3208252},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/Mueller-BadyKMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/GrobKM18,
author = {Manuel Grob and
Martin Kappes and
Inmaculada Medina{-}Bulo},
editor = {Michael T. Cox and
Peter Funk and
Shahina Begum},
title = {Combining Case-Based Reasoning with Complex Event Processing for Network
Traffic Classification},
booktitle = {Case-Based Reasoning Research and Development - 26th International
Conference, {ICCBR} 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11156},
pages = {110--123},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01081-2\_8},
doi = {10.1007/978-3-030-01081-2\_8},
timestamp = {Mon, 15 Feb 2021 14:16:47 +0100},
biburl = {https://dblp.org/rec/conf/iccbr/GrobKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/Mueller-BadyKMP18,
author = {Robin Mueller{-}Bady and
Martin Kappes and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano},
title = {On the feasibility of using hybrid evolutionary dynamic optimization
for optimal monitor selection in dynamic communication networks},
booktitle = {2018 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
2018, Taipei, Taiwan, April 23-27, 2018},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/NOMS.2018.8406298},
doi = {10.1109/NOMS.2018.8406298},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/noms/Mueller-BadyKMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2018,
editor = {Inmaculada Medina{-}Bulo and
Mercedes G. Merayo and
Robert M. Hierons},
title = {Testing Software and Systems - 30th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2018, C{\'{a}}diz, Spain, October 1-3, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11146},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99927-2},
doi = {10.1007/978-3-319-99927-2},
isbn = {978-3-319-99926-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/KhamlichiTAMP17,
author = {Yasser El Khamlichi and
Abderrahim Tahiri and
Anouar Abtoy and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano},
title = {A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment
with the Minimum Number of Sensor Nodes},
journal = {Algorithms},
volume = {10},
number = {3},
pages = {80},
year = {2017},
url = {https://doi.org/10.3390/a10030080},
doi = {10.3390/A10030080},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/KhamlichiTAMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Delgado-PerezMP17,
author = {Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez},
title = {Assessment of class mutation operators for {C++} with the MuCPP mutation
system},
journal = {Inf. Softw. Technol.},
volume = {81},
pages = {169--184},
year = {2017},
url = {https://doi.org/10.1016/j.infsof.2016.07.002},
doi = {10.1016/J.INFSOF.2016.07.002},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Delgado-PerezMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Delgado-PerezMP17a,
author = {Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez},
title = {Corrigendum to 'Assessment of class mutation operators for {C++} with
the MuCPP mutation system' [Information and Software Technology, 81,
{(2017)} 169-184]},
journal = {Inf. Softw. Technol.},
volume = {87},
pages = {103},
year = {2017},
url = {https://doi.org/10.1016/j.infsof.2017.02.001},
doi = {10.1016/J.INFSOF.2017.02.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/Delgado-PerezMP17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Delgado-PerezSM17,
author = {Pedro Delgado{-}P{\'{e}}rez and
Sergio Segura and
Inmaculada Medina{-}Bulo},
title = {Assessment of {C++} object-oriented mutation operators: {A} selective
mutation approach},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {4-5},
year = {2017},
url = {https://doi.org/10.1002/stvr.1630},
doi = {10.1002/STVR.1630},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Delgado-PerezSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/Delgado-PerezMN17,
author = {Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Manuel N{\'{u}}{\~{n}}ez},
title = {Using Evolutionary Mutation Testing to improve the quality of test
suites},
booktitle = {2017 {IEEE} Congress on Evolutionary Computation, {CEC} 2017, Donostia,
San Sebasti{\'{a}}n, Spain, June 5-8, 2017},
pages = {596--603},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CEC.2017.7969365},
doi = {10.1109/CEC.2017.7969365},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/Delgado-PerezMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Mueller-BadyKMP17,
author = {Robin Mueller{-}Bady and
Martin Kappes and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano},
editor = {Peter A. N. Bosman},
title = {Optimization of monitoring in dynamic communication networks using
a hybrid evolutionary algorithm},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2017, Berlin, Germany, July 15-19, 2017},
pages = {1200--1207},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3071178.3071255},
doi = {10.1145/3071178.3071255},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/Mueller-BadyKMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Mueller-BadyKAM17,
author = {Robin Mueller{-}Bady and
Martin Kappes and
Lukas Atkinson and
Inmaculada Medina{-}Bulo},
editor = {Peter A. N. Bosman},
title = {Multijob: a framework for efficient distribution of evolutionary algorithms
for parameter tuning},
booktitle = {Genetic and Evolutionary Computation Conference, Berlin, Germany,
July 15-19, 2017, Companion Material Proceedings},
pages = {1231--1238},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3067695.3082476},
doi = {10.1145/3067695.3082476},
timestamp = {Tue, 06 Nov 2018 11:06:39 +0100},
biburl = {https://dblp.org/rec/conf/gecco/Mueller-BadyKAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/Delgado-PerezMM17,
author = {Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Mercedes G. Merayo},
editor = {Ignacio Rojas and
Gonzalo Joya and
Andreu Catal{\`{a}}},
title = {Using Evolutionary Computation to Improve Mutation Testing},
booktitle = {Advances in Computational Intelligence - 14th International Work-Conference
on Artificial Neural Networks, {IWANN} 2017, Cadiz, Spain, June 14-16,
2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10306},
pages = {381--391},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59147-6\_33},
doi = {10.1007/978-3-319-59147-6\_33},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/iwann/Delgado-PerezMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Delgado-PerezMS17,
author = {Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Sergio Segura and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {GiGAn: evolutionary mutation testing for {C++} object-oriented systems},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1387--1392},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019828},
doi = {10.1145/3019612.3019828},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/Delgado-PerezMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Mueller-BadyKMP16,
author = {Robin Mueller{-}Bady and
Martin Kappes and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano},
editor = {Tobias Friedrich and
Frank Neumann and
Andrew M. Sutton},
title = {Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms
using Population Injection},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2016, Denver,
CO, USA, July 20-24, 2016, Companion Material Proceedings},
pages = {95--96},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908961.2909052},
doi = {10.1145/2908961.2909052},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/Mueller-BadyKMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/GadKM16,
author = {Ruediger Gad and
Martin Kappes and
Inmaculada Medina{-}Bulo},
title = {Local programming language barriers in stream-based systems},
booktitle = {{IEEE} Symposium on Computers and Communication, {ISCC} 2016, Messina,
Italy, June 27-30, 2016},
pages = {569--574},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISCC.2016.7543798},
doi = {10.1109/ISCC.2016.7543798},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/GadKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adt/Delgado-PerezMD15,
author = {Pedro Delgado{-}P{\'{e}}rez and
Inmaculada Medina{-}Bulo and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Francisco Palomo{-}Lozano},
title = {Class mutation operators for {C++} object-oriented systems},
journal = {Ann. des T{\'{e}}l{\'{e}}communications},
volume = {70},
number = {3-4},
pages = {137--148},
year = {2015},
url = {https://doi.org/10.1007/s12243-014-0445-4},
doi = {10.1007/S12243-014-0445-4},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adt/Delgado-PerezMD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/Boubeta-PuigOM15,
author = {Juan Boubeta{-}Puig and
Guadalupe Ortiz and
Inmaculada Medina{-}Bulo},
title = {ModeL4CEP: Graphical domain-specific modeling languages for {CEP}
domains and event patterns},
journal = {Expert Syst. Appl.},
volume = {42},
number = {21},
pages = {8095--8110},
year = {2015},
url = {https://doi.org/10.1016/j.eswa.2015.06.045},
doi = {10.1016/J.ESWA.2015.06.045},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/Boubeta-PuigOM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Boubeta-PuigOM15,
author = {Juan Boubeta{-}Puig and
Guadalupe Ortiz and
Inmaculada Medina{-}Bulo},
title = {MEdit4CEP: {A} model-driven solution for real-time decision making
in {SOA} 2.0},
journal = {Knowl. Based Syst.},
volume = {89},
pages = {97--112},
year = {2015},
url = {https://doi.org/10.1016/j.knosys.2015.06.021},
doi = {10.1016/J.KNOSYS.2015.06.021},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/Boubeta-PuigOM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Estero-BotaroPM15,
author = {Antonia Estero{-}Botaro and
Francisco Palomo{-}Lozano and
Inmaculada Medina{-}Bulo and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez},
title = {Quality metrics for mutation testing with applications to {WS-BPEL}
compositions},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {536--571},
year = {2015},
url = {https://doi.org/10.1002/stvr.1528},
doi = {10.1002/STVR.1528},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Estero-BotaroPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmsd/Garcia-Dominguez15,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Ismael Jerez{-}Ib{\'{a}}{\~{n}}ez and
Inmaculada Medina{-}Bulo},
editor = {Boris Shishkov},
title = {Two Case Studies on Generating Administrative Process Applications
with AdminDSL},
booktitle = {Business Modeling and Software Design - 5th International Symposium,
{BMSD} 2015, Milan, Italy, July 6-8, 2015, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {257},
pages = {96--116},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-40512-4\_6},
doi = {10.1007/978-3-319-40512-4\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmsd/Garcia-Dominguez15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Mueller-BadyGKM15,
author = {Robin Mueller{-}Bady and
Ruediger Gad and
Martin Kappes and
Inmaculada Medina{-}Bulo},
editor = {Sara Silva and
Anna Isabel Esparcia{-}Alc{\'{a}}zar},
title = {Using Genetic Algorithms for Deadline-Constrained Monitor Selection
in Dynamic Computer Networks},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2015, Madrid,
Spain, July 11-15, 2015, Companion Material Proceedings},
pages = {867--874},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2739482.2768430},
doi = {10.1145/2739482.2768430},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/Mueller-BadyGKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/GadKM15,
author = {Ruediger Gad and
Martin Kappes and
Inmaculada Medina{-}Bulo},
title = {Monitoring traffic in computer networks with dynamic distributed remote
packet capturing},
booktitle = {2015 {IEEE} International Conference on Communications, {ICC} 2015,
London, United Kingdom, June 8-12, 2015},
pages = {5759--5764},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICC.2015.7249240},
doi = {10.1109/ICC.2015.7249240},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icc/GadKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/GadKM15,
author = {Ruediger Gad and
Martin Kappes and
Inmaculada Medina{-}Bulo},
title = {Improving network traffic acquisition and processing with the Java
Virtual Machine},
booktitle = {2015 {IEEE} Symposium on Computers and Communication, {ISCC} 2015,
Larnaca, Cyprus, July 6-9, 2015},
pages = {347--352},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISCC.2015.7405539},
doi = {10.1109/ISCC.2015.7405539},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/GadKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/Palomo-DuarteDGASMPCRB14,
author = {Manuel Palomo{-}Duarte and
Juan Manuel Dodero and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Pablo Neira Ayuso and
Noelia Sales{-}Montes and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano and
Carmen Castro{-}Cabrera and
Emilio J. Rodr{\'{\i}}guez{-}Posada and
Antonio Balderas},
title = {Scalability of assessments of wiki-based learning experiences in higher
education},
journal = {Comput. Hum. Behav.},
volume = {31},
pages = {638--650},
year = {2014},
url = {https://doi.org/10.1016/j.chb.2013.07.033},
doi = {10.1016/J.CHB.2013.07.033},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chb/Palomo-DuarteDGASMPCRB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/Boubeta-PuigOM14,
author = {Juan Boubeta{-}Puig and
Guadalupe Ortiz and
Inmaculada Medina{-}Bulo},
title = {A model-driven approach for facilitating user-friendly design of complex
event patterns},
journal = {Expert Syst. Appl.},
volume = {41},
number = {2},
pages = {445--456},
year = {2014},
url = {https://doi.org/10.1016/j.eswa.2013.07.070},
doi = {10.1016/J.ESWA.2013.07.070},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/Boubeta-PuigOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/Palomo-DuarteGM14,
author = {Manuel Palomo{-}Duarte and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
title = {Automatic dynamic generation of likely invariants for {WS-BPEL} compositions},
journal = {Expert Syst. Appl.},
volume = {41},
number = {11},
pages = {5041--5055},
year = {2014},
url = {https://doi.org/10.1016/j.eswa.2014.01.037},
doi = {10.1016/J.ESWA.2014.01.037},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/Palomo-DuarteGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ile/Palomo-DuarteDMRR14,
author = {Manuel Palomo{-}Duarte and
Juan Manuel Dodero and
Inmaculada Medina{-}Bulo and
Emilio J. Rodr{\'{\i}}guez{-}Posada and
Ivan Ruiz{-}Rube},
title = {Assessment of collaborative learning experiences by graphical analysis
of wiki contributions},
journal = {Interact. Learn. Environ.},
volume = {22},
number = {4},
pages = {444--466},
year = {2014},
url = {https://doi.org/10.1080/10494820.2012.680969},
doi = {10.1080/10494820.2012.680969},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ile/Palomo-DuarteDMRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/HarmanKMPRY14,
author = {Mark Harman and
Jens Krinke and
Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano and
Jian Ren and
Shin Yoo},
title = {Exact scalable sensitivity analysis for the next release problem},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {23},
number = {2},
pages = {19:1--19:31},
year = {2014},
url = {https://doi.org/10.1145/2537853},
doi = {10.1145/2537853},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/HarmanKMPRY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/GadKMM14,
author = {Ruediger Gad and
Martin Kappes and
Robin Mueller{-}Bady and
Inmaculada Medina{-}Bulo},
editor = {Leonard Barolli and
Kin Fun Li and
Tomoya Enokido and
Fatos Xhafa and
Makoto Takizawa},
title = {Header Field Based Partitioning of Network Traffic for Distributed
Packet Capturing and Processing},
booktitle = {28th {IEEE} International Conference on Advanced Information Networking
and Applications, {AINA} 2014, Victoria, BC, Canada, May 13-16, 2014},
pages = {866--874},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/AINA.2014.141},
doi = {10.1109/AINA.2014.141},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/GadKMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GadKM14,
author = {Ruediger Gad and
Martin Kappes and
Inmaculada Medina{-}Bulo},
title = {Bridging the Gap between Low-Level Network Traffic Data Acquisition
and Higher-Level Frameworks},
booktitle = {{IEEE} 38th Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2014, Vasteras, Sweden, July 21-25, 2014},
pages = {67--72},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/COMPSACW.2014.15},
doi = {10.1109/COMPSACW.2014.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/GadKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Estero-BotaroGDPM14,
author = {Antonia Estero{-}Botaro and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Francisco Palomo{-}Lozano and
Inmaculada Medina{-}Bulo},
editor = {Mercedes G. Merayo and
Edgardo Montes de Oca},
title = {A Framework for Genetic Test-Case Generation for {WS-BPEL} Compositions},
booktitle = {Testing Software and Systems - 26th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2014, Madrid, Spain, September 23-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8763},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44857-1\_1},
doi = {10.1007/978-3-662-44857-1\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/Estero-BotaroGDPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sitis/Camacho-Magrinan14,
author = {Maria Azahara Camacho{-}Magrinan and
Mercedes G. Merayo and
Inmaculada Medina{-}Bulo},
editor = {Kokou Y{\'{e}}tongnon and
Albert Dipanda and
Richard Chbeir},
title = {{PTTAC:} Passive Testing Tool for Asynchronous Systems},
booktitle = {Tenth International Conference on Signal-Image Technology and Internet-Based
Systems, {SITIS} 2014, Marrakech, Morocco, November 23-27, 2014},
pages = {223--229},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SITIS.2014.83},
doi = {10.1109/SITIS.2014.83},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sitis/Camacho-Magrinan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/TaherBHOM13,
author = {Yehia Taher and
Juan Boubeta{-}Puig and
Willem{-}Jan van den Heuvel and
Guadalupe Ortiz and
Inmaculada Medina{-}Bulo},
editor = {Carlos Canal and
Massimo Villari},
title = {A Model-Driven Approach for Web Service Adaptation Using Complex Event
Processing},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {393},
pages = {346--359},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45364-9\_28},
doi = {10.1007/978-3-642-45364-9\_28},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/TaherBHOM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/Boubeta-PuigMOF12,
author = {Juan Boubeta{-}Puig and
Inmaculada Medina{-}Bulo and
Guadalupe Ortiz and
Germ{\'{a}}n Fuentes{-}Landi},
editor = {Javier Cubo and
Juan Boubeta{-}Puig and
Guadalupe Ortiz and
Howard Foster and
Winfried Lamersdorf and
Agnes Koschmider and
Maristella Matera and
Victoria Torres},
title = {Complex event processing applied to early maritime threat detection},
booktitle = {Proceedings of the 2nd International Workshop on Adaptive Services
for the Future Internet and 6th International Workshop on Web APIs
and Service Mashups (WAS4FI-Mashups 2012), Bertinoro, Italy, September
19, 2012},
pages = {1--4},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2377836.2377838},
doi = {10.1145/2377836.2377838},
timestamp = {Fri, 29 Apr 2022 09:10:26 +0200},
biburl = {https://dblp.org/rec/conf/esocc/Boubeta-PuigMOF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/GadBKM12,
author = {R{\"{u}}diger Gad and
Juan Boubeta{-}Puig and
Martin Kappes and
Inmaculada Medina{-}Bulo},
editor = {Javier Cubo and
Juan Boubeta{-}Puig and
Guadalupe Ortiz and
Howard Foster and
Winfried Lamersdorf and
Agnes Koschmider and
Maristella Matera and
Victoria Torres},
title = {Hierarchical events for efficient distributed network analysis and
surveillance},
booktitle = {Proceedings of the 2nd International Workshop on Adaptive Services
for the Future Internet and 6th International Workshop on Web APIs
and Service Mashups (WAS4FI-Mashups 2012), Bertinoro, Italy, September
19, 2012},
pages = {5--11},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2377836.2377839},
doi = {10.1145/2377836.2377839},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/GadBKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Castro-CabreraMC12,
author = {Carmen Castro{-}Cabrera and
Inmaculada Medina{-}Bulo and
Azahara Camacho},
editor = {Slimane Hammoudi and
Marten van Sinderen and
Jos{\'{e}} Cordeiro},
title = {Metasearch Services Composition in {WS-BPEL} - An Application of Metamorphic
Testing},
booktitle = {{ICSOFT} 2012 - Proceedings of the 7th International Conference on
Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012},
pages = {427--432},
publisher = {SciTePress},
year = {2012},
url = {https://doi.org/10.5220/0004026004270432},
doi = {10.5220/0004026004270432},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/Castro-CabreraMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Gutierrez-MadronalSZDM12,
author = {Lorena Guti{\'{e}}rrez{-}Madronal and
Hossain Shahriar and
Mohammad Zulkernine and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Inmaculada Medina{-}Bulo},
title = {Mutation Testing of Event Processing Queries},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSRE.2012.20},
doi = {10.1109/ISSRE.2012.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/Gutierrez-MadronalSZDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Dominguez-JimenezEGM11,
author = {Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Antonia Estero{-}Botaro and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
title = {Evolutionary mutation testing},
journal = {Inf. Softw. Technol.},
volume = {53},
number = {10},
pages = {1108--1123},
year = {2011},
url = {https://doi.org/10.1016/j.infsof.2011.03.008},
doi = {10.1016/J.INFSOF.2011.03.008},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Dominguez-JimenezEGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/Rodriguez-PosadaDPM11,
author = {Emilio J. Rodr{\'{\i}}guez{-}Posada and
Juan Manuel Dodero and
Manuel Palomo{-}Duarte and
Inmaculada Medina{-}Bulo},
editor = {Alexander Verbraeck and
Markus Helfert and
Jos{\'{e}} Cordeiro and
Boris Shishkov},
title = {Learning-oriented Assessment of Wiki Contributions - How to Assess
Wiki Contributions in a Higher Education Learning Setting},
booktitle = {{CSEDU} 2011 - Proceedings of the 3rd International Conference on
Computer Supported Education, Volume 2, Noordwijkerhout, Netherlands,
6-8 May, 2011},
pages = {79--86},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 30 Sep 2011 08:32:56 +0200},
biburl = {https://dblp.org/rec/conf/csedu/Rodriguez-PosadaDPM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/Castro-CabreraM11,
author = {Carmen Castro{-}Cabrera and
Inmaculada Medina{-}Bulo},
editor = {David A. Marca and
Boris Shishkov and
Marten van Sinderen},
title = {An Approach to Metamorphic Testing for {WS-BPEL} Compositions},
booktitle = {{ICE-B} 2011 - Proceedings of the International Conference on e-Business,
Seville, Spain, 18-21 July, 2011, {ICE-B} is part of {ICETE} - The
International Joint Conference on e-Business and Telecommunications},
pages = {137--142},
publisher = {SciTePress},
year = {2011},
timestamp = {Thu, 27 Oct 2011 11:11:28 +0200},
biburl = {https://dblp.org/rec/conf/icete/Castro-CabreraM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/Blanco-MunozGDM11,
author = {Emma Blanco{-}Mu{\~{n}}oz and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Inmaculada Medina{-}Bulo},
editor = {David A. Marca and
Boris Shishkov and
Marten van Sinderen},
title = {Towards Higher-order Mutant Generation for {WS-BPEL}},
booktitle = {{ICE-B} 2011 - Proceedings of the International Conference on e-Business,
Seville, Spain, 18-21 July, 2011, {ICE-B} is part of {ICETE} - The
International Joint Conference on e-Business and Telecommunications},
pages = {143--148},
publisher = {SciTePress},
year = {2011},
timestamp = {Sat, 05 Nov 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icete/Blanco-MunozGDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/Castro-CabreraM11a,
author = {Carmen Castro{-}Cabrera and
Inmaculada Medina{-}Bulo},
editor = {Mohammad S. Obaidat and
Jos{\'{e}} Luis Sevillano and
Joaquim Filipe},
title = {Application of Metamorphic Testing to a Case Study in Web Services
Compositions},
booktitle = {E-Business and Telecommunications - International Joint Conference,
{ICETE} 2011, Seville, Spain, July 18-21, 2011, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {314},
pages = {168--181},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35755-8\_13},
doi = {10.1007/978-3-642-35755-8\_13},
timestamp = {Sat, 19 Oct 2019 20:35:36 +0200},
biburl = {https://dblp.org/rec/conf/icete/Castro-CabreraM11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Garcia-DominguezMM11,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo and
Mariano Marcos{-}B{\'{a}}rcena},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
Boris Shishkov and
Jos{\'{e}} Cordeiro},
title = {Model-driven Design of Performance Requirements with {UML} and {MARTE}},
booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
2011},
pages = {54--63},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 18:25:28 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/Garcia-DominguezMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Garcia-DominguezMM11a,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo and
Mariano Marcos{-}B{\'{a}}rcena},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona and
Jos{\'{e}} Cordeiro and
Boris Shishkov},
title = {An Approach for Model-Driven Design and Generation of Performance
Test Cases with {UML} and {MARTE}},
booktitle = {Software and Data Technologies - 6th International Conference, {ICSOFT}
2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {303},
pages = {136--150},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-36177-7\_9},
doi = {10.1007/978-3-642-36177-7\_9},
timestamp = {Fri, 02 Nov 2018 09:45:22 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/Garcia-DominguezMM11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Boubeta-PuigMG11,
author = {Juan Boubeta{-}Puig and
Inmaculada Medina{-}Bulo and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez},
title = {Analogies and Differences between Mutation Operators for {WS-BPEL}
2.0 and Other Languages},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
Proceedings},
pages = {398--407},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSTW.2011.52},
doi = {10.1109/ICSTW.2011.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Boubeta-PuigMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Garcia-DominguezKRPM11,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Dimitrios S. Kolovos and
Louis M. Rose and
Richard F. Paige and
Inmaculada Medina{-}Bulo},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {EUnit: {A} Unit Testing Framework for Model Management Tasks},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {395--409},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_29},
doi = {10.1007/978-3-642-24485-8\_29},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/Garcia-DominguezKRPM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/Garcia-DominguezMM11,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo and
Mariano Marcos{-}B{\'{a}}rcena},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Robert M. Hierons and
Mercedes G. Merayo},
title = {Model-Driven Design of Performance Requirements},
booktitle = {Proceedings of the 11th International Conference on Quality Software,
{QSIC} 2011, Madrid, Spain, July 13-14, 2011},
pages = {76--85},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QSIC.2011.16},
doi = {10.1109/QSIC.2011.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/Garcia-DominguezMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Medina-BuloPR10,
author = {Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
title = {A verified Common Lisp implementation of Buchberger's algorithm in
{ACL2}},
journal = {J. Symb. Comput.},
volume = {45},
number = {1},
pages = {96--123},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.07.002},
doi = {10.1016/J.JSC.2009.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Medina-BuloPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Estero-BotaroPM10,
author = {Antonia Estero{-}Botaro and
Francisco Palomo{-}Lozano and
Inmaculada Medina{-}Bulo},
title = {Quantitative Evaluation of Mutation Operators for {WS-BPEL} Compositions},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {142--150},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.36},
doi = {10.1109/ICSTW.2010.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Estero-BotaroPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/Dominguez-JimenezEGM10,
author = {Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Antonia Estero{-}Botaro and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
editor = {Boualem Benatallah and
Fabio Casati and
Gerti Kappel and
Gustavo Rossi},
title = {GAmera: {A} Tool for {WS-BPEL} Composition Testing Using Mutation
Analysis},
booktitle = {Web Engineering, 10th International Conference, {ICWE} 2010, Vienna,
Austria, July 5-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6189},
pages = {490--493},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13911-6\_35},
doi = {10.1007/978-3-642-13911-6\_35},
timestamp = {Mon, 05 Feb 2024 20:30:33 +0100},
biburl = {https://dblp.org/rec/conf/icwe/Dominguez-JimenezEGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/Palomo-DuarteGMAS10,
author = {Manuel Palomo{-}Duarte and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo and
Alejandro {\'{A}}lvarez{-}Ayll{\'{o}}n and
Javier Santacruz},
editor = {Boualem Benatallah and
Fabio Casati and
Gerti Kappel and
Gustavo Rossi},
title = {Takuan: {A} Tool for {WS-BPEL} Composition Testing Using Dynamic Invariant
Generation},
booktitle = {Web Engineering, 10th International Conference, {ICWE} 2010, Vienna,
Austria, July 5-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6189},
pages = {531--534},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13911-6\_45},
doi = {10.1007/978-3-642-13911-6\_45},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwe/Palomo-DuarteGMAS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/Garcia-DominguezMM10,
author = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo and
Mariano Marcos{-}B{\'{a}}rcena},
editor = {Ernest Teniente and
Silvia Abrah{\~{a}}o},
title = {{SODM+T:} Inferencia de restricciones de rendimiento},
booktitle = {{XV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2010), Valencia, Spain, September 7-10, 2010. Actas},
pages = {103--106},
publisher = {{IBERGARCETA} Pub. {S.L.}},
year = {2010},
timestamp = {Thu, 17 Nov 2011 18:10:03 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/Garcia-DominguezMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/JimenezEGM10,
author = {Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Antonia Estero{-}Botaro and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
editor = {Ernest Teniente and
Silvia Abrah{\~{a}}o},
title = {Mutaci{\'{o}}n evolutiva},
booktitle = {{XV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2010), Valencia, Spain, September 7-10, 2010. Actas},
pages = {281--292},
publisher = {{IBERGARCETA} Pub. {S.L.}},
year = {2010},
timestamp = {Fri, 18 Nov 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/JimenezEGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/Dominguez-JimenezEGM09,
author = {Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Antonia Estero{-}Botaro and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
editor = {Rik Eshuis and
Paul W. P. J. Grefen and
George Angelos Papadopoulos},
title = {GAmera: An Automatic Mutant Generation System for {WS-BPEL} Compositions},
booktitle = {Seventh {IEEE} European Conference on Web Services {(ECOWS} 2009),
9-11 November 2009, Eindhoven, The Netherlands},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ECOWS.2009.18},
doi = {10.1109/ECOWS.2009.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/Dominguez-JimenezEGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/Palomo-DuarteGM09,
author = {Manuel Palomo{-}Duarte and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
editor = {Martin Gaedke and
Michael Grossniklaus and
Oscar D{\'{\i}}az},
title = {Enhancing {WS-BPEL} Dynamic Invariant Generation Using {XML} Schema
and XPath Information},
booktitle = {Web Engineering, 9th International Conference, {ICWE} 2009, San Sebasti{\'{a}}n,
Spain, June 24-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5648},
pages = {469--472},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02818-2\_40},
doi = {10.1007/978-3-642-02818-2\_40},
timestamp = {Mon, 05 Aug 2024 13:04:23 +0200},
biburl = {https://dblp.org/rec/conf/icwe/Palomo-DuarteGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/Estero-BotaroMDG09,
author = {Antonia Estero{-}Botaro and
Inmaculada Medina{-}Bulo and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Lorena Guti{\'{e}}rrez},
editor = {Antonio Vallecillo and
Goiuria Sagardui},
title = {GAmera: una herramienta para la generaci{\'{o}}n y selecci{\'{o}}n
mediante algoritmos gen{\'{e}}ticos de mutantes {WS-BPEL}},
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 = {50--53},
year = {2009},
timestamp = {Fri, 18 Sep 2009 12:44:29 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/Estero-BotaroMDG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/Palomo-DuarteGAM09,
author = {Manuel Palomo{-}Duarte and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Alejandro {\'{A}}lvarez{-}Ayll{\'{o}}n and
Inmaculada Medina{-}Bulo},
editor = {Antonio Vallecillo and
Goiuria Sagardui},
title = {Takuan: generaci{\'{o}}n din{\'{a}}mica de invariantes en
composiciones de servicios web con {WS-BPEL}},
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 = {367--370},
year = {2009},
timestamp = {Thu, 08 Jul 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/Palomo-DuarteGAM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Dominguez-JimenezEM09,
author = {Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Antonia Estero{-}Botaro and
Inmaculada Medina{-}Bulo},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {A Framework for Mutant Genetic Generation for {WS-BPEL}},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {229--240},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_23},
doi = {10.1007/978-3-540-95891-8\_23},
timestamp = {Fri, 30 Aug 2019 10:02:27 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Dominguez-JimenezEM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/Palomo-DuarteGM08,
author = {Manuel Palomo{-}Duarte and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
editor = {Claus Pahl and
Siobh{\'{a}}n Clarke and
Rik Eshuis},
title = {Takuan: {A} Dynamic Invariant Generation System for {WS-BPEL} Compositions},
booktitle = {{ECOWS} 2008, Sixth European Conference on Web Services, 12-14 November
2008, Dublin, Ireland},
pages = {63--72},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ECOWS.2008.17},
doi = {10.1109/ECOWS.2008.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/Palomo-DuarteGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/DuarteGM08,
author = {Manuel Palomo{-}Duarte and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
editor = {Joaquim Filipe and
David A. Marca and
Boris Shishkov and
Marten van Sinderen},
title = {An Architecture for Dynamic Invariant Generation in {WS-BPEL} web
Service Compositions},
booktitle = {{ICE-B} 2008 - Proceedings of the International Conference on e-Business,
Porto, Portugal, July 26-29, 2008, {ICE-B} is part of {ICETE} - The
International Joint Conference on e-Business and Telecommunications},
pages = {37--44},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Fri, 18 Sep 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icete/DuarteGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/Palomo-DuarteGM08,
author = {Manuel Palomo{-}Duarte and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
Inmaculada Medina{-}Bulo},
editor = {Jonathan Lee and
Deron Liang and
Y. C. Cheng},
title = {Improving Takuan to Analyze a Meta-Search Engine {WS-BPEL} Composition},
booktitle = {The Fourth {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2008, 18-19 December 2008, Jhongli, Taiwan},
pages = {109--114},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SOSE.2008.18},
doi = {10.1109/SOSE.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/Palomo-DuarteGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Medina-BuloPAR04,
author = {Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano and
Jos{\'{e}} A. Alonso{-}Jim{\'{e}}nez and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Bruno Buchberger and
John A. Campbell},
title = {Verified Computer Algebra in Acl2. Gr{\"{o}}bner Bases Computation},
booktitle = {Artificial Intelligence and Symbolic Computation, 7th International
Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3249},
pages = {171--184},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30210-0\_15},
doi = {10.1007/978-3-540-30210-0\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Medina-BuloPAR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Medina-BuloPA01,
author = {Inmaculada Medina{-}Bulo and
Francisco Palomo{-}Lozano and
Jos{\'{e}} A. Alonso{-}Jim{\'{e}}nez},
editor = {Richard J. Boulton and
Paul B. Jackson},
title = {A Certified Polynomial-Based Decision Procedure for Propositional
Logic},
booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference,
TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2152},
pages = {297--312},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44755-5\_21},
doi = {10.1007/3-540-44755-5\_21},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Medina-BuloPA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-06-12 22:55 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:
