Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sergio Segura
@article{DBLP:journals/csur/TroyaSBW23, author = {Javier Troya and Sergio Segura and Lola Burgue{\~{n}}o and Manuel Wimmer}, title = {Model Transformation Testing and Debugging: {A} Survey}, journal = {{ACM} Comput. Surv.}, volume = {55}, number = {4}, pages = {72:1--72:39}, year = {2023}, url = {https://doi.org/10.1145/3523056}, doi = {10.1145/3523056}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csur/TroyaSBW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tr/AyerdiVSASA23, author = {Jon Ayerdi and Pablo Valle and Sergio Segura and Aitor Arrieta and Goiuria Sagardui and Maite Arratibel}, title = {Performance-Driven Metamorphic Testing of Cyber-Physical Systems}, journal = {{IEEE} Trans. Reliab.}, volume = {72}, number = {2}, pages = {827--845}, year = {2023}, url = {https://doi.org/10.1109/TR.2022.3193070}, doi = {10.1109/TR.2022.3193070}, timestamp = {Thu, 15 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tr/AyerdiVSASA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/AlonsoMSGR23, author = {Juan C. Alonso and Alberto Martin{-}Lopez and Sergio Segura and Jos{\'{e}} Mar{\'{\i}}a Garc{\'{\i}}a and Antonio Ruiz{-}Cort{\'{e}}s}, title = {{ARTE:} Automated Generation of Realistic Test Inputs for Web APIs}, journal = {{IEEE} Trans. Software Eng.}, volume = {49}, number = {1}, pages = {348--363}, year = {2023}, url = {https://doi.org/10.1109/TSE.2022.3150618}, doi = {10.1109/TSE.2022.3150618}, timestamp = {Fri, 10 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/AlonsoMSGR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aitest/WozniakDBLSM23, author = {Anne{-}Laure Wozniak and Ngoc Q. K. Duong and Ian Benderitter and Sarah Leroy and Sergio Segura and Ra{\'{u}}l Mazo}, title = {Robustness Testing of an Industrial Road Object Detection System}, booktitle = {{IEEE} International Conference On Artificial Intelligence Testing, AITest 2023, Athens, Greece, July 17-20, 2023}, pages = {82--89}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/AITest58265.2023.00022}, doi = {10.1109/AITEST58265.2023.00022}, timestamp = {Wed, 06 Sep 2023 16:07:23 +0200}, biburl = {https://dblp.org/rec/conf/aitest/WozniakDBLSM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/BarakatSS23, author = {Saman A. Barakat and Ana Bel{\'{e}}n S{\'{a}}nchez and Sergio Segura}, editor = {Flavia Monti and Stefanie Rinderle{-}Ma and Antonio Ruiz Cort{\'{e}}s and Zibin Zheng and Massimo Mecella}, title = {IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs}, booktitle = {Service-Oriented Computing - 21st International Conference, {ICSOC} 2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14419}, pages = {153--168}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-48421-6\_11}, doi = {10.1007/978-3-031-48421-6\_11}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsoc/BarakatSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/BarakatMMS23, author = {Saman A. Barakat and Alberto Martin{-}Lopez and Carlos M{\"{u}}ller and Sergio Segura}, editor = {Flavia Monti and Pierluigi Plebani and Naouel Moha and Hye{-}Young Paik and Johanna Barzen and Gowri Sankar Ramachandran and Devis Bianchini and Damian A. Tamburri and Massimo Mecella}, title = {The {IDL} Tool Suite: Inter-parameter Dependency Management in Web APIs}, booktitle = {Service-Oriented Computing - {ICSOC} 2023 Workshops - AI-PA, ASOCA, SAPD, SQS, SSCOPE, {WESOACS} and Satellite Events, Rome, Italy, November 28 - December 1, 2023, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14518}, pages = {311--316}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-981-97-0989-2\_26}, doi = {10.1007/978-981-97-0989-2\_26}, timestamp = {Mon, 01 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/BarakatMMS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/AlonsoSR23, author = {Juan C. Alonso and Sergio Segura and Antonio Ruiz{-}Cort{\'{e}}s}, editor = {Ren{\'{e}} Just and Gordon Fraser}, title = {{AGORA:} Automated Generation of Test Oracles for {REST} APIs}, booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July 17-21, 2023}, pages = {1018--1030}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3597926.3598114}, doi = {10.1145/3597926.3598114}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issta/AlonsoSR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icsoc/2022w, editor = {Javier Troya and Raffaela Mirandola and Elena Navarro and Andrea Delgado and Sergio Segura and Guadalupe Ortiz and Cesare Pautasso and Christian Zirpins and Pablo Fern{\'{a}}ndez and Antonio Ruiz{-}Cort{\'{e}}s}, title = {Service-Oriented Computing - {ICSOC} 2022 Workshops - ASOCA, AI-PA, FMCIoT, {WESOACS} 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13821}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-26507-5}, doi = {10.1007/978-3-031-26507-5}, isbn = {978-3-031-26506-8}, timestamp = {Sat, 25 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsoc/2022w.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/tsc/Martin-LopezSMR22, author = {Alberto Martin{-}Lopez and Sergio Segura and Carlos M{\"{u}}ller and Antonio Ruiz{-}Cort{\'{e}}s}, title = {Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {15}, number = {4}, pages = {2342--2355}, year = {2022}, url = {https://doi.org/10.1109/TSC.2021.3050610}, doi = {10.1109/TSC.2021.3050610}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsc/Martin-LopezSMR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse-met/SeguraAMDTR22, author = {Sergio Segura and Juan C. Alonso and Alberto Martin{-}Lopez and Amador Dur{\'{a}}n and Javier Troya and Antonio Ruiz{-}Cort{\'{e}}s}, title = {Automated Generation of Metamorphic Relations for Query-Based Systems}, booktitle = {{IEEE/ACM} 7th International Workshop on Metamorphic Testing, MET@ICSE 2022, Pittsburgh, PA, USA, May 9, 2022}, pages = {48--55}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3524846.3527338}, doi = {10.1145/3524846.3527338}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse-met/SeguraAMDTR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/BarakatRSS22, author = {Saman A. Barakat and Enrique Barba Roque and Ana Bel{\'{e}}n S{\'{a}}nchez and Sergio Segura}, editor = {Javier Troya and Raffaela Mirandola and Elena Navarro and Andrea Delgado and Sergio Segura and Guadalupe Ortiz and Cesare Pautasso and Christian Zirpins and Pablo Fern{\'{a}}ndez and Antonio Ruiz{-}Cort{\'{e}}s}, title = {Specification-Driven Code Generation for Inter-parameter Dependencies in Web APIs}, booktitle = {Service-Oriented Computing - {ICSOC} 2022 Workshops - ASOCA, AI-PA, FMCIoT, {WESOACS} 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13821}, pages = {261--273}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26507-5\_21}, doi = {10.1007/978-3-031-26507-5\_21}, timestamp = {Sun, 16 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/BarakatRSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/se4rai/WozniakSML22, author = {Anne{-}Laure Wozniak and Sergio Segura and Ra{\'{u}}l Mazo and Sarah Leroy}, editor = {Qinghua Lu and Xiwei Xu and Liming Zhu and John Grundy}, title = {Robustness testing of a machine learning-based road object detection system: an industrial case}, booktitle = {Proceedings of the 1st Workshop on Software Engineering for Responsible AI, {SE4RAI} 2022, Pittsburgh, Pennsylvania, 19 May 2022}, pages = {9--12}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3526073.3527592}, doi = {10.1145/3526073.3527592}, timestamp = {Thu, 18 Apr 2024 14:05:34 +0200}, biburl = {https://dblp.org/rec/conf/se4rai/WozniakSML22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/Martin-LopezSR22, author = {Alberto Martin{-}Lopez and Sergio Segura and Antonio Ruiz{-}Cort{\'{e}}s}, editor = {Abhik Roychoudhury and Cristian Cadar and Miryung Kim}, title = {Online testing of RESTful APIs: promises and challenges}, booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022}, pages = {408--420}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3540250.3549144}, doi = {10.1145/3540250.3549144}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/Martin-LopezSR22.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} }
@article{DBLP:journals/te/TroyaPSGCd21, author = {Javier Troya and Jos{\'{e}} Antonio Parejo and Sergio Segura and Antonio Gamez{-}Diaz and Alfonso E. M{\'{a}}rquez Chamorro and Adela del{-}R{\'{\i}}o{-}Ortega}, title = {Flipping Laboratory Sessions in a Computer Science Course: An Experience Report}, journal = {{IEEE} Trans. Educ.}, volume = {64}, number = {2}, pages = {139--146}, year = {2021}, url = {https://doi.org/10.1109/TE.2020.3016593}, doi = {10.1109/TE.2020.3016593}, timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/te/TroyaPSGCd21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse-deeptest/MirabellaMSVR21, author = {A. Giuliano Mirabella and Alberto Martin{-}Lopez and Sergio Segura and Luis Valencia{-}Cabrera and Antonio Ruiz{-}Cort{\'{e}}s}, title = {Deep Learning-Based Prediction of Test Input Validity for RESTful APIs}, booktitle = {3rd {IEEE/ACM} International Workshop on Deep Learning for Testing and Testing for Deep Learning, DeepTest@ICSE 2021, Madrid, Spain, June 1, 2021}, pages = {9--16}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/DeepTest52559.2021.00008}, doi = {10.1109/DEEPTEST52559.2021.00008}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse-deeptest/MirabellaMSVR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/Martin-LopezASR21, author = {Alberto Martin{-}Lopez and Andrea Arcuri and Sergio Segura and Antonio Ruiz{-}Cort{\'{e}}s}, editor = {Zhi Jin and Xuandong Li and Jianwen Xiang and Leonardo Mariani and Ting Liu and Xiao Yu and Nahgmeh Ivaki}, title = {Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?}, booktitle = {32nd {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2021, Wuhan, China, October 25-28, 2021}, pages = {231--241}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISSRE52982.2021.00034}, doi = {10.1109/ISSRE52982.2021.00034}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/Martin-LopezASR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/Martin-LopezSR21, author = {Alberto Martin{-}Lopez and Sergio Segura and Antonio Ruiz{-}Cort{\'{e}}s}, editor = {Cristian Cadar and Xiangyu Zhang}, title = {RESTest: automated black-box testing of RESTful web APIs}, booktitle = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021}, pages = {682--685}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460319.3469082}, doi = {10.1145/3460319.3469082}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/Martin-LopezSR21.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/ieee-rita/ParejoTSdGC20, author = {Jos{\'{e}} Antonio Parejo and Javier Troya and Sergio Segura and Adela del{-}R{\'{\i}}o{-}Ortega and Antonio Gamez{-}Diaz and Alfonso E. M{\'{a}}rquez Chamorro}, title = {Flipping Laboratory Sessions: An Experience in Computer Science}, journal = {Rev. Iberoam. de Tecnol. del Aprendiz.}, volume = {15}, number = {3}, pages = {183--191}, year = {2020}, url = {https://doi.org/10.1109/RITA.2020.3008132}, doi = {10.1109/RITA.2020.3008132}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieee-rita/ParejoTSdGC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/SeguraTZC20, author = {Sergio Segura and Dave Towey and Zhi Quan Zhou and Tsong Yueh Chen}, title = {Metamorphic Testing: Testing the Untestable}, journal = {{IEEE} Softw.}, volume = {37}, number = {3}, pages = {46--53}, year = {2020}, url = {https://doi.org/10.1109/MS.2018.2875968}, doi = {10.1109/MS.2018.2875968}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/SeguraTZC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/HieronsLLPSY20, author = {Robert M. Hierons and Miqing Li and Xiaohui Liu and Jos{\'{e}} Antonio Parejo and Sergio Segura and Xin Yao}, title = {Many-Objective Test Suite Generation for Software Product Lines}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {29}, number = {1}, pages = {2:1--2:46}, year = {2020}, url = {https://doi.org/10.1145/3361146}, doi = {10.1145/3361146}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/HieronsLLPSY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/Martin-LopezSR20, author = {Alberto Martin{-}Lopez and Sergio Segura and Antonio Ruiz{-}Cort{\'{e}}s}, editor = {Eleanna Kafeza and Boualem Benatallah and Fabio Martinelli and Hakim Hacid and Athman Bouguettaya and Hamid Motahari}, title = {RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs}, booktitle = {Service-Oriented Computing - 18th International Conference, {ICSOC} 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12571}, pages = {459--475}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-65310-1\_33}, doi = {10.1007/978-3-030-65310-1\_33}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsoc/Martin-LopezSR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/AyerdiSAAA20, author = {Jon Ayerdi and Sergio Segura and Aitor Arrieta and Goiuria Sagardui and Maite Arratibel}, editor = {Marco Vieira and Henrique Madeira and Nuno Antunes and Zheng Zheng}, title = {QoS-aware Metamorphic Testing: An Elevation Case Study}, booktitle = {31st {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2020, Coimbra, Portugal, October 12-15, 2020}, pages = {104--114}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ISSRE5003.2020.00019}, doi = {10.1109/ISSRE5003.2020.00019}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issre/AyerdiSAAA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-03320, author = {Alberto Martin{-}Lopez and Sergio Segura and Carlos M{\"{u}}ller and Antonio Ruiz{-}Cort{\'{e}}s}, title = {Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs}, journal = {CoRR}, volume = {abs/2005.03320}, year = {2020}, url = {https://arxiv.org/abs/2005.03320}, eprinttype = {arXiv}, eprint = {2005.03320}, timestamp = {Sat, 09 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-03320.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/SeguraTZC19, author = {Sergio Segura and Dave Towey and Zhi Quan Zhou and Tsong Yueh Chen}, editor = {Vladimir Getov and Jean{-}Luc Gaudiot and Nariyoshi Yamai and Stelvio Cimato and J. Morris Chang and Yuuichi Teranishi and Ji{-}Jiang Yang and Hong Va Leong and Hossain Shahriar and Michiharu Takemoto and Dave Towey and Hiroki Takakura and Atilla El{\c{c}}i and Susumu Takeuchi and Satish Puri}, title = {An Extended Abstract of "Metamorphic Testing: Testing the Untestable"}, booktitle = {43rd {IEEE} Annual Computer Software and Applications Conference, {COMPSAC} 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 1}, pages = {209--210}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/COMPSAC.2019.00037}, doi = {10.1109/COMPSAC.2019.00037}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/SeguraTZC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/SeguraDTR19, author = {Sergio Segura and Amador Dur{\'{a}}n and Javier Troya and Antonio Ruiz{-}Cort{\'{e}}s}, editor = {Xiaoyuan Xie and Pak{-}Lok Poon and Laura L. Pullum}, title = {Metamorphic relation patterns for query-based systems}, booktitle = {Proceedings of the 4th International Workshop on Metamorphic Testing, MET@ICSE 2019, Montreal, QC, Canada, May 26, 2019}, pages = {24--31}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://doi.org/10.1109/MET.2019.00012}, doi = {10.1109/MET.2019.00012}, timestamp = {Tue, 18 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/SeguraDTR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/Martin-LopezSR19, author = {Alberto Martin{-}Lopez and Sergio Segura and Antonio Ruiz{-}Cort{\'{e}}s}, editor = {Sami Yangui and Ismael Bouassida Rodriguez and Khalil Drira and Zahir Tari}, title = {A Catalogue of Inter-parameter Dependencies in RESTful Web APIs}, booktitle = {Service-Oriented Computing - 17th International Conference, {ICSOC} 2019, Toulouse, France, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11895}, pages = {399--414}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-33702-5\_31}, doi = {10.1007/978-3-030-33702-5\_31}, timestamp = {Sun, 02 Oct 2022 16:06:38 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/Martin-LopezSR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/Delgado-PerezS19, author = {Pedro Delgado{-}P{\'{e}}rez and Sergio Segura}, editor = {Chih{-}Cheng Hung and George A. Papadopoulos}, title = {Study of trivial compiler equivalence on {C++} object-oriented mutation operators}, booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing, {SAC} 2019, Limassol, Cyprus, April 8-12, 2019}, pages = {2224--2230}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3297280.3297499}, doi = {10.1145/3297280.3297499}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/Delgado-PerezS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/Martin-LopezSR19, author = {Alberto Martin{-}Lopez and Sergio Segura and Antonio Ruiz{-}Cort{\'{e}}s}, editor = {Tanja E. J. Vos and Wishnu Prasetya and Sinem Getir}, title = {Test coverage criteria for RESTful web APIs}, booktitle = {Proceedings of the 10th {ACM} {SIGSOFT} International Workshop on Automating {TEST} Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT {FSE} 2019, Tallinn, Estonia, August 16-17, 2019}, pages = {15--21}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3340433.3342822}, doi = {10.1145/3340433.3342822}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/Martin-LopezSR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/ArrietaSMSE19, author = {Aitor Arrieta and Sergio Segura and Urtzi Markiegi and Goiuria Sagardui and Leire Etxeberria}, editor = {Thorsten Berger and Philippe Collet and Laurence Duchien and Thomas Fogdal and Patrick Heymans and Timo Kehrer and Jabier Martinez and Ra{\'{u}}l Mazo and Leticia Montalvillo and Camille Salinesi and Xhevahire T{\"{e}}rnava and Thomas Th{\"{u}}m and Tewfik Ziadi}, title = {Extended abstract of "spectrum-based fault localization in software product lines"}, booktitle = {Proceedings of the 23rd International Systems and Software Product Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13, 2019}, pages = {3:1}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3336294.3342369}, doi = {10.1145/3336294.3342369}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/splc/ArrietaSMSE19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/SeguraTDC18, author = {Sergio Segura and Javier Troya and Amador Dur{\'{a}}n and Antonio Ruiz Cort{\'{e}}s}, title = {Performance metamorphic testing: {A} Proof of concept}, journal = {Inf. Softw. Technol.}, volume = {98}, pages = {1--4}, year = {2018}, url = {https://doi.org/10.1016/j.infsof.2018.01.013}, doi = {10.1016/J.INFSOF.2018.01.013}, timestamp = {Tue, 18 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/SeguraTDC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/ArrietaSMSE18, author = {Aitor Arrieta and Sergio Segura and Urtzi Markiegi and Goiuria Sagardui and Leire Etxeberria}, title = {Spectrum-based fault localization in software product lines}, journal = {Inf. Softw. Technol.}, volume = {100}, pages = {18--31}, year = {2018}, url = {https://doi.org/10.1016/j.infsof.2018.03.008}, doi = {10.1016/J.INFSOF.2018.03.008}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/ArrietaSMSE18.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/jss/TroyaSC18, author = {Javier Troya and Sergio Segura and Antonio Ruiz Cort{\'{e}}s}, title = {Automated inference of likely metamorphic relations for model transformations}, journal = {J. Syst. Softw.}, volume = {136}, pages = {188--208}, year = {2018}, url = {https://doi.org/10.1016/j.jss.2017.05.043}, doi = {10.1016/J.JSS.2017.05.043}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/TroyaSC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/TroyaSPC18, author = {Javier Troya and Sergio Segura and Jos{\'{e}} Antonio Parejo and Antonio Ruiz Cort{\'{e}}s}, title = {Spectrum-Based Fault Localization in Model Transformations}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {27}, number = {3}, pages = {13:1--13:50}, year = {2018}, url = {https://doi.org/10.1145/3241744}, doi = {10.1145/3241744}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/TroyaSPC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/SeguraPTC18, author = {Sergio Segura and Jos{\'{e}} Antonio Parejo and Javier Troya and Antonio Ruiz Cort{\'{e}}s}, title = {Metamorphic Testing of RESTful Web APIs}, journal = {{IEEE} Trans. Software Eng.}, volume = {44}, number = {11}, pages = {1083--1099}, year = {2018}, url = {https://doi.org/10.1109/TSE.2017.2764464}, doi = {10.1109/TSE.2017.2764464}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/SeguraPTC18.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 = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gecco/SanchezDMS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Segura18, author = {Sergio Segura}, editor = {Xiaoyuan Xie and Laura L. Pullum and Pak{-}Lok Poon}, title = {Metamorphic Testing: Challenges Ahead}, booktitle = {3rd {IEEE/ACM} International Workshop on Metamorphic Testing, {MET} 2018, Gothenburg, Sweden, May 27, 2018}, pages = {1}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3193977.3193986}, doi = {10.1145/3193977.3193986}, timestamp = {Wed, 01 Jun 2022 14:15:16 +0200}, biburl = {https://dblp.org/rec/conf/icse/Segura18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/SeguraZ18, author = {Sergio Segura and Zhi Quan Zhou}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, title = {Metamorphic testing 20 years later: a hands-on introduction}, booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, pages = {538--539}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3183440.3183468}, doi = {10.1145/3183440.3183468}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/SeguraZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/SeguraPTC18, author = {Sergio Segura and Jos{\'{e}} Antonio Parejo and Javier Troya and Antonio Ruiz Cort{\'{e}}s}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, title = {Metamorphic testing of RESTful web APIs}, booktitle = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, pages = {882}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3180155.3182528}, doi = {10.1145/3180155.3182528}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/SeguraPTC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-11121, author = {Javier Troya and Sergio Segura and Antonio Ruiz Cort{\'{e}}s}, title = {Towards the Automation of Metamorphic Testing in Model Transformations}, journal = {CoRR}, volume = {abs/1804.11121}, year = {2018}, url = {http://arxiv.org/abs/1804.11121}, eprinttype = {arXiv}, eprint = {1804.11121}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-11121.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/RamirezPRSC17, author = {Aurora Ram{\'{\i}}rez and Jos{\'{e}} Antonio Parejo and Jos{\'{e}} Ra{\'{u}}l Romero and Sergio Segura and Antonio Ruiz Cort{\'{e}}s}, title = {Evolutionary composition of QoS-aware web services: {A} many-objective perspective}, journal = {Expert Syst. Appl.}, volume = {72}, pages = {357--370}, year = {2017}, url = {https://doi.org/10.1016/j.eswa.2016.10.047}, doi = {10.1016/J.ESWA.2016.10.047}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eswa/RamirezPRSC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/SanchezSPC17, author = {Ana Bel{\'{e}}n S{\'{a}}nchez and Sergio Segura and Jos{\'{e}} Antonio Parejo and Antonio Ruiz Cort{\'{e}}s}, title = {Variability testing in the wild: the Drupal case study}, journal = {Softw. Syst. Model.}, volume = {16}, number = {1}, pages = {173--194}, year = {2017}, url = {https://doi.org/10.1007/s10270-015-0459-z}, doi = {10.1007/S10270-015-0459-Z}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/SanchezSPC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/DuranBSTC17, author = {Amador Dur{\'{a}}n and David Benavides and Sergio Segura and Pablo Trinidad and Antonio Ruiz Cort{\'{e}}s}, title = {{FLAME:} a formal framework for the automated analysis of software product lines validated by automated specification testing}, journal = {Softw. Syst. Model.}, volume = {16}, number = {4}, pages = {1049--1082}, year = {2017}, url = {https://doi.org/10.1007/s10270-015-0503-z}, doi = {10.1007/S10270-015-0503-Z}, timestamp = {Tue, 18 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/DuranBSTC17.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/icse/SeguraDTC17, author = {Sergio Segura and Amador Dur{\'{a}}n and Javier Troya and Antonio Ruiz Cort{\'{e}}s}, title = {A Template-Based Approach to Describing Metamorphic Relations}, booktitle = {2nd {IEEE/ACM} International Workshop on Metamorphic Testing, MET@ICSE 2017, Buenos Aires, Argentina, May 22, 2017}, pages = {3--9}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/MET.2017.3}, doi = {10.1109/MET.2017.3}, timestamp = {Tue, 18 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/SeguraDTC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/SeguraTTC17, author = {Sergio Segura and Javier Troya and Amador Dur{\'{a}}n Toro and Antonio Ruiz Cort{\'{e}}s}, title = {Performance Metamorphic Testing: Motivation and Challenges}, booktitle = {39th {IEEE/ACM} International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, {ICSE-NIER} 2017, Buenos Aires, Argentina, May 20-28, 2017}, pages = {7--10}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICSE-NIER.2017.16}, doi = {10.1109/ICSE-NIER.2017.16}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/SeguraTTC17.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/splc/SanchezS17, author = {Ana Bel{\'{e}}n S{\'{a}}nchez and Sergio Segura}, editor = {Maurice H. ter Beek and Walter Cazzola and Oscar D{\'{\i}}az and Marcello La Rosa and Roberto E. Lopez{-}Herrejon and Thomas Th{\"{u}}m and Javier Troya and Antonio Ruiz Cort{\'{e}}s and David Benavides}, title = {SmarTest: {A} Test Case Prioritization Tool for Drupal}, booktitle = {Proceedings of the 21st International Systems and Software Product Line Conference, {SPLC} 2017, Volume B, Sevilla, Spain, September 25-29, 2017}, pages = {9--12}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3109729.3109757}, doi = {10.1145/3109729.3109757}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/splc/SanchezS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/TroyaTS17, author = {Javier Troya and Juha{-}Pekka Tolvanen and Sergio Segura}, editor = {Myra B. Cohen and Mathieu Acher and Lidia Fuentes and Daniel Schall and Jan Bosch and Rafael Capilla and Ebrahim Bagheri and Yingfei Xiong and Javier Troya and Antonio Ruiz Cort{\'{e}}s and David Benavides}, title = {Domain-Specific Languages and Model Transformations for Software Product Line}, booktitle = {Proceedings of the 21st International Systems and Software Product Line Conference, {SPLC} 2017, Volume A, Sevilla, Spain, September 25-29, 2017}, pages = {254}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3106195.3106227}, doi = {10.1145/3106195.3106227}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/splc/TroyaTS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/ParejoSSCLE16, author = {Jos{\'{e}} Antonio Parejo and Ana Bel{\'{e}}n S{\'{a}}nchez and Sergio Segura and Antonio Ruiz Cort{\'{e}}s and Roberto E. Lopez{-}Herrejon and Alexander Egyed}, title = {Multi-objective test case prioritization in highly configurable systems: {A} case study}, journal = {J. Syst. Softw.}, volume = {122}, pages = {287--310}, year = {2016}, url = {https://doi.org/10.1016/j.jss.2016.09.045}, doi = {10.1016/J.JSS.2016.09.045}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/ParejoSSCLE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/HieronsLLSZ16, author = {Robert M. Hierons and Miqing Li and Xiaohui Liu and Sergio Segura and Wei Zheng}, title = {{SIP:} Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {25}, number = {2}, pages = {17:1--17:39}, year = {2016}, url = {https://doi.org/10.1145/2897760}, doi = {10.1145/2897760}, timestamp = {Wed, 20 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/HieronsLLSZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/SeguraFSC16, author = {Sergio Segura and Gordon Fraser and Ana Bel{\'{e}}n S{\'{a}}nchez and Antonio Ruiz Cort{\'{e}}s}, title = {A Survey on Metamorphic Testing}, journal = {{IEEE} Trans. Software Eng.}, volume = {42}, number = {9}, pages = {805--824}, year = {2016}, url = {https://doi.org/10.1109/TSE.2016.2532875}, doi = {10.1109/TSE.2016.2532875}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/SeguraFSC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/Lopez-HerrejonL15, author = {Roberto Erick Lopez{-}Herrejon and Lukas Linsbauer and Jos{\'{e}} Angel Galindo and Jos{\'{e}} Antonio Parejo and David Benavides and Sergio Segura and Alexander Egyed}, title = {An assessment of search-based techniques for reverse engineering feature models}, journal = {J. Syst. Softw.}, volume = {103}, pages = {353--369}, year = {2015}, url = {https://doi.org/10.1016/j.jss.2014.10.037}, doi = {10.1016/J.JSS.2014.10.037}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/Lopez-HerrejonL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/SeguraDSBLC15, author = {Sergio Segura and Amador Dur{\'{a}}n and Ana Bel{\'{e}}n S{\'{a}}nchez and Daniel Le Berre and Emmanuel Lonca and Antonio Ruiz Cort{\'{e}}s}, title = {Automated metamorphic testing of variability analysis tools}, journal = {Softw. Test. Verification Reliab.}, volume = {25}, number = {2}, pages = {138--163}, year = {2015}, url = {https://doi.org/10.1002/stvr.1566}, doi = {10.1002/STVR.1566}, timestamp = {Tue, 18 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/SeguraDSBLC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/SeguraPHBC14, author = {Sergio Segura and Jos{\'{e}} Antonio Parejo and Robert M. Hierons and David Benavides and Antonio Ruiz Cort{\'{e}}s}, title = {Automated generation of computationally hard feature models using evolutionary algorithms}, journal = {Expert Syst. Appl.}, volume = {41}, number = {8}, pages = {3975--3992}, year = {2014}, url = {https://doi.org/10.1016/j.eswa.2013.12.028}, doi = {10.1016/J.ESWA.2013.12.028}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eswa/SeguraPHBC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/ParejoSFC14, author = {Jos{\'{e}} Antonio Parejo and Sergio Segura and Pablo Fernandez and Antonio Ruiz Cort{\'{e}}s}, title = {QoS-aware web services composition using {GRASP} with Path Relinking}, journal = {Expert Syst. Appl.}, volume = {41}, number = {9}, pages = {4211--4223}, year = {2014}, url = {https://doi.org/10.1016/j.eswa.2013.12.036}, doi = {10.1016/J.ESWA.2013.12.036}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eswa/ParejoSFC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/SanchezSC14, author = {Ana Bel{\'{e}}n S{\'{a}}nchez and Sergio Segura and Antonio Ruiz Cort{\'{e}}s}, title = {A Comparison of Test Case Prioritization Criteria for Software Product Lines}, booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}}, pages = {41--50}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ICST.2014.15}, doi = {10.1109/ICST.2014.15}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/SanchezSC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/SeguraSC14, author = {Sergio Segura and Ana Bel{\'{e}}n S{\'{a}}nchez and Antonio Ruiz Cort{\'{e}}s}, editor = {Ivica Crnkovic and Marsha Chechik and Paul Gr{\"{u}}nbacher}, title = {Automated variability analysis and testing of an E-commerce site.: an experience report}, booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014}, pages = {139--150}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2642937.2642939}, doi = {10.1145/2642937.2642939}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/SeguraSC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/ParejoSFC14, author = {Jos{\'{e}} Antonio Parejo and Sergio Segura and Pablo Fernandez and Antonio Ruiz Cort{\'{e}}s}, editor = {Richard F. Paige and Marouane Kessentini and Philip Langer and Manuel Wimmer}, title = {{EXEMPLAR:} an Experimental Information Repository for {SBSE} Research}, booktitle = {Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain, September 28, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1340}, pages = {35--41}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1340/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:21 +0100}, biburl = {https://dblp.org/rec/conf/models/ParejoSFC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vamos/SanchezSC14, author = {Ana Bel{\'{e}}n S{\'{a}}nchez and Sergio Segura and Antonio Ruiz Cort{\'{e}}s}, editor = {Philippe Collet and Andrzej Wasowski and Thorsten Weyer}, title = {The Drupal framework: a case study to evaluate variability testing techniques}, booktitle = {The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014}, pages = {11:1--11:8}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2556624.2556638}, doi = {10.1145/2556624.2556638}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vamos/SanchezSC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/variability13/BenavidesTCS13, author = {David Benavides and Pablo Trinidad and Antonio Ruiz Cort{\'{e}}s and Sergio Segura}, editor = {Rafael Capilla and Jan Bosch and Kyo Chul Kang}, title = {FaMa}, booktitle = {Systems and Software Variability Management - Concepts, Tools and Experiences}, pages = {163--171}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36583-6\_11}, doi = {10.1007/978-3-642-36583-6\_11}, timestamp = {Sun, 02 Oct 2022 15:53:09 +0200}, biburl = {https://dblp.org/rec/books/sp/variability13/BenavidesTCS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssbse/Lopez-HerrejonGBSE12, author = {Roberto Erick Lopez{-}Herrejon and Jos{\'{e}} Angel Galindo and David Benavides and Sergio Segura and Alexander Egyed}, editor = {Gordon Fraser and Jerffeson Teixeira de Souza}, title = {Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study}, booktitle = {Search Based Software Engineering - 4th International Symposium, {SSBSE} 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7515}, pages = {168--182}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33119-0\_13}, doi = {10.1007/978-3-642-33119-0\_13}, timestamp = {Mon, 23 Nov 2020 12:33:05 +0100}, biburl = {https://dblp.org/rec/conf/ssbse/Lopez-HerrejonGBSE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vamos/SeguraGBPC12, author = {Sergio Segura and Jos{\'{e}} Angel Galindo and David Benavides and Jos{\'{e}} Antonio Parejo and Antonio Ruiz Cort{\'{e}}s}, editor = {Ulrich W. Eisenecker and Sven Apel and Stefania Gnesi}, title = {BeTTy: benchmarking and testing on the automated analysis of feature models}, booktitle = {Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings}, pages = {63--71}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2110147.2110155}, doi = {10.1145/2110147.2110155}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vamos/SeguraGBPC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/SeguraBC11, author = {Sergio Segura and David Benavides and Antonio Ruiz Cort{\'{e}}s}, title = {Functional testing of feature model analysis tools: a test suite}, journal = {{IET} Softw.}, volume = {5}, number = {1}, pages = {70--82}, year = {2011}, url = {https://doi.org/10.1049/iet-sen.2009.0096}, doi = {10.1049/IET-SEN.2009.0096}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iee/SeguraBC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/SeguraHBC11, author = {Sergio Segura and Robert M. Hierons and David Benavides and Antonio Ruiz Cort{\'{e}}s}, title = {Automated metamorphic testing on the analyses of feature models}, journal = {Inf. Softw. Technol.}, volume = {53}, number = {3}, pages = {245--258}, year = {2011}, url = {https://doi.org/10.1016/j.infsof.2010.11.002}, doi = {10.1016/J.INFSOF.2010.11.002}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/SeguraHBC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/SeguraHBC11a, author = {Sergio Segura and Robert M. Hierons and David Benavides and Antonio Ruiz Cort{\'{e}}s}, title = {Mutation testing on an object-oriented framework: An experience report}, journal = {Inf. Softw. Technol.}, volume = {53}, number = {10}, pages = {1124--1136}, year = {2011}, url = {https://doi.org/10.1016/j.infsof.2011.03.006}, doi = {10.1016/J.INFSOF.2011.03.006}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/SeguraHBC11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/BenavidesSC10, author = {David Benavides and Sergio Segura and Antonio Ruiz Cort{\'{e}}s}, title = {Automated analysis of feature models 20 years later: {A} literature review}, journal = {Inf. Syst.}, volume = {35}, number = {6}, pages = {615--636}, year = {2010}, url = {https://doi.org/10.1016/j.is.2010.01.001}, doi = {10.1016/J.IS.2010.01.001}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/is/BenavidesSC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acota/GalindoBS10, author = {Jos{\'{e}} Angel Galindo and David Benavides and Sergio Segura}, editor = {Deepak Dhungana and Rick Rabiser and Norbert Seyff and Goetz Botterweck}, title = {Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis}, booktitle = {Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, Antwerp, Belgium, September 20, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {688}, pages = {29--34}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-688/acota2010\_paper5\_galindo.pdf}, timestamp = {Mon, 26 Jun 2023 20:49:09 +0200}, biburl = {https://dblp.org/rec/conf/acota/GalindoBS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/SeguraHBR10, author = {Sergio Segura and Robert M. Hierons and David Benavides and Antonio Ruiz Cort{\'{e}}s}, title = {Automated Test Data Generation on the Analyses of Feature Models: {A} Metamorphic Testing Approach}, booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010}, pages = {35--44}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ICST.2010.20}, doi = {10.1109/ICST.2010.20}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/SeguraHBR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vamos/SeguraC09, author = {Sergio Segura and Antonio Ruiz Cort{\'{e}}s}, editor = {David Benavides and Andreas Metzger and Ulrich W. Eisenecker}, title = {Benchmarking on the Automated Analyses of Feature Models: {A} Preliminary Roadmap}, booktitle = {Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings}, series = {{ICB} Research Report}, volume = {29}, pages = {137--143}, publisher = {Universit{\"{a}}t Duisburg-Essen}, year = {2009}, url = {http://www.vamos-workshop.net/proceedings/VaMoS\_2009\_Proceedings.pdf}, timestamp = {Wed, 28 Oct 2020 08:39:42 +0100}, biburl = {https://dblp.org/rec/conf/vamos/SeguraC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/SeguraBC08, author = {Sergio Segura and David Benavides and Antonio Ruiz Cort{\'{e}}s}, editor = {Steffen Thiel and Klaus Pohl}, title = {Functional Testing of Feature Model Analysis Tools. {A} First Step}, booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops)}, pages = {179}, publisher = {Lero Int. Science Centre, University of Limerick, Ireland}, year = {2008}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/splc/SeguraBC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/Segura08, author = {Sergio Segura}, editor = {Steffen Thiel and Klaus Pohl}, title = {Automated Analysis of Feature Models Using Atomic Sets}, booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops)}, pages = {201--207}, publisher = {Lero Int. Science Centre, University of Limerick, Ireland}, year = {2008}, timestamp = {Tue, 10 Mar 2009 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/splc/Segura08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/Roos-FrantzS08, author = {Fabricia Roos{-}Frantz and Sergio Segura}, editor = {Steffen Thiel and Klaus Pohl}, title = {Automated Analysis of Orthogonal Variability Models. {A} First Step}, booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops)}, pages = {243--248}, publisher = {Lero Int. Science Centre, University of Limerick, Ireland}, year = {2008}, timestamp = {Tue, 10 Mar 2009 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/splc/Roos-FrantzS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/TrinidadCBS08, author = {Pablo Trinidad and Antonio Ruiz Cort{\'{e}}s and David Benavides and Sergio Segura}, editor = {Steffen Thiel and Klaus Pohl}, title = {Three-Dimensional Feature Diagrams Visualization}, booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops)}, pages = {295--302}, publisher = {Lero Int. Science Centre, University of Limerick, Ireland}, year = {2008}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/splc/TrinidadCBS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/splc/TrinidadBCSJ08, author = {Pablo Trinidad and David Benavides and Antonio Ruiz Cort{\'{e}}s and Sergio Segura and Alberto Jimenez}, title = {{FAMA} Framework}, booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008, Limerick, Ireland, September 8-12, 2008, Proceedings}, pages = {359}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SPLC.2008.50}, doi = {10.1109/SPLC.2008.50}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/splc/TrinidadBCSJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gttse/SeguraBCT07, author = {Sergio Segura and David Benavides and Antonio Ruiz Cort{\'{e}}s and Pablo Trinidad}, editor = {Ralf L{\"{a}}mmel and Joost Visser and Jo{\~{a}}o Saraiva}, title = {Automated Merging of Feature Models Using Graph Transformations}, booktitle = {Generative and Transformational Techniques in Software Engineering II, International Summer School, {GTTSE} 2007, Braga, Portugal, July 2-7, 2007. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {5235}, pages = {489--505}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-88643-3\_15}, doi = {10.1007/978-3-540-88643-3\_15}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gttse/SeguraBCT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jisbd/TrinidadBSC07, author = {Pablo Trinidad and David Benavides and Sergio Segura and Antonio Ruiz Cort{\'{e}}s}, editor = {Xavier Franch}, title = {{FAMA:} hacia el an{\'{a}}lisis autom{\'{a}}tico de modelos de caracter{\'{\i}}sticas}, booktitle = {{XII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos {(JISBD} 2007), Zaragoza, Spain, September 11-14, 2007. Actas}, pages = {417--418}, publisher = {Thomson Editorial}, year = {2007}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jisbd/TrinidadBSC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vamos/BenavidesSTC07, author = {David Benavides and Sergio Segura and Pablo Trinidad and Antonio Ruiz Cort{\'{e}}s}, editor = {Klaus Pohl and Patrick Heymans and Kyo Chul Kang and Andreas Metzger}, title = {{FAMA:} Tooling a Framework for the Automated Analysis of Feature Models}, booktitle = {First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings}, series = {Lero Technical Report}, volume = {2007-01}, pages = {129--134}, year = {2007}, url = {http://www.vamos-workshop.net/proceedings/VaMoS\_2007\_Proceedings.pdf}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vamos/BenavidesSTC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jisbd/BenavidesCTS06, author = {David Benavides and Antonio Ruiz Cort{\'{e}}s and Pablo Trinidad and Sergio Segura}, editor = {Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and Pere Botella}, title = {A Survey on the Automated Analyses of Feature Models}, booktitle = {{XI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos {(JISBD} 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain}, pages = {367--376}, year = {2006}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jisbd/BenavidesCTS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gttse/BenavidesSMC06, author = {David Benavides and Sergio Segura and Pablo Trinidad Mart{\'{\i}}n{-}Arroyo and Antonio Ruiz Cort{\'{e}}s}, editor = {Ralf L{\"{a}}mmel and Jo{\~{a}}o Saraiva and Joost Visser}, title = {Using Java {CSP} Solvers in the Automated Analyses of Feature Models}, booktitle = {Generative and Transformational Techniques in Software Engineering, International Summer School, {GTTSE} 2005, Braga, Portugal, July 4-8, 2005. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {4143}, pages = {399--408}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11877028\_16}, doi = {10.1007/11877028\_16}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gttse/BenavidesSMC06.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.