BibTeX records: Sergio Segura

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics