var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://dblp.org/pid/203/0017.bib\",\"jsonp\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Sukyoung\"],\"propositions\":[],\"lastnames\":[\"Ryu\"],\"suffixes\":[]},{\"firstnames\":[\"Yannis\"],\"propositions\":[],\"lastnames\":[\"Smaragdakis\"],\"suffixes\":[]}],\"title\":\"ATR: template-based repair for Alloy specifications\",\"booktitle\":\"ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022\",\"pages\":\"666–677\",\"publisher\":\"ACM\",\"year\":\"2022\",\"url\":\"https://doi.org/10.1145/3533767.3534369\",\"doi\":\"10.1145/3533767.3534369\",\"timestamp\":\"Tue, 26 Jul 2022 16:24:43 +0200\",\"biburl\":\"https://dblp.org/rec/conf/issta/ZhengNBRAFB22.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/issta/ZhengNBRAFB22,\\n  author       = {Guolong Zheng and\\n                  ThanhVu Nguyen and\\n                  Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Nazareno Aguirre and\\n                  Marcelo F. Frias and\\n                  Hamid Bagheri},\\n  editor       = {Sukyoung Ryu and\\n                  Yannis Smaragdakis},\\n  title        = {{ATR:} template-based repair for Alloy specifications},\\n  booktitle    = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software\\n                  Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},\\n  pages        = {666--677},\\n  publisher    = {{ACM}},\\n  year         = {2022},\\n  url          = {https://doi.org/10.1145/3533767.3534369},\\n  doi          = {10.1145/3533767.3534369},\\n  timestamp    = {Tue, 26 Jul 2022 16:24:43 +0200},\\n  biburl       = {https://dblp.org/rec/conf/issta/ZhengNBRAFB22.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Zheng, G.\",\"Nguyen, T.\",\"Brida, S. G.\",\"Regis, G.\",\"Aguirre, N.\",\"Frias, M. F.\",\"Bagheri, H.\"],\"editor_short\":[\"Ryu, S.\",\"Smaragdakis, Y.\"],\"key\":\"DBLP:conf/issta/ZhengNBRAFB22\",\"id\":\"DBLP:conf/issta/ZhengNBRAFB22\",\"bibbaseid\":\"zheng-nguyen-brida-regis-aguirre-frias-bagheri-atrtemplatebasedrepairforalloyspecifications-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/3533767.3534369\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":2,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]}],\"title\":\"ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications\",\"booktitle\":\"37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022\",\"pages\":\"55:1–55:13\",\"publisher\":\"ACM\",\"year\":\"2022\",\"url\":\"https://doi.org/10.1145/3551349.3556944\",\"doi\":\"10.1145/3551349.3556944\",\"timestamp\":\"Sun, 15 Jan 2023 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/conf/kbse/BridaRZBNAF22.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/kbse/BridaRZBNAF22,\\n  author       = {Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Guolong Zheng and\\n                  Hamid Bagheri and\\n                  ThanhVu Nguyen and\\n                  Nazareno Aguirre and\\n                  Marcelo F. Frias},\\n  title        = {{ICEBAR:} Feedback-Driven Iterative Repair of Alloy Specifications},\\n  booktitle    = {37th {IEEE/ACM} International Conference on Automated Software Engineering,\\n                  {ASE} 2022, Rochester, MI, USA, October 10-14, 2022},\\n  pages        = {55:1--55:13},\\n  publisher    = {{ACM}},\\n  year         = {2022},\\n  url          = {https://doi.org/10.1145/3551349.3556944},\\n  doi          = {10.1145/3551349.3556944},\\n  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/conf/kbse/BridaRZBNAF22.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Brida, S. G.\",\"Regis, G.\",\"Zheng, G.\",\"Bagheri, H.\",\"Nguyen, T.\",\"Aguirre, N.\",\"Frias, M. F.\"],\"key\":\"DBLP:conf/kbse/BridaRZBNAF22\",\"id\":\"DBLP:conf/kbse/BridaRZBNAF22\",\"bibbaseid\":\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-icebarfeedbackdriveniterativerepairofalloyspecifications-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/3551349.3556944\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]}],\"title\":\"Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'\",\"booktitle\":\"43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021\",\"pages\":\"179–180\",\"publisher\":\"IEEE\",\"year\":\"2021\",\"url\":\"https://doi.org/10.1109/ICSE-Companion52605.2021.00077\",\"doi\":\"10.1109/ICSE-COMPANION52605.2021.00077\",\"timestamp\":\"Mon, 28 Jun 2021 13:24:52 +0200\",\"biburl\":\"https://dblp.org/rec/conf/icse/ZhengNBRFAB21a.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/icse/ZhengNBRFAB21a,\\n  author       = {Guolong Zheng and\\n                  ThanhVu Nguyen and\\n                  Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Marcelo F. Frias and\\n                  Nazareno Aguirre and\\n                  Hamid Bagheri},\\n  title        = {Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy\\n                  Models'},\\n  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering:\\n                  Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,\\n                  2021},\\n  pages        = {179--180},\\n  publisher    = {{IEEE}},\\n  year         = {2021},\\n  url          = {https://doi.org/10.1109/ICSE-Companion52605.2021.00077},\\n  doi          = {10.1109/ICSE-COMPANION52605.2021.00077},\\n  timestamp    = {Mon, 28 Jun 2021 13:24:52 +0200},\\n  biburl       = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21a.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Zheng, G.\",\"Nguyen, T.\",\"Brida, S. G.\",\"Regis, G.\",\"Frias, M. F.\",\"Aguirre, N.\",\"Bagheri, H.\"],\"key\":\"DBLP:conf/icse/ZhengNBRFAB21a\",\"id\":\"DBLP:conf/icse/ZhengNBRFAB21a\",\"bibbaseid\":\"zheng-nguyen-brida-regis-frias-aguirre-bagheri-artifactofflackcounterexampleguidedfaultlocalizationforalloymodels-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1109/ICSE-Companion52605.2021.00077\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]}],\"title\":\"Artifact of Bounded Exhaustive Search of Alloy Specification Repairs\",\"booktitle\":\"43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021\",\"pages\":\"209–210\",\"publisher\":\"IEEE\",\"year\":\"2021\",\"url\":\"https://doi.org/10.1109/ICSE-Companion52605.2021.00093\",\"doi\":\"10.1109/ICSE-COMPANION52605.2021.00093\",\"timestamp\":\"Mon, 28 Jun 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/icse/BridaRZBNAF21a.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/icse/BridaRZBNAF21a,\\n  author       = {Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Guolong Zheng and\\n                  Hamid Bagheri and\\n                  ThanhVu Nguyen and\\n                  Nazareno Aguirre and\\n                  Marcelo F. Frias},\\n  title        = {Artifact of Bounded Exhaustive Search of Alloy Specification Repairs},\\n  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering:\\n                  Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,\\n                  2021},\\n  pages        = {209--210},\\n  publisher    = {{IEEE}},\\n  year         = {2021},\\n  url          = {https://doi.org/10.1109/ICSE-Companion52605.2021.00093},\\n  doi          = {10.1109/ICSE-COMPANION52605.2021.00093},\\n  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/icse/BridaRZBNAF21a.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Brida, S. G.\",\"Regis, G.\",\"Zheng, G.\",\"Bagheri, H.\",\"Nguyen, T.\",\"Aguirre, N.\",\"Frias, M. F.\"],\"key\":\"DBLP:conf/icse/BridaRZBNAF21a\",\"id\":\"DBLP:conf/icse/BridaRZBNAF21a\",\"bibbaseid\":\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-artifactofboundedexhaustivesearchofalloyspecificationrepairs-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1109/ICSE-Companion52605.2021.00093\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]}],\"title\":\"FLACK: Counterexample-Guided Fault Localization for Alloy Models\",\"booktitle\":\"43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021\",\"pages\":\"637–648\",\"publisher\":\"IEEE\",\"year\":\"2021\",\"url\":\"https://doi.org/10.1109/ICSE43902.2021.00065\",\"doi\":\"10.1109/ICSE43902.2021.00065\",\"timestamp\":\"Mon, 03 Jan 2022 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/conf/icse/ZhengNBRFAB21.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/icse/ZhengNBRFAB21,\\n  author       = {Guolong Zheng and\\n                  ThanhVu Nguyen and\\n                  Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Marcelo F. Frias and\\n                  Nazareno Aguirre and\\n                  Hamid Bagheri},\\n  title        = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},\\n  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering,\\n                  {ICSE} 2021, Madrid, Spain, 22-30 May 2021},\\n  pages        = {637--648},\\n  publisher    = {{IEEE}},\\n  year         = {2021},\\n  url          = {https://doi.org/10.1109/ICSE43902.2021.00065},\\n  doi          = {10.1109/ICSE43902.2021.00065},\\n  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Zheng, G.\",\"Nguyen, T.\",\"Brida, S. G.\",\"Regis, G.\",\"Frias, M. F.\",\"Aguirre, N.\",\"Bagheri, H.\"],\"key\":\"DBLP:conf/icse/ZhengNBRFAB21\",\"id\":\"DBLP:conf/icse/ZhengNBRFAB21\",\"bibbaseid\":\"zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1109/ICSE43902.2021.00065\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]}],\"title\":\"Bounded Exhaustive Search of Alloy Specification Repairs\",\"booktitle\":\"43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021\",\"pages\":\"1135–1147\",\"publisher\":\"IEEE\",\"year\":\"2021\",\"url\":\"https://doi.org/10.1109/ICSE43902.2021.00105\",\"doi\":\"10.1109/ICSE43902.2021.00105\",\"timestamp\":\"Mon, 03 Jan 2022 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/conf/icse/BridaRZBNAF21.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/icse/BridaRZBNAF21,\\n  author       = {Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Guolong Zheng and\\n                  Hamid Bagheri and\\n                  ThanhVu Nguyen and\\n                  Nazareno Aguirre and\\n                  Marcelo F. Frias},\\n  title        = {Bounded Exhaustive Search of Alloy Specification Repairs},\\n  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering,\\n                  {ICSE} 2021, Madrid, Spain, 22-30 May 2021},\\n  pages        = {1135--1147},\\n  publisher    = {{IEEE}},\\n  year         = {2021},\\n  url          = {https://doi.org/10.1109/ICSE43902.2021.00105},\\n  doi          = {10.1109/ICSE43902.2021.00105},\\n  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/conf/icse/BridaRZBNAF21.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Brida, S. G.\",\"Regis, G.\",\"Zheng, G.\",\"Bagheri, H.\",\"Nguyen, T.\",\"Aguirre, N.\",\"Frias, M. F.\"],\"key\":\"DBLP:conf/icse/BridaRZBNAF21\",\"id\":\"DBLP:conf/icse/BridaRZBNAF21\",\"bibbaseid\":\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1109/ICSE43902.2021.00105\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]}],\"title\":\"BeAFix: An Automated Repair Tool for Faulty Alloy Models\",\"booktitle\":\"36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021\",\"pages\":\"1213–1217\",\"publisher\":\"IEEE\",\"year\":\"2021\",\"url\":\"https://doi.org/10.1109/ASE51524.2021.9678524\",\"doi\":\"10.1109/ASE51524.2021.9678524\",\"timestamp\":\"Mon, 24 Jan 2022 16:18:34 +0100\",\"biburl\":\"https://dblp.org/rec/conf/kbse/BridaRZBNAF21.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/kbse/BridaRZBNAF21,\\n  author       = {Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Guolong Zheng and\\n                  Hamid Bagheri and\\n                  ThanhVu Nguyen and\\n                  Nazareno Aguirre and\\n                  Marcelo F. Frias},\\n  title        = {BeAFix: An Automated Repair Tool for Faulty Alloy Models},\\n  booktitle    = {36th {IEEE/ACM} International Conference on Automated Software Engineering,\\n                  {ASE} 2021, Melbourne, Australia, November 15-19, 2021},\\n  pages        = {1213--1217},\\n  publisher    = {{IEEE}},\\n  year         = {2021},\\n  url          = {https://doi.org/10.1109/ASE51524.2021.9678524},\\n  doi          = {10.1109/ASE51524.2021.9678524},\\n  timestamp    = {Mon, 24 Jan 2022 16:18:34 +0100},\\n  biburl       = {https://dblp.org/rec/conf/kbse/BridaRZBNAF21.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Brida, S. G.\",\"Regis, G.\",\"Zheng, G.\",\"Bagheri, H.\",\"Nguyen, T.\",\"Aguirre, N.\",\"Frias, M. F.\"],\"key\":\"DBLP:conf/kbse/BridaRZBNAF21\",\"id\":\"DBLP:conf/kbse/BridaRZBNAF21\",\"bibbaseid\":\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-beafixanautomatedrepairtoolforfaultyalloymodels-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1109/ASE51524.2021.9678524\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]}],\"title\":\"FLACK: Localizing Faults in Alloy Models\",\"booktitle\":\"36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021\",\"pages\":\"1218–1222\",\"publisher\":\"IEEE\",\"year\":\"2021\",\"url\":\"https://doi.org/10.1109/ASE51524.2021.9678740\",\"doi\":\"10.1109/ASE51524.2021.9678740\",\"timestamp\":\"Mon, 24 Jan 2022 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/conf/kbse/ZhengNBRFAB21.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/kbse/ZhengNBRFAB21,\\n  author       = {Guolong Zheng and\\n                  ThanhVu Nguyen and\\n                  Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Marcelo F. Frias and\\n                  Nazareno Aguirre and\\n                  Hamid Bagheri},\\n  title        = {{FLACK:} Localizing Faults in Alloy Models},\\n  booktitle    = {36th {IEEE/ACM} International Conference on Automated Software Engineering,\\n                  {ASE} 2021, Melbourne, Australia, November 15-19, 2021},\\n  pages        = {1218--1222},\\n  publisher    = {{IEEE}},\\n  year         = {2021},\\n  url          = {https://doi.org/10.1109/ASE51524.2021.9678740},\\n  doi          = {10.1109/ASE51524.2021.9678740},\\n  timestamp    = {Mon, 24 Jan 2022 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/conf/kbse/ZhengNBRFAB21.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Zheng, G.\",\"Nguyen, T.\",\"Brida, S. G.\",\"Regis, G.\",\"Frias, M. F.\",\"Aguirre, N.\",\"Bagheri, H.\"],\"key\":\"DBLP:conf/kbse/ZhengNBRFAB21\",\"id\":\"DBLP:conf/kbse/ZhengNBRFAB21\",\"bibbaseid\":\"zheng-nguyen-brida-regis-frias-aguirre-bagheri-flacklocalizingfaultsinalloymodels-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1109/ASE51524.2021.9678740\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]}],\"title\":\"FLACK: Counterexample-Guided Fault Localization for Alloy Models\",\"journal\":\"CoRR\",\"volume\":\"abs/2102.10152\",\"year\":\"2021\",\"url\":\"https://arxiv.org/abs/2102.10152\",\"eprinttype\":\"arXiv\",\"eprint\":\"2102.10152\",\"timestamp\":\"Wed, 24 Feb 2021 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-2102-10152.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-2102-10152,\\n  author       = {Guolong Zheng and\\n                  ThanhVu Nguyen and\\n                  Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Marcelo F. Frias and\\n                  Nazareno Aguirre and\\n                  Hamid Bagheri},\\n  title        = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},\\n  journal      = {CoRR},\\n  volume       = {abs/2102.10152},\\n  year         = {2021},\\n  url          = {https://arxiv.org/abs/2102.10152},\\n  eprinttype    = {arXiv},\\n  eprint       = {2102.10152},\\n  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-10152.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Zheng, G.\",\"Nguyen, T.\",\"Brida, S. G.\",\"Regis, G.\",\"Frias, M. F.\",\"Aguirre, N.\",\"Bagheri, H.\"],\"key\":\"DBLP:journals/corr/abs-2102-10152\",\"id\":\"DBLP:journals/corr/abs-2102-10152\",\"bibbaseid\":\"zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2102.10152\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Guolong\"],\"propositions\":[],\"lastnames\":[\"Zheng\"],\"suffixes\":[]},{\"firstnames\":[\"Hamid\"],\"propositions\":[],\"lastnames\":[\"Bagheri\"],\"suffixes\":[]},{\"firstnames\":[\"ThanhVu\"],\"propositions\":[],\"lastnames\":[\"Nguyen\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]}],\"title\":\"Bounded Exhaustive Search of Alloy Specification Repairs\",\"journal\":\"CoRR\",\"volume\":\"abs/2103.00327\",\"year\":\"2021\",\"url\":\"https://arxiv.org/abs/2103.00327\",\"eprinttype\":\"arXiv\",\"eprint\":\"2103.00327\",\"timestamp\":\"Thu, 04 Mar 2021 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-2103-00327.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-2103-00327,\\n  author       = {Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Guolong Zheng and\\n                  Hamid Bagheri and\\n                  ThanhVu Nguyen and\\n                  Nazareno Aguirre and\\n                  Marcelo F. Frias},\\n  title        = {Bounded Exhaustive Search of Alloy Specification Repairs},\\n  journal      = {CoRR},\\n  volume       = {abs/2103.00327},\\n  year         = {2021},\\n  url          = {https://arxiv.org/abs/2103.00327},\\n  eprinttype    = {arXiv},\\n  eprint       = {2103.00327},\\n  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-00327.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Brida, S. G.\",\"Regis, G.\",\"Zheng, G.\",\"Bagheri, H.\",\"Nguyen, T.\",\"Aguirre, N.\",\"Frias, M. F.\"],\"key\":\"DBLP:journals/corr/abs-2103-00327\",\"id\":\"DBLP:journals/corr/abs-2103-00327\",\"bibbaseid\":\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2103.00327\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Luciano\"],\"propositions\":[],\"lastnames\":[\"Zemín\"],\"suffixes\":[]},{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Santiago\"],\"propositions\":[],\"lastnames\":[\"Bermúdez\"],\"suffixes\":[]},{\"firstnames\":[\"Santiago\",\"Perez\",\"De\"],\"propositions\":[],\"lastnames\":[\"Rosso\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Ali\"],\"propositions\":[],\"lastnames\":[\"Mili\"],\"suffixes\":[]},{\"firstnames\":[\"Ali\"],\"propositions\":[],\"lastnames\":[\"Jaoua\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]}],\"title\":\"Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT\",\"journal\":\"CoRR\",\"volume\":\"abs/1910.14011\",\"year\":\"2019\",\"url\":\"http://arxiv.org/abs/1910.14011\",\"eprinttype\":\"arXiv\",\"eprint\":\"1910.14011\",\"timestamp\":\"Wed, 31 Jan 2024 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-1910-14011.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-1910-14011,\\n  author       = {Luciano Zem{\\\\'{\\\\i}}n and\\n                  Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Santiago Berm{\\\\'{u}}dez and\\n                  Santiago Perez De Rosso and\\n                  Nazareno Aguirre and\\n                  Ali Mili and\\n                  Ali Jaoua and\\n                  Marcelo F. Frias},\\n  title        = {Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible\\n                  Mutants with {SAT}},\\n  journal      = {CoRR},\\n  volume       = {abs/1910.14011},\\n  year         = {2019},\\n  url          = {http://arxiv.org/abs/1910.14011},\\n  eprinttype    = {arXiv},\\n  eprint       = {1910.14011},\\n  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-14011.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Zemín, L.\",\"Brida, S. G.\",\"Bermúdez, S.\",\"Rosso, S. P. D.\",\"Aguirre, N.\",\"Mili, A.\",\"Jaoua, A.\",\"Frias, M. F.\"],\"key\":\"DBLP:journals/corr/abs-1910-14011\",\"id\":\"DBLP:journals/corr/abs-1910-14011\",\"bibbaseid\":\"zemn-brida-bermdez-rosso-aguirre-mili-jaoua-frias-strykerscalingspecificationbasedprogramrepairbypruninginfeasiblemutantswithsat-2019\",\"role\":\"author\",\"urls\":{\"Paper\":\"http://arxiv.org/abs/1910.14011\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Pablo\"],\"propositions\":[],\"lastnames\":[\"Ponzio\"],\"suffixes\":[]},{\"firstnames\":[\"Valeria\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Bengolea\"],\"suffixes\":[]},{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Gastón\"],\"propositions\":[],\"lastnames\":[\"Scilingo\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Juan\",\"Pablo\"],\"propositions\":[],\"lastnames\":[\"Galeotti\"],\"suffixes\":[]},{\"firstnames\":[\"Alessandra\"],\"propositions\":[],\"lastnames\":[\"Gorla\"],\"suffixes\":[]}],\"title\":\"On the effect of object redundancy elimination in randomly testing collection classes\",\"booktitle\":\"Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018\",\"pages\":\"67–70\",\"publisher\":\"ACM\",\"year\":\"2018\",\"url\":\"https://doi.org/10.1145/3194718.3194724\",\"doi\":\"10.1145/3194718.3194724\",\"timestamp\":\"Tue, 10 Aug 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/icse/PonzioBBSAF18.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/icse/PonzioBBSAF18,\\n  author       = {Pablo Ponzio and\\n                  Valeria S. Bengolea and\\n                  Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Gast{\\\\'{o}}n Scilingo and\\n                  Nazareno Aguirre and\\n                  Marcelo F. Frias},\\n  editor       = {Juan Pablo Galeotti and\\n                  Alessandra Gorla},\\n  title        = {On the effect of object redundancy elimination in randomly testing\\n                  collection classes},\\n  booktitle    = {Proceedings of the 11th International Workshop on Search-Based Software\\n                  Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},\\n  pages        = {67--70},\\n  publisher    = {{ACM}},\\n  year         = {2018},\\n  url          = {https://doi.org/10.1145/3194718.3194724},\\n  doi          = {10.1145/3194718.3194724},\\n  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/icse/PonzioBBSAF18.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Ponzio, P.\",\"Bengolea, V. S.\",\"Brida, S. G.\",\"Scilingo, G.\",\"Aguirre, N.\",\"Frias, M. F.\"],\"editor_short\":[\"Galeotti, J. P.\",\"Gorla, A.\"],\"key\":\"DBLP:conf/icse/PonzioBBSAF18\",\"id\":\"DBLP:conf/icse/PonzioBBSAF18\",\"bibbaseid\":\"ponzio-bengolea-brida-scilingo-aguirre-frias-ontheeffectofobjectredundancyeliminationinrandomlytestingcollectionclasses-2018\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/3194718.3194724\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Gastón\"],\"propositions\":[],\"lastnames\":[\"Scilingo\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Héctor\"],\"propositions\":[],\"lastnames\":[\"Monteverde\"],\"suffixes\":[]},{\"firstnames\":[\"Rodrigo\"],\"propositions\":[],\"lastnames\":[\"Santos\"],\"suffixes\":[]}],\"title\":\"Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions\",\"booktitle\":\"2017 XLIII Latin American Computer Conference, CLEI 2017, Córdoba, Argentina, September 4-8, 2017\",\"pages\":\"1–10\",\"publisher\":\"IEEE\",\"year\":\"2017\",\"url\":\"https://doi.org/10.1109/CLEI.2017.8226471\",\"doi\":\"10.1109/CLEI.2017.8226471\",\"timestamp\":\"Sat, 19 Oct 2019 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/clei/BridaS17.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/clei/BridaS17,\\n  author       = {Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Gast{\\\\'{o}}n Scilingo},\\n  editor       = {H{\\\\'{e}}ctor Monteverde and\\n                  Rodrigo Santos},\\n  title        = {Boolean expression extender - {A} mutation operator for strengthening\\n                  and weakening boolean expressions},\\n  booktitle    = {2017 {XLIII} Latin American Computer Conference, {CLEI} 2017, C{\\\\'{o}}rdoba,\\n                  Argentina, September 4-8, 2017},\\n  pages        = {1--10},\\n  publisher    = {{IEEE}},\\n  year         = {2017},\\n  url          = {https://doi.org/10.1109/CLEI.2017.8226471},\\n  doi          = {10.1109/CLEI.2017.8226471},\\n  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/clei/BridaS17.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Brida, S. G.\",\"Scilingo, G.\"],\"editor_short\":[\"Monteverde, H.\",\"Santos, R.\"],\"key\":\"DBLP:conf/clei/BridaS17\",\"id\":\"DBLP:conf/clei/BridaS17\",\"bibbaseid\":\"brida-scilingo-booleanexpressionextenderamutationoperatorforstrengtheningandweakeningbooleanexpressions-2017\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1109/CLEI.2017.8226471\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Luciano\"],\"propositions\":[],\"lastnames\":[\"Zemín\"],\"suffixes\":[]},{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Ariel\"],\"propositions\":[],\"lastnames\":[\"Godio\"],\"suffixes\":[]},{\"firstnames\":[\"César\"],\"propositions\":[],\"lastnames\":[\"Cornejo\"],\"suffixes\":[]},{\"firstnames\":[\"Renzo\"],\"propositions\":[],\"lastnames\":[\"Degiovanni\"],\"suffixes\":[]},{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]}],\"title\":\"An Analysis of the Suitability of Test-Based Patch Acceptance Criteria\",\"booktitle\":\"10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017\",\"pages\":\"14–20\",\"publisher\":\"IEEE\",\"year\":\"2017\",\"url\":\"https://doi.org/10.1109/SBST.2017.12\",\"doi\":\"10.1109/SBST.2017.12\",\"timestamp\":\"Thu, 23 Mar 2023 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/conf/icse/ZeminBGCDRAF17.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/icse/ZeminBGCDRAF17,\\n  author       = {Luciano Zem{\\\\'{\\\\i}}n and\\n                  Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Ariel Godio and\\n                  C{\\\\'{e}}sar Cornejo and\\n                  Renzo Degiovanni and\\n                  Germ{\\\\'{a}}n Regis and\\n                  Nazareno Aguirre and\\n                  Marcelo F. Frias},\\n  title        = {An Analysis of the Suitability of Test-Based Patch Acceptance Criteria},\\n  booktitle    = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing,\\n                  SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},\\n  pages        = {14--20},\\n  publisher    = {{IEEE}},\\n  year         = {2017},\\n  url          = {https://doi.org/10.1109/SBST.2017.12},\\n  doi          = {10.1109/SBST.2017.12},\\n  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/conf/icse/ZeminBGCDRAF17.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Zemín, L.\",\"Brida, S. G.\",\"Godio, A.\",\"Cornejo, C.\",\"Degiovanni, R.\",\"Regis, G.\",\"Aguirre, N.\",\"Frias, M. F.\"],\"key\":\"DBLP:conf/icse/ZeminBGCDRAF17\",\"id\":\"DBLP:conf/icse/ZeminBGCDRAF17\",\"bibbaseid\":\"zemn-brida-godio-cornejo-degiovanni-regis-aguirre-frias-ananalysisofthesuitabilityoftestbasedpatchacceptancecriteria-2017\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1109/SBST.2017.12\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Germán\"],\"propositions\":[],\"lastnames\":[\"Regis\"],\"suffixes\":[]},{\"firstnames\":[\"César\"],\"propositions\":[],\"lastnames\":[\"Cornejo\"],\"suffixes\":[]},{\"firstnames\":[\"Simón\",\"Gutiérrez\"],\"propositions\":[],\"lastnames\":[\"Brida\"],\"suffixes\":[]},{\"firstnames\":[\"Mariano\"],\"propositions\":[],\"lastnames\":[\"Politano\"],\"suffixes\":[]},{\"firstnames\":[\"Fernando\",\"D.\"],\"propositions\":[],\"lastnames\":[\"Raverta\"],\"suffixes\":[]},{\"firstnames\":[\"Pablo\"],\"propositions\":[],\"lastnames\":[\"Ponzio\"],\"suffixes\":[]},{\"firstnames\":[\"Nazareno\"],\"propositions\":[],\"lastnames\":[\"Aguirre\"],\"suffixes\":[]},{\"firstnames\":[\"Juan\",\"Pablo\"],\"propositions\":[],\"lastnames\":[\"Galeotti\"],\"suffixes\":[]},{\"firstnames\":[\"Marcelo\",\"F.\"],\"propositions\":[],\"lastnames\":[\"Frias\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Eric\"],\"propositions\":[],\"lastnames\":[\"Bodden\"],\"suffixes\":[]},{\"firstnames\":[\"Wilhelm\"],\"propositions\":[],\"lastnames\":[\"Schäfer\"],\"suffixes\":[]},{\"firstnames\":[\"Arie\"],\"propositions\":[\"van\"],\"lastnames\":[\"Deursen\"],\"suffixes\":[]},{\"firstnames\":[\"Andrea\"],\"propositions\":[],\"lastnames\":[\"Zisman\"],\"suffixes\":[]}],\"title\":\"DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour\",\"booktitle\":\"Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017\",\"pages\":\"969–973\",\"publisher\":\"ACM\",\"year\":\"2017\",\"url\":\"https://doi.org/10.1145/3106237.3122826\",\"doi\":\"10.1145/3106237.3122826\",\"timestamp\":\"Tue, 01 Feb 2022 10:45:16 +0100\",\"biburl\":\"https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/sigsoft/RegisCBPRPAGF17,\\n  author       = {Germ{\\\\'{a}}n Regis and\\n                  C{\\\\'{e}}sar Cornejo and\\n                  Sim{\\\\'{o}}n Guti{\\\\'{e}}rrez Brida and\\n                  Mariano Politano and\\n                  Fernando D. Raverta and\\n                  Pablo Ponzio and\\n                  Nazareno Aguirre and\\n                  Juan Pablo Galeotti and\\n                  Marcelo F. Frias},\\n  editor       = {Eric Bodden and\\n                  Wilhelm Sch{\\\\\\\"{a}}fer and\\n                  Arie van Deursen and\\n                  Andrea Zisman},\\n  title        = {DynAlloy analyzer: a tool for the specification and analysis of alloy\\n                  models with dynamic behaviour},\\n  booktitle    = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software\\n                  Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},\\n  pages        = {969--973},\\n  publisher    = {{ACM}},\\n  year         = {2017},\\n  url          = {https://doi.org/10.1145/3106237.3122826},\\n  doi          = {10.1145/3106237.3122826},\\n  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},\\n  biburl       = {https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Regis, G.\",\"Cornejo, C.\",\"Brida, S. G.\",\"Politano, M.\",\"Raverta, F. D.\",\"Ponzio, P.\",\"Aguirre, N.\",\"Galeotti, J. P.\",\"Frias, M. F.\"],\"editor_short\":[\"Bodden, E.\",\"Schäfer, W.\",\"van Deursen, A.\",\"Zisman, A.\"],\"key\":\"DBLP:conf/sigsoft/RegisCBPRPAGF17\",\"id\":\"DBLP:conf/sigsoft/RegisCBPRPAGF17\",\"bibbaseid\":\"regis-cornejo-brida-politano-raverta-ponzio-aguirre-galeotti-etal-dynalloyanalyzeratoolforthespecificationandanalysisofalloymodelswithdynamicbehaviour-2017\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/3106237.3122826\"},\"metadata\":{\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\"downloads\":0,\"html\":\"\"}],\n      metadata: {\"owner\":\"brida, s\",\"authorlinks\":{\"brida, s\":\"https://saiema.github.io/publications\"}},\n      ownerID: \"jjjfv4qbd2CtHkxC7\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"0017.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2lzc3RhL1poZW5nTkJSQUZCMjIsCiAgYXV0aG9yICAgICAgID0ge0d1b2xvbmcgWmhlbmcgYW5kCiAgICAgICAgICAgICAgICAgIFRoYW5oVnUgTmd1eWVuIGFuZAogICAgICAgICAgICAgICAgICBTaW17XCd7b319biBHdXRpe1wne2V9fXJyZXogQnJpZGEgYW5kCiAgICAgICAgICAgICAgICAgIEdlcm17XCd7YX19biBSZWdpcyBhbmQKICAgICAgICAgICAgICAgICAgTmF6YXJlbm8gQWd1aXJyZSBhbmQKICAgICAgICAgICAgICAgICAgTWFyY2VsbyBGLiBGcmlhcyBhbmQKICAgICAgICAgICAgICAgICAgSGFtaWQgQmFnaGVyaX0sCiAgZWRpdG9yICAgICAgID0ge1N1a3lvdW5nIFJ5dSBhbmQKICAgICAgICAgICAgICAgICAgWWFubmlzIFNtYXJhZ2Rha2lzfSwKICB0aXRsZSAgICAgICAgPSB7e0FUUjp9IHRlbXBsYXRlLWJhc2VkIHJlcGFpciBmb3IgQWxsb3kgc3BlY2lmaWNhdGlvbnN9LAogIGJvb2t0aXRsZSAgICA9IHt7SVNTVEF9ICcyMjogMzFzdCB7QUNNfSB7U0lHU09GVH0gSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gU29mdHdhcmUKICAgICAgICAgICAgICAgICAgVGVzdGluZyBhbmQgQW5hbHlzaXMsIFZpcnR1YWwgRXZlbnQsIFNvdXRoIEtvcmVhLCBKdWx5IDE4IC0gMjIsIDIwMjJ9LAogIHBhZ2VzICAgICAgICA9IHs2NjYtLTY3N30sCiAgcHVibGlzaGVyICAgID0ge3tBQ019fSwKICB5ZWFyICAgICAgICAgPSB7MjAyMn0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMTQ1LzM1MzM3NjcuMzUzNDM2OX0sCiAgZG9pICAgICAgICAgID0gezEwLjExNDUvMzUzMzc2Ny4zNTM0MzY5fSwKICB0aW1lc3RhbXAgICAgPSB7VHVlLCAyNiBKdWwgMjAyMiAxNjoyNDo0MyArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvaXNzdGEvWmhlbmdOQlJBRkIyMi5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBpbnByb2NlZWRpbmdze0RCTFA6Y29uZi9rYnNlL0JyaWRhUlpCTkFGMjIsCiAgYXV0aG9yICAgICAgID0ge1NpbXtcJ3tvfX1uIEd1dGl7XCd7ZX19cnJleiBCcmlkYSBhbmQKICAgICAgICAgICAgICAgICAgR2VybXtcJ3thfX1uIFJlZ2lzIGFuZAogICAgICAgICAgICAgICAgICBHdW9sb25nIFpoZW5nIGFuZAogICAgICAgICAgICAgICAgICBIYW1pZCBCYWdoZXJpIGFuZAogICAgICAgICAgICAgICAgICBUaGFuaFZ1IE5ndXllbiBhbmQKICAgICAgICAgICAgICAgICAgTmF6YXJlbm8gQWd1aXJyZSBhbmQKICAgICAgICAgICAgICAgICAgTWFyY2VsbyBGLiBGcmlhc30sCiAgdGl0bGUgICAgICAgID0ge3tJQ0VCQVI6fSBGZWVkYmFjay1Ecml2ZW4gSXRlcmF0aXZlIFJlcGFpciBvZiBBbGxveSBTcGVjaWZpY2F0aW9uc30sCiAgYm9va3RpdGxlICAgID0gezM3dGgge0lFRUUvQUNNfSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gQXV0b21hdGVkIFNvZnR3YXJlIEVuZ2luZWVyaW5nLAogICAgICAgICAgICAgICAgICB7QVNFfSAyMDIyLCBSb2NoZXN0ZXIsIE1JLCBVU0EsIE9jdG9iZXIgMTAtMTQsIDIwMjJ9LAogIHBhZ2VzICAgICAgICA9IHs1NToxLS01NToxM30sCiAgcHVibGlzaGVyICAgID0ge3tBQ019fSwKICB5ZWFyICAgICAgICAgPSB7MjAyMn0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMTQ1LzM1NTEzNDkuMzU1Njk0NH0sCiAgZG9pICAgICAgICAgID0gezEwLjExNDUvMzU1MTM0OS4zNTU2OTQ0fSwKICB0aW1lc3RhbXAgICAgPSB7U3VuLCAxNSBKYW4gMjAyMyAwMDowMDowMCArMDEwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYva2JzZS9CcmlkYVJaQk5BRjIyLmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2ljc2UvWmhlbmdOQlJGQUIyMWEsCiAgYXV0aG9yICAgICAgID0ge0d1b2xvbmcgWmhlbmcgYW5kCiAgICAgICAgICAgICAgICAgIFRoYW5oVnUgTmd1eWVuIGFuZAogICAgICAgICAgICAgICAgICBTaW17XCd7b319biBHdXRpe1wne2V9fXJyZXogQnJpZGEgYW5kCiAgICAgICAgICAgICAgICAgIEdlcm17XCd7YX19biBSZWdpcyBhbmQKICAgICAgICAgICAgICAgICAgTWFyY2VsbyBGLiBGcmlhcyBhbmQKICAgICAgICAgICAgICAgICAgTmF6YXJlbm8gQWd1aXJyZSBhbmQKICAgICAgICAgICAgICAgICAgSGFtaWQgQmFnaGVyaX0sCiAgdGl0bGUgICAgICAgID0ge0FydGlmYWN0IG9mICdGTEFDSzogQ291bnRlcmV4YW1wbGUtR3VpZGVkIEZhdWx0IExvY2FsaXphdGlvbiBmb3IgQWxsb3kKICAgICAgICAgICAgICAgICAgTW9kZWxzJ30sCiAgYm9va3RpdGxlICAgID0gezQzcmQge0lFRUUvQUNNfSBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU29mdHdhcmUgRW5naW5lZXJpbmc6CiAgICAgICAgICAgICAgICAgIENvbXBhbmlvbiBQcm9jZWVkaW5ncywge0lDU0V9IENvbXBhbmlvbiAyMDIxLCBNYWRyaWQsIFNwYWluLCBNYXkgMjUtMjgsCiAgICAgICAgICAgICAgICAgIDIwMjF9LAogIHBhZ2VzICAgICAgICA9IHsxNzktLTE4MH0sCiAgcHVibGlzaGVyICAgID0ge3tJRUVFfX0sCiAgeWVhciAgICAgICAgID0gezIwMjF9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTEwOS9JQ1NFLUNvbXBhbmlvbjUyNjA1LjIwMjEuMDAwNzd9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMTA5L0lDU0UtQ09NUEFOSU9ONTI2MDUuMjAyMS4wMDA3N30sCiAgdGltZXN0YW1wICAgID0ge01vbiwgMjggSnVuIDIwMjEgMTM6MjQ6NTIgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2ljc2UvWmhlbmdOQlJGQUIyMWEuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAaW5wcm9jZWVkaW5nc3tEQkxQOmNvbmYvaWNzZS9CcmlkYVJaQk5BRjIxYSwKICBhdXRob3IgICAgICAgPSB7U2lte1wne299fW4gR3V0aXtcJ3tlfX1ycmV6IEJyaWRhIGFuZAogICAgICAgICAgICAgICAgICBHZXJte1wne2F9fW4gUmVnaXMgYW5kCiAgICAgICAgICAgICAgICAgIEd1b2xvbmcgWmhlbmcgYW5kCiAgICAgICAgICAgICAgICAgIEhhbWlkIEJhZ2hlcmkgYW5kCiAgICAgICAgICAgICAgICAgIFRoYW5oVnUgTmd1eWVuIGFuZAogICAgICAgICAgICAgICAgICBOYXphcmVubyBBZ3VpcnJlIGFuZAogICAgICAgICAgICAgICAgICBNYXJjZWxvIEYuIEZyaWFzfSwKICB0aXRsZSAgICAgICAgPSB7QXJ0aWZhY3Qgb2YgQm91bmRlZCBFeGhhdXN0aXZlIFNlYXJjaCBvZiBBbGxveSBTcGVjaWZpY2F0aW9uIFJlcGFpcnN9LAogIGJvb2t0aXRsZSAgICA9IHs0M3JkIHtJRUVFL0FDTX0gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nOgogICAgICAgICAgICAgICAgICBDb21wYW5pb24gUHJvY2VlZGluZ3MsIHtJQ1NFfSBDb21wYW5pb24gMjAyMSwgTWFkcmlkLCBTcGFpbiwgTWF5IDI1LTI4LAogICAgICAgICAgICAgICAgICAyMDIxfSwKICBwYWdlcyAgICAgICAgPSB7MjA5LS0yMTB9LAogIHB1Ymxpc2hlciAgICA9IHt7SUVFRX19LAogIHllYXIgICAgICAgICA9IHsyMDIxfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjExMDkvSUNTRS1Db21wYW5pb241MjYwNS4yMDIxLjAwMDkzfSwKICBkb2kgICAgICAgICAgPSB7MTAuMTEwOS9JQ1NFLUNPTVBBTklPTjUyNjA1LjIwMjEuMDAwOTN9LAogIHRpbWVzdGFtcCAgICA9IHtNb24sIDI4IEp1biAyMDIxIDAxOjAwOjAwICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvY29uZi9pY3NlL0JyaWRhUlpCTkFGMjFhLmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2ljc2UvWmhlbmdOQlJGQUIyMSwKICBhdXRob3IgICAgICAgPSB7R3VvbG9uZyBaaGVuZyBhbmQKICAgICAgICAgICAgICAgICAgVGhhbmhWdSBOZ3V5ZW4gYW5kCiAgICAgICAgICAgICAgICAgIFNpbXtcJ3tvfX1uIEd1dGl7XCd7ZX19cnJleiBCcmlkYSBhbmQKICAgICAgICAgICAgICAgICAgR2VybXtcJ3thfX1uIFJlZ2lzIGFuZAogICAgICAgICAgICAgICAgICBNYXJjZWxvIEYuIEZyaWFzIGFuZAogICAgICAgICAgICAgICAgICBOYXphcmVubyBBZ3VpcnJlIGFuZAogICAgICAgICAgICAgICAgICBIYW1pZCBCYWdoZXJpfSwKICB0aXRsZSAgICAgICAgPSB7e0ZMQUNLOn0gQ291bnRlcmV4YW1wbGUtR3VpZGVkIEZhdWx0IExvY2FsaXphdGlvbiBmb3IgQWxsb3kgTW9kZWxzfSwKICBib29rdGl0bGUgICAgPSB7NDNyZCB7SUVFRS9BQ019IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBTb2Z0d2FyZSBFbmdpbmVlcmluZywKICAgICAgICAgICAgICAgICAge0lDU0V9IDIwMjEsIE1hZHJpZCwgU3BhaW4sIDIyLTMwIE1heSAyMDIxfSwKICBwYWdlcyAgICAgICAgPSB7NjM3LS02NDh9LAogIHB1Ymxpc2hlciAgICA9IHt7SUVFRX19LAogIHllYXIgICAgICAgICA9IHsyMDIxfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjExMDkvSUNTRTQzOTAyLjIwMjEuMDAwNjV9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMTA5L0lDU0U0MzkwMi4yMDIxLjAwMDY1fSwKICB0aW1lc3RhbXAgICAgPSB7TW9uLCAwMyBKYW4gMjAyMiAwMDowMDowMCArMDEwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvaWNzZS9aaGVuZ05CUkZBQjIxLmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2ljc2UvQnJpZGFSWkJOQUYyMSwKICBhdXRob3IgICAgICAgPSB7U2lte1wne299fW4gR3V0aXtcJ3tlfX1ycmV6IEJyaWRhIGFuZAogICAgICAgICAgICAgICAgICBHZXJte1wne2F9fW4gUmVnaXMgYW5kCiAgICAgICAgICAgICAgICAgIEd1b2xvbmcgWmhlbmcgYW5kCiAgICAgICAgICAgICAgICAgIEhhbWlkIEJhZ2hlcmkgYW5kCiAgICAgICAgICAgICAgICAgIFRoYW5oVnUgTmd1eWVuIGFuZAogICAgICAgICAgICAgICAgICBOYXphcmVubyBBZ3VpcnJlIGFuZAogICAgICAgICAgICAgICAgICBNYXJjZWxvIEYuIEZyaWFzfSwKICB0aXRsZSAgICAgICAgPSB7Qm91bmRlZCBFeGhhdXN0aXZlIFNlYXJjaCBvZiBBbGxveSBTcGVjaWZpY2F0aW9uIFJlcGFpcnN9LAogIGJvb2t0aXRsZSAgICA9IHs0M3JkIHtJRUVFL0FDTX0gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFNvZnR3YXJlIEVuZ2luZWVyaW5nLAogICAgICAgICAgICAgICAgICB7SUNTRX0gMjAyMSwgTWFkcmlkLCBTcGFpbiwgMjItMzAgTWF5IDIwMjF9LAogIHBhZ2VzICAgICAgICA9IHsxMTM1LS0xMTQ3fSwKICBwdWJsaXNoZXIgICAgPSB7e0lFRUV9fSwKICB5ZWFyICAgICAgICAgPSB7MjAyMX0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMTA5L0lDU0U0MzkwMi4yMDIxLjAwMTA1fSwKICBkb2kgICAgICAgICAgPSB7MTAuMTEwOS9JQ1NFNDM5MDIuMjAyMS4wMDEwNX0sCiAgdGltZXN0YW1wICAgID0ge01vbiwgMDMgSmFuIDIwMjIgMDA6MDA6MDAgKzAxMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2ljc2UvQnJpZGFSWkJOQUYyMS5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBpbnByb2NlZWRpbmdze0RCTFA6Y29uZi9rYnNlL0JyaWRhUlpCTkFGMjEsCiAgYXV0aG9yICAgICAgID0ge1NpbXtcJ3tvfX1uIEd1dGl7XCd7ZX19cnJleiBCcmlkYSBhbmQKICAgICAgICAgICAgICAgICAgR2VybXtcJ3thfX1uIFJlZ2lzIGFuZAogICAgICAgICAgICAgICAgICBHdW9sb25nIFpoZW5nIGFuZAogICAgICAgICAgICAgICAgICBIYW1pZCBCYWdoZXJpIGFuZAogICAgICAgICAgICAgICAgICBUaGFuaFZ1IE5ndXllbiBhbmQKICAgICAgICAgICAgICAgICAgTmF6YXJlbm8gQWd1aXJyZSBhbmQKICAgICAgICAgICAgICAgICAgTWFyY2VsbyBGLiBGcmlhc30sCiAgdGl0bGUgICAgICAgID0ge0JlQUZpeDogQW4gQXV0b21hdGVkIFJlcGFpciBUb29sIGZvciBGYXVsdHkgQWxsb3kgTW9kZWxzfSwKICBib29rdGl0bGUgICAgPSB7MzZ0aCB7SUVFRS9BQ019IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBBdXRvbWF0ZWQgU29mdHdhcmUgRW5naW5lZXJpbmcsCiAgICAgICAgICAgICAgICAgIHtBU0V9IDIwMjEsIE1lbGJvdXJuZSwgQXVzdHJhbGlhLCBOb3ZlbWJlciAxNS0xOSwgMjAyMX0sCiAgcGFnZXMgICAgICAgID0gezEyMTMtLTEyMTd9LAogIHB1Ymxpc2hlciAgICA9IHt7SUVFRX19LAogIHllYXIgICAgICAgICA9IHsyMDIxfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjExMDkvQVNFNTE1MjQuMjAyMS45Njc4NTI0fSwKICBkb2kgICAgICAgICAgPSB7MTAuMTEwOS9BU0U1MTUyNC4yMDIxLjk2Nzg1MjR9LAogIHRpbWVzdGFtcCAgICA9IHtNb24sIDI0IEphbiAyMDIyIDE2OjE4OjM0ICswMTAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvY29uZi9rYnNlL0JyaWRhUlpCTkFGMjEuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAaW5wcm9jZWVkaW5nc3tEQkxQOmNvbmYva2JzZS9aaGVuZ05CUkZBQjIxLAogIGF1dGhvciAgICAgICA9IHtHdW9sb25nIFpoZW5nIGFuZAogICAgICAgICAgICAgICAgICBUaGFuaFZ1IE5ndXllbiBhbmQKICAgICAgICAgICAgICAgICAgU2lte1wne299fW4gR3V0aXtcJ3tlfX1ycmV6IEJyaWRhIGFuZAogICAgICAgICAgICAgICAgICBHZXJte1wne2F9fW4gUmVnaXMgYW5kCiAgICAgICAgICAgICAgICAgIE1hcmNlbG8gRi4gRnJpYXMgYW5kCiAgICAgICAgICAgICAgICAgIE5hemFyZW5vIEFndWlycmUgYW5kCiAgICAgICAgICAgICAgICAgIEhhbWlkIEJhZ2hlcml9LAogIHRpdGxlICAgICAgICA9IHt7RkxBQ0s6fSBMb2NhbGl6aW5nIEZhdWx0cyBpbiBBbGxveSBNb2RlbHN9LAogIGJvb2t0aXRsZSAgICA9IHszNnRoIHtJRUVFL0FDTX0gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEF1dG9tYXRlZCBTb2Z0d2FyZSBFbmdpbmVlcmluZywKICAgICAgICAgICAgICAgICAge0FTRX0gMjAyMSwgTWVsYm91cm5lLCBBdXN0cmFsaWEsIE5vdmVtYmVyIDE1LTE5LCAyMDIxfSwKICBwYWdlcyAgICAgICAgPSB7MTIxOC0tMTIyMn0sCiAgcHVibGlzaGVyICAgID0ge3tJRUVFfX0sCiAgeWVhciAgICAgICAgID0gezIwMjF9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTEwOS9BU0U1MTUyNC4yMDIxLjk2Nzg3NDB9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMTA5L0FTRTUxNTI0LjIwMjEuOTY3ODc0MH0sCiAgdGltZXN0YW1wICAgID0ge01vbiwgMjQgSmFuIDIwMjIgMDA6MDA6MDAgKzAxMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2tic2UvWmhlbmdOQlJGQUIyMS5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBhcnRpY2xle0RCTFA6am91cm5hbHMvY29yci9hYnMtMjEwMi0xMDE1MiwKICBhdXRob3IgICAgICAgPSB7R3VvbG9uZyBaaGVuZyBhbmQKICAgICAgICAgICAgICAgICAgVGhhbmhWdSBOZ3V5ZW4gYW5kCiAgICAgICAgICAgICAgICAgIFNpbXtcJ3tvfX1uIEd1dGl7XCd7ZX19cnJleiBCcmlkYSBhbmQKICAgICAgICAgICAgICAgICAgR2VybXtcJ3thfX1uIFJlZ2lzIGFuZAogICAgICAgICAgICAgICAgICBNYXJjZWxvIEYuIEZyaWFzIGFuZAogICAgICAgICAgICAgICAgICBOYXphcmVubyBBZ3VpcnJlIGFuZAogICAgICAgICAgICAgICAgICBIYW1pZCBCYWdoZXJpfSwKICB0aXRsZSAgICAgICAgPSB7e0ZMQUNLOn0gQ291bnRlcmV4YW1wbGUtR3VpZGVkIEZhdWx0IExvY2FsaXphdGlvbiBmb3IgQWxsb3kgTW9kZWxzfSwKICBqb3VybmFsICAgICAgPSB7Q29SUn0sCiAgdm9sdW1lICAgICAgID0ge2Ficy8yMTAyLjEwMTUyfSwKICB5ZWFyICAgICAgICAgPSB7MjAyMX0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vYXJ4aXYub3JnL2Ficy8yMTAyLjEwMTUyfSwKICBlcHJpbnR0eXBlICAgID0ge2FyWGl2fSwKICBlcHJpbnQgICAgICAgPSB7MjEwMi4xMDE1Mn0sCiAgdGltZXN0YW1wICAgID0ge1dlZCwgMjQgRmViIDIwMjEgMDA6MDA6MDAgKzAxMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9qb3VybmFscy9jb3JyL2Ficy0yMTAyLTEwMTUyLmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGFydGljbGV7REJMUDpqb3VybmFscy9jb3JyL2Ficy0yMTAzLTAwMzI3LAogIGF1dGhvciAgICAgICA9IHtTaW17XCd7b319biBHdXRpe1wne2V9fXJyZXogQnJpZGEgYW5kCiAgICAgICAgICAgICAgICAgIEdlcm17XCd7YX19biBSZWdpcyBhbmQKICAgICAgICAgICAgICAgICAgR3VvbG9uZyBaaGVuZyBhbmQKICAgICAgICAgICAgICAgICAgSGFtaWQgQmFnaGVyaSBhbmQKICAgICAgICAgICAgICAgICAgVGhhbmhWdSBOZ3V5ZW4gYW5kCiAgICAgICAgICAgICAgICAgIE5hemFyZW5vIEFndWlycmUgYW5kCiAgICAgICAgICAgICAgICAgIE1hcmNlbG8gRi4gRnJpYXN9LAogIHRpdGxlICAgICAgICA9IHtCb3VuZGVkIEV4aGF1c3RpdmUgU2VhcmNoIG9mIEFsbG95IFNwZWNpZmljYXRpb24gUmVwYWlyc30sCiAgam91cm5hbCAgICAgID0ge0NvUlJ9LAogIHZvbHVtZSAgICAgICA9IHthYnMvMjEwMy4wMDMyN30sCiAgeWVhciAgICAgICAgID0gezIwMjF9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2FyeGl2Lm9yZy9hYnMvMjEwMy4wMDMyN30sCiAgZXByaW50dHlwZSAgICA9IHthclhpdn0sCiAgZXByaW50ICAgICAgID0gezIxMDMuMDAzMjd9LAogIHRpbWVzdGFtcCAgICA9IHtUaHUsIDA0IE1hciAyMDIxIDAwOjAwOjAwICswMTAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvam91cm5hbHMvY29yci9hYnMtMjEwMy0wMDMyNy5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBhcnRpY2xle0RCTFA6am91cm5hbHMvY29yci9hYnMtMTkxMC0xNDAxMSwKICBhdXRob3IgICAgICAgPSB7THVjaWFubyBaZW17XCd7XGl9fW4gYW5kCiAgICAgICAgICAgICAgICAgIFNpbXtcJ3tvfX1uIEd1dGl7XCd7ZX19cnJleiBCcmlkYSBhbmQKICAgICAgICAgICAgICAgICAgU2FudGlhZ28gQmVybXtcJ3t1fX1kZXogYW5kCiAgICAgICAgICAgICAgICAgIFNhbnRpYWdvIFBlcmV6IERlIFJvc3NvIGFuZAogICAgICAgICAgICAgICAgICBOYXphcmVubyBBZ3VpcnJlIGFuZAogICAgICAgICAgICAgICAgICBBbGkgTWlsaSBhbmQKICAgICAgICAgICAgICAgICAgQWxpIEphb3VhIGFuZAogICAgICAgICAgICAgICAgICBNYXJjZWxvIEYuIEZyaWFzfSwKICB0aXRsZSAgICAgICAgPSB7U3RyeWtlcjogU2NhbGluZyBTcGVjaWZpY2F0aW9uLUJhc2VkIFByb2dyYW0gUmVwYWlyIGJ5IFBydW5pbmcgSW5mZWFzaWJsZQogICAgICAgICAgICAgICAgICBNdXRhbnRzIHdpdGgge1NBVH19LAogIGpvdXJuYWwgICAgICA9IHtDb1JSfSwKICB2b2x1bWUgICAgICAgPSB7YWJzLzE5MTAuMTQwMTF9LAogIHllYXIgICAgICAgICA9IHsyMDE5fSwKICB1cmwgICAgICAgICAgPSB7aHR0cDovL2FyeGl2Lm9yZy9hYnMvMTkxMC4xNDAxMX0sCiAgZXByaW50dHlwZSAgICA9IHthclhpdn0sCiAgZXByaW50ICAgICAgID0gezE5MTAuMTQwMTF9LAogIHRpbWVzdGFtcCAgICA9IHtXZWQsIDMxIEphbiAyMDI0IDAwOjAwOjAwICswMTAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvam91cm5hbHMvY29yci9hYnMtMTkxMC0xNDAxMS5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBpbnByb2NlZWRpbmdze0RCTFA6Y29uZi9pY3NlL1Bvbnppb0JCU0FGMTgsCiAgYXV0aG9yICAgICAgID0ge1BhYmxvIFBvbnppbyBhbmQKICAgICAgICAgICAgICAgICAgVmFsZXJpYSBTLiBCZW5nb2xlYSBhbmQKICAgICAgICAgICAgICAgICAgU2lte1wne299fW4gR3V0aXtcJ3tlfX1ycmV6IEJyaWRhIGFuZAogICAgICAgICAgICAgICAgICBHYXN0e1wne299fW4gU2NpbGluZ28gYW5kCiAgICAgICAgICAgICAgICAgIE5hemFyZW5vIEFndWlycmUgYW5kCiAgICAgICAgICAgICAgICAgIE1hcmNlbG8gRi4gRnJpYXN9LAogIGVkaXRvciAgICAgICA9IHtKdWFuIFBhYmxvIEdhbGVvdHRpIGFuZAogICAgICAgICAgICAgICAgICBBbGVzc2FuZHJhIEdvcmxhfSwKICB0aXRsZSAgICAgICAgPSB7T24gdGhlIGVmZmVjdCBvZiBvYmplY3QgcmVkdW5kYW5jeSBlbGltaW5hdGlvbiBpbiByYW5kb21seSB0ZXN0aW5nCiAgICAgICAgICAgICAgICAgIGNvbGxlY3Rpb24gY2xhc3Nlc30sCiAgYm9va3RpdGxlICAgID0ge1Byb2NlZWRpbmdzIG9mIHRoZSAxMXRoIEludGVybmF0aW9uYWwgV29ya3Nob3Agb24gU2VhcmNoLUJhc2VkIFNvZnR3YXJlCiAgICAgICAgICAgICAgICAgIFRlc3RpbmcsIHtJQ1NFfSAyMDE4LCBHb3RoZW5idXJnLCBTd2VkZW4sIE1heSAyOC0yOSwgMjAxOH0sCiAgcGFnZXMgICAgICAgID0gezY3LS03MH0sCiAgcHVibGlzaGVyICAgID0ge3tBQ019fSwKICB5ZWFyICAgICAgICAgPSB7MjAxOH0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMTQ1LzMxOTQ3MTguMzE5NDcyNH0sCiAgZG9pICAgICAgICAgID0gezEwLjExNDUvMzE5NDcxOC4zMTk0NzI0fSwKICB0aW1lc3RhbXAgICAgPSB7VHVlLCAxMCBBdWcgMjAyMSAwMTowMDowMCArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvaWNzZS9Qb256aW9CQlNBRjE4LmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2NsZWkvQnJpZGFTMTcsCiAgYXV0aG9yICAgICAgID0ge1NpbXtcJ3tvfX1uIEd1dGl7XCd7ZX19cnJleiBCcmlkYSBhbmQKICAgICAgICAgICAgICAgICAgR2FzdHtcJ3tvfX1uIFNjaWxpbmdvfSwKICBlZGl0b3IgICAgICAgPSB7SHtcJ3tlfX1jdG9yIE1vbnRldmVyZGUgYW5kCiAgICAgICAgICAgICAgICAgIFJvZHJpZ28gU2FudG9zfSwKICB0aXRsZSAgICAgICAgPSB7Qm9vbGVhbiBleHByZXNzaW9uIGV4dGVuZGVyIC0ge0F9IG11dGF0aW9uIG9wZXJhdG9yIGZvciBzdHJlbmd0aGVuaW5nCiAgICAgICAgICAgICAgICAgIGFuZCB3ZWFrZW5pbmcgYm9vbGVhbiBleHByZXNzaW9uc30sCiAgYm9va3RpdGxlICAgID0gezIwMTcge1hMSUlJfSBMYXRpbiBBbWVyaWNhbiBDb21wdXRlciBDb25mZXJlbmNlLCB7Q0xFSX0gMjAxNywgQ3tcJ3tvfX1yZG9iYSwKICAgICAgICAgICAgICAgICAgQXJnZW50aW5hLCBTZXB0ZW1iZXIgNC04LCAyMDE3fSwKICBwYWdlcyAgICAgICAgPSB7MS0tMTB9LAogIHB1Ymxpc2hlciAgICA9IHt7SUVFRX19LAogIHllYXIgICAgICAgICA9IHsyMDE3fSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjExMDkvQ0xFSS4yMDE3LjgyMjY0NzF9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMTA5L0NMRUkuMjAxNy44MjI2NDcxfSwKICB0aW1lc3RhbXAgICAgPSB7U2F0LCAxOSBPY3QgMjAxOSAwMTowMDowMCArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvY2xlaS9CcmlkYVMxNy5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBpbnByb2NlZWRpbmdze0RCTFA6Y29uZi9pY3NlL1plbWluQkdDRFJBRjE3LAogIGF1dGhvciAgICAgICA9IHtMdWNpYW5vIFplbXtcJ3tcaX19biBhbmQKICAgICAgICAgICAgICAgICAgU2lte1wne299fW4gR3V0aXtcJ3tlfX1ycmV6IEJyaWRhIGFuZAogICAgICAgICAgICAgICAgICBBcmllbCBHb2RpbyBhbmQKICAgICAgICAgICAgICAgICAgQ3tcJ3tlfX1zYXIgQ29ybmVqbyBhbmQKICAgICAgICAgICAgICAgICAgUmVuem8gRGVnaW92YW5uaSBhbmQKICAgICAgICAgICAgICAgICAgR2VybXtcJ3thfX1uIFJlZ2lzIGFuZAogICAgICAgICAgICAgICAgICBOYXphcmVubyBBZ3VpcnJlIGFuZAogICAgICAgICAgICAgICAgICBNYXJjZWxvIEYuIEZyaWFzfSwKICB0aXRsZSAgICAgICAgPSB7QW4gQW5hbHlzaXMgb2YgdGhlIFN1aXRhYmlsaXR5IG9mIFRlc3QtQmFzZWQgUGF0Y2ggQWNjZXB0YW5jZSBDcml0ZXJpYX0sCiAgYm9va3RpdGxlICAgID0gezEwdGgge0lFRUUvQUNNfSBJbnRlcm5hdGlvbmFsIFdvcmtzaG9wIG9uIFNlYXJjaC1CYXNlZCBTb2Z0d2FyZSBUZXN0aW5nLAogICAgICAgICAgICAgICAgICBTQlNUQElDU0UgMjAxNywgQnVlbm9zIEFpcmVzLCBBcmdlbnRpbmEsIE1heSAyMi0yMywgMjAxN30sCiAgcGFnZXMgICAgICAgID0gezE0LS0yMH0sCiAgcHVibGlzaGVyICAgID0ge3tJRUVFfX0sCiAgeWVhciAgICAgICAgID0gezIwMTd9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTEwOS9TQlNULjIwMTcuMTJ9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMTA5L1NCU1QuMjAxNy4xMn0sCiAgdGltZXN0YW1wICAgID0ge1RodSwgMjMgTWFyIDIwMjMgMDA6MDA6MDAgKzAxMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2ljc2UvWmVtaW5CR0NEUkFGMTcuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAaW5wcm9jZWVkaW5nc3tEQkxQOmNvbmYvc2lnc29mdC9SZWdpc0NCUFJQQUdGMTcsCiAgYXV0aG9yICAgICAgID0ge0dlcm17XCd7YX19biBSZWdpcyBhbmQKICAgICAgICAgICAgICAgICAgQ3tcJ3tlfX1zYXIgQ29ybmVqbyBhbmQKICAgICAgICAgICAgICAgICAgU2lte1wne299fW4gR3V0aXtcJ3tlfX1ycmV6IEJyaWRhIGFuZAogICAgICAgICAgICAgICAgICBNYXJpYW5vIFBvbGl0YW5vIGFuZAogICAgICAgICAgICAgICAgICBGZXJuYW5kbyBELiBSYXZlcnRhIGFuZAogICAgICAgICAgICAgICAgICBQYWJsbyBQb256aW8gYW5kCiAgICAgICAgICAgICAgICAgIE5hemFyZW5vIEFndWlycmUgYW5kCiAgICAgICAgICAgICAgICAgIEp1YW4gUGFibG8gR2FsZW90dGkgYW5kCiAgICAgICAgICAgICAgICAgIE1hcmNlbG8gRi4gRnJpYXN9LAogIGVkaXRvciAgICAgICA9IHtFcmljIEJvZGRlbiBhbmQKICAgICAgICAgICAgICAgICAgV2lsaGVsbSBTY2h7XCJ7YX19ZmVyIGFuZAogICAgICAgICAgICAgICAgICBBcmllIHZhbiBEZXVyc2VuIGFuZAogICAgICAgICAgICAgICAgICBBbmRyZWEgWmlzbWFufSwKICB0aXRsZSAgICAgICAgPSB7RHluQWxsb3kgYW5hbHl6ZXI6IGEgdG9vbCBmb3IgdGhlIHNwZWNpZmljYXRpb24gYW5kIGFuYWx5c2lzIG9mIGFsbG95CiAgICAgICAgICAgICAgICAgIG1vZGVscyB3aXRoIGR5bmFtaWMgYmVoYXZpb3VyfSwKICBib29rdGl0bGUgICAgPSB7UHJvY2VlZGluZ3Mgb2YgdGhlIDIwMTcgMTF0aCBKb2ludCBNZWV0aW5nIG9uIEZvdW5kYXRpb25zIG9mIFNvZnR3YXJlCiAgICAgICAgICAgICAgICAgIEVuZ2luZWVyaW5nLCB7RVNFQy9GU0V9IDIwMTcsIFBhZGVyYm9ybiwgR2VybWFueSwgU2VwdGVtYmVyIDQtOCwgMjAxN30sCiAgcGFnZXMgICAgICAgID0gezk2OS0tOTczfSwKICBwdWJsaXNoZXIgICAgPSB7e0FDTX19LAogIHllYXIgICAgICAgICA9IHsyMDE3fSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjExNDUvMzEwNjIzNy4zMTIyODI2fSwKICBkb2kgICAgICAgICAgPSB7MTAuMTE0NS8zMTA2MjM3LjMxMjI4MjZ9LAogIHRpbWVzdGFtcCAgICA9IHtUdWUsIDAxIEZlYiAyMDIyIDEwOjQ1OjE2ICswMTAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvY29uZi9zaWdzb2Z0L1JlZ2lzQ0JQUlBBR0YxNy5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9Cgo=\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://dblp.org/pid/203/0017.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://dblp.org/pid/203/0017.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https://dblp.org/pid/203/0017.bib&amp;jsonp=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https://dblp.org/pid/203/0017.bib&amp;jsonp=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https://dblp.org/pid/203/0017.bib&amp;jsonp=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2022\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2022')\"\n      onkeypress=\"toggleGroup('group_2022')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2022</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"zheng-nguyen-brida-regis-aguirre-frias-bagheri-atrtemplatebasedrepairforalloyspecifications-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/3533767.3534369\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'zheng-nguyen-brida-regis-aguirre-frias-bagheri-atrtemplatebasedrepairforalloyspecifications-2022', 'https://doi.org/10.1145/3533767.3534369', event);\">\n    ATR: template-based repair for Alloy specifications.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Zheng, G.; Nguyen, T.; <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Aguirre, N.; Frias, M. F.;  and Bagheri, H.\n</span>\n\n  \n\n</span>\n\n  In Ryu, S.;  and Smaragdakis, Y., editor(s), <i>ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022</i>, pages 666–677,  2022. ACM\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/3533767.3534369\"\n     onclick=\"log_download('zheng-nguyen-brida-regis-aguirre-frias-bagheri-atrtemplatebasedrepairforalloyspecifications-2022', 'https://doi.org/10.1145/3533767.3534369', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"ATR: template-based repair for Alloy specifications [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3533767.3534369\"\n     onclick=\"log_download('zheng-nguyen-brida-regis-aguirre-frias-bagheri-atrtemplatebasedrepairforalloyspecifications-2022', 'http://doi.org/10.1145/3533767.3534369', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/zheng-nguyen-brida-regis-aguirre-frias-bagheri-atrtemplatebasedrepairforalloyspecifications-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>2 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('zheng-nguyen-brida-regis-aguirre-frias-bagheri-atrtemplatebasedrepairforalloyspecifications-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/issta/ZhengNBRAFB22,\n  author       = {Guolong Zheng and\n                  ThanhVu Nguyen and\n                  Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias and\n                  Hamid Bagheri},\n  editor       = {Sukyoung Ryu and\n                  Yannis Smaragdakis},\n  title        = {{ATR:} template-based repair for Alloy specifications},\n  booktitle    = {{ISSTA} &#x27;22: 31st {ACM} {SIGSOFT} International Symposium on Software\n                  Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},\n  pages        = {666--677},\n  publisher    = {{ACM}},\n  year         = {2022},\n  url          = {https://doi.org/10.1145/3533767.3534369},\n  doi          = {10.1145/3533767.3534369},\n  timestamp    = {Tue, 26 Jul 2022 16:24:43 +0200},\n  biburl       = {https://dblp.org/rec/conf/issta/ZhengNBRAFB22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-icebarfeedbackdriveniterativerepairofalloyspecifications-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/3551349.3556944\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'brida-regis-zheng-bagheri-nguyen-aguirre-frias-icebarfeedbackdriveniterativerepairofalloyspecifications-2022', 'https://doi.org/10.1145/3551349.3556944', event);\">\n    ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.;  and Frias, M. F.\n</span>\n\n  \n\n</span>\n\n  In <i>37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022</i>, pages 55:1–55:13,  2022. ACM\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/3551349.3556944\"\n     onclick=\"log_download('brida-regis-zheng-bagheri-nguyen-aguirre-frias-icebarfeedbackdriveniterativerepairofalloyspecifications-2022', 'https://doi.org/10.1145/3551349.3556944', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3551349.3556944\"\n     onclick=\"log_download('brida-regis-zheng-bagheri-nguyen-aguirre-frias-icebarfeedbackdriveniterativerepairofalloyspecifications-2022', 'http://doi.org/10.1145/3551349.3556944', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/brida-regis-zheng-bagheri-nguyen-aguirre-frias-icebarfeedbackdriveniterativerepairofalloyspecifications-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('brida-regis-zheng-bagheri-nguyen-aguirre-frias-icebarfeedbackdriveniterativerepairofalloyspecifications-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/kbse/BridaRZBNAF22,\n  author       = {Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Guolong Zheng and\n                  Hamid Bagheri and\n                  ThanhVu Nguyen and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias},\n  title        = {{ICEBAR:} Feedback-Driven Iterative Repair of Alloy Specifications},\n  booktitle    = {37th {IEEE/ACM} International Conference on Automated Software Engineering,\n                  {ASE} 2022, Rochester, MI, USA, October 10-14, 2022},\n  pages        = {55:1--55:13},\n  publisher    = {{ACM}},\n  year         = {2022},\n  url          = {https://doi.org/10.1145/3551349.3556944},\n  doi          = {10.1145/3551349.3556944},\n  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/kbse/BridaRZBNAF22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (8)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"zheng-nguyen-brida-regis-frias-aguirre-bagheri-artifactofflackcounterexampleguidedfaultlocalizationforalloymodels-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1109/ICSE-Companion52605.2021.00077\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'zheng-nguyen-brida-regis-frias-aguirre-bagheri-artifactofflackcounterexampleguidedfaultlocalizationforalloymodels-2021', 'https://doi.org/10.1109/ICSE-Companion52605.2021.00077', event);\">\n    Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Zheng, G.; Nguyen, T.; <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Frias, M. F.; Aguirre, N.;  and Bagheri, H.\n</span>\n\n  \n\n</span>\n\n  In <i>43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021</i>, pages 179–180,  2021. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1109/ICSE-Companion52605.2021.00077\"\n     onclick=\"log_download('zheng-nguyen-brida-regis-frias-aguirre-bagheri-artifactofflackcounterexampleguidedfaultlocalizationforalloymodels-2021', 'https://doi.org/10.1109/ICSE-Companion52605.2021.00077', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Artifact of &#x27;FLACK: Counterexample-Guided Fault Localization for Alloy Models&#x27; [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICSE-COMPANION52605.2021.00077\"\n     onclick=\"log_download('zheng-nguyen-brida-regis-frias-aguirre-bagheri-artifactofflackcounterexampleguidedfaultlocalizationforalloymodels-2021', 'http://doi.org/10.1109/ICSE-COMPANION52605.2021.00077', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/zheng-nguyen-brida-regis-frias-aguirre-bagheri-artifactofflackcounterexampleguidedfaultlocalizationforalloymodels-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('zheng-nguyen-brida-regis-frias-aguirre-bagheri-artifactofflackcounterexampleguidedfaultlocalizationforalloymodels-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/icse/ZhengNBRFAB21a,\n  author       = {Guolong Zheng and\n                  ThanhVu Nguyen and\n                  Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Marcelo F. Frias and\n                  Nazareno Aguirre and\n                  Hamid Bagheri},\n  title        = {Artifact of &#x27;FLACK: Counterexample-Guided Fault Localization for Alloy\n                  Models&#x27;},\n  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering:\n                  Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,\n                  2021},\n  pages        = {179--180},\n  publisher    = {{IEEE}},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/ICSE-Companion52605.2021.00077},\n  doi          = {10.1109/ICSE-COMPANION52605.2021.00077},\n  timestamp    = {Mon, 28 Jun 2021 13:24:52 +0200},\n  biburl       = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21a.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-artifactofboundedexhaustivesearchofalloyspecificationrepairs-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1109/ICSE-Companion52605.2021.00093\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'brida-regis-zheng-bagheri-nguyen-aguirre-frias-artifactofboundedexhaustivesearchofalloyspecificationrepairs-2021', 'https://doi.org/10.1109/ICSE-Companion52605.2021.00093', event);\">\n    Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.;  and Frias, M. F.\n</span>\n\n  \n\n</span>\n\n  In <i>43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021</i>, pages 209–210,  2021. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1109/ICSE-Companion52605.2021.00093\"\n     onclick=\"log_download('brida-regis-zheng-bagheri-nguyen-aguirre-frias-artifactofboundedexhaustivesearchofalloyspecificationrepairs-2021', 'https://doi.org/10.1109/ICSE-Companion52605.2021.00093', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Artifact of Bounded Exhaustive Search of Alloy Specification Repairs [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICSE-COMPANION52605.2021.00093\"\n     onclick=\"log_download('brida-regis-zheng-bagheri-nguyen-aguirre-frias-artifactofboundedexhaustivesearchofalloyspecificationrepairs-2021', 'http://doi.org/10.1109/ICSE-COMPANION52605.2021.00093', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/brida-regis-zheng-bagheri-nguyen-aguirre-frias-artifactofboundedexhaustivesearchofalloyspecificationrepairs-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('brida-regis-zheng-bagheri-nguyen-aguirre-frias-artifactofboundedexhaustivesearchofalloyspecificationrepairs-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/icse/BridaRZBNAF21a,\n  author       = {Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Guolong Zheng and\n                  Hamid Bagheri and\n                  ThanhVu Nguyen and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias},\n  title        = {Artifact of Bounded Exhaustive Search of Alloy Specification Repairs},\n  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering:\n                  Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,\n                  2021},\n  pages        = {209--210},\n  publisher    = {{IEEE}},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/ICSE-Companion52605.2021.00093},\n  doi          = {10.1109/ICSE-COMPANION52605.2021.00093},\n  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icse/BridaRZBNAF21a.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1109/ICSE43902.2021.00065\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021', 'https://doi.org/10.1109/ICSE43902.2021.00065', event);\">\n    FLACK: Counterexample-Guided Fault Localization for Alloy Models.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Zheng, G.; Nguyen, T.; <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Frias, M. F.; Aguirre, N.;  and Bagheri, H.\n</span>\n\n  \n\n</span>\n\n  In <i>43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021</i>, pages 637–648,  2021. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1109/ICSE43902.2021.00065\"\n     onclick=\"log_download('zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021', 'https://doi.org/10.1109/ICSE43902.2021.00065', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FLACK: Counterexample-Guided Fault Localization for Alloy Models [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICSE43902.2021.00065\"\n     onclick=\"log_download('zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021', 'http://doi.org/10.1109/ICSE43902.2021.00065', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/icse/ZhengNBRFAB21,\n  author       = {Guolong Zheng and\n                  ThanhVu Nguyen and\n                  Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Marcelo F. Frias and\n                  Nazareno Aguirre and\n                  Hamid Bagheri},\n  title        = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},\n  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering,\n                  {ICSE} 2021, Madrid, Spain, 22-30 May 2021},\n  pages        = {637--648},\n  publisher    = {{IEEE}},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/ICSE43902.2021.00065},\n  doi          = {10.1109/ICSE43902.2021.00065},\n  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1109/ICSE43902.2021.00105\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021', 'https://doi.org/10.1109/ICSE43902.2021.00105', event);\">\n    Bounded Exhaustive Search of Alloy Specification Repairs.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.;  and Frias, M. F.\n</span>\n\n  \n\n</span>\n\n  In <i>43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021</i>, pages 1135–1147,  2021. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1109/ICSE43902.2021.00105\"\n     onclick=\"log_download('brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021', 'https://doi.org/10.1109/ICSE43902.2021.00105', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Bounded Exhaustive Search of Alloy Specification Repairs [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICSE43902.2021.00105\"\n     onclick=\"log_download('brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021', 'http://doi.org/10.1109/ICSE43902.2021.00105', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/icse/BridaRZBNAF21,\n  author       = {Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Guolong Zheng and\n                  Hamid Bagheri and\n                  ThanhVu Nguyen and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias},\n  title        = {Bounded Exhaustive Search of Alloy Specification Repairs},\n  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering,\n                  {ICSE} 2021, Madrid, Spain, 22-30 May 2021},\n  pages        = {1135--1147},\n  publisher    = {{IEEE}},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/ICSE43902.2021.00105},\n  doi          = {10.1109/ICSE43902.2021.00105},\n  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/icse/BridaRZBNAF21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-beafixanautomatedrepairtoolforfaultyalloymodels-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1109/ASE51524.2021.9678524\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'brida-regis-zheng-bagheri-nguyen-aguirre-frias-beafixanautomatedrepairtoolforfaultyalloymodels-2021', 'https://doi.org/10.1109/ASE51524.2021.9678524', event);\">\n    BeAFix: An Automated Repair Tool for Faulty Alloy Models.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.;  and Frias, M. F.\n</span>\n\n  \n\n</span>\n\n  In <i>36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021</i>, pages 1213–1217,  2021. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1109/ASE51524.2021.9678524\"\n     onclick=\"log_download('brida-regis-zheng-bagheri-nguyen-aguirre-frias-beafixanautomatedrepairtoolforfaultyalloymodels-2021', 'https://doi.org/10.1109/ASE51524.2021.9678524', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"BeAFix: An Automated Repair Tool for Faulty Alloy Models [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ASE51524.2021.9678524\"\n     onclick=\"log_download('brida-regis-zheng-bagheri-nguyen-aguirre-frias-beafixanautomatedrepairtoolforfaultyalloymodels-2021', 'http://doi.org/10.1109/ASE51524.2021.9678524', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/brida-regis-zheng-bagheri-nguyen-aguirre-frias-beafixanautomatedrepairtoolforfaultyalloymodels-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('brida-regis-zheng-bagheri-nguyen-aguirre-frias-beafixanautomatedrepairtoolforfaultyalloymodels-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/kbse/BridaRZBNAF21,\n  author       = {Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Guolong Zheng and\n                  Hamid Bagheri and\n                  ThanhVu Nguyen and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias},\n  title        = {BeAFix: An Automated Repair Tool for Faulty Alloy Models},\n  booktitle    = {36th {IEEE/ACM} International Conference on Automated Software Engineering,\n                  {ASE} 2021, Melbourne, Australia, November 15-19, 2021},\n  pages        = {1213--1217},\n  publisher    = {{IEEE}},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/ASE51524.2021.9678524},\n  doi          = {10.1109/ASE51524.2021.9678524},\n  timestamp    = {Mon, 24 Jan 2022 16:18:34 +0100},\n  biburl       = {https://dblp.org/rec/conf/kbse/BridaRZBNAF21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"zheng-nguyen-brida-regis-frias-aguirre-bagheri-flacklocalizingfaultsinalloymodels-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1109/ASE51524.2021.9678740\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'zheng-nguyen-brida-regis-frias-aguirre-bagheri-flacklocalizingfaultsinalloymodels-2021', 'https://doi.org/10.1109/ASE51524.2021.9678740', event);\">\n    FLACK: Localizing Faults in Alloy Models.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Zheng, G.; Nguyen, T.; <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Frias, M. F.; Aguirre, N.;  and Bagheri, H.\n</span>\n\n  \n\n</span>\n\n  In <i>36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021</i>, pages 1218–1222,  2021. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1109/ASE51524.2021.9678740\"\n     onclick=\"log_download('zheng-nguyen-brida-regis-frias-aguirre-bagheri-flacklocalizingfaultsinalloymodels-2021', 'https://doi.org/10.1109/ASE51524.2021.9678740', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FLACK: Localizing Faults in Alloy Models [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ASE51524.2021.9678740\"\n     onclick=\"log_download('zheng-nguyen-brida-regis-frias-aguirre-bagheri-flacklocalizingfaultsinalloymodels-2021', 'http://doi.org/10.1109/ASE51524.2021.9678740', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/zheng-nguyen-brida-regis-frias-aguirre-bagheri-flacklocalizingfaultsinalloymodels-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('zheng-nguyen-brida-regis-frias-aguirre-bagheri-flacklocalizingfaultsinalloymodels-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/kbse/ZhengNBRFAB21,\n  author       = {Guolong Zheng and\n                  ThanhVu Nguyen and\n                  Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Marcelo F. Frias and\n                  Nazareno Aguirre and\n                  Hamid Bagheri},\n  title        = {{FLACK:} Localizing Faults in Alloy Models},\n  booktitle    = {36th {IEEE/ACM} International Conference on Automated Software Engineering,\n                  {ASE} 2021, Melbourne, Australia, November 15-19, 2021},\n  pages        = {1218--1222},\n  publisher    = {{IEEE}},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/ASE51524.2021.9678740},\n  doi          = {10.1109/ASE51524.2021.9678740},\n  timestamp    = {Mon, 24 Jan 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/kbse/ZhengNBRFAB21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2102.10152\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021', 'https://arxiv.org/abs/2102.10152', event);\">\n    FLACK: Counterexample-Guided Fault Localization for Alloy Models.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Zheng, G.; Nguyen, T.; <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Frias, M. F.; Aguirre, N.;  and Bagheri, H.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2102.10152.  2021.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2102.10152\"\n     onclick=\"log_download('zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021', 'https://arxiv.org/abs/2102.10152', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FLACK: Counterexample-Guided Fault Localization for Alloy Models [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('zheng-nguyen-brida-regis-frias-aguirre-bagheri-flackcounterexampleguidedfaultlocalizationforalloymodels-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-2102-10152,\n  author       = {Guolong Zheng and\n                  ThanhVu Nguyen and\n                  Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Marcelo F. Frias and\n                  Nazareno Aguirre and\n                  Hamid Bagheri},\n  title        = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},\n  journal      = {CoRR},\n  volume       = {abs/2102.10152},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2102.10152},\n  eprinttype    = {arXiv},\n  eprint       = {2102.10152},\n  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-10152.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2103.00327\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021', 'https://arxiv.org/abs/2103.00327', event);\">\n    Bounded Exhaustive Search of Alloy Specification Repairs.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.;  and Frias, M. F.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2103.00327.  2021.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2103.00327\"\n     onclick=\"log_download('brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021', 'https://arxiv.org/abs/2103.00327', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Bounded Exhaustive Search of Alloy Specification Repairs [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('brida-regis-zheng-bagheri-nguyen-aguirre-frias-boundedexhaustivesearchofalloyspecificationrepairs-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-2103-00327,\n  author       = {Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Guolong Zheng and\n                  Hamid Bagheri and\n                  ThanhVu Nguyen and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias},\n  title        = {Bounded Exhaustive Search of Alloy Specification Repairs},\n  journal      = {CoRR},\n  volume       = {abs/2103.00327},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2103.00327},\n  eprinttype    = {arXiv},\n  eprint       = {2103.00327},\n  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-00327.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2019\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2019')\"\n      onkeypress=\"toggleGroup('group_2019')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2019</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"zemn-brida-bermdez-rosso-aguirre-mili-jaoua-frias-strykerscalingspecificationbasedprogramrepairbypruninginfeasiblemutantswithsat-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://arxiv.org/abs/1910.14011\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'zemn-brida-bermdez-rosso-aguirre-mili-jaoua-frias-strykerscalingspecificationbasedprogramrepairbypruninginfeasiblemutantswithsat-2019', 'http://arxiv.org/abs/1910.14011', event);\">\n    Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Zemín, L.; <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Bermúdez, S.; Rosso, S. P. D.; Aguirre, N.; Mili, A.; Jaoua, A.;  and Frias, M. F.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/1910.14011.  2019.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://arxiv.org/abs/1910.14011\"\n     onclick=\"log_download('zemn-brida-bermdez-rosso-aguirre-mili-jaoua-frias-strykerscalingspecificationbasedprogramrepairbypruninginfeasiblemutantswithsat-2019', 'http://arxiv.org/abs/1910.14011', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/zemn-brida-bermdez-rosso-aguirre-mili-jaoua-frias-strykerscalingspecificationbasedprogramrepairbypruninginfeasiblemutantswithsat-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('zemn-brida-bermdez-rosso-aguirre-mili-jaoua-frias-strykerscalingspecificationbasedprogramrepairbypruninginfeasiblemutantswithsat-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-1910-14011,\n  author       = {Luciano Zem{\\&#x27;{\\i}}n and\n                  Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Santiago Berm{\\&#x27;{u}}dez and\n                  Santiago Perez De Rosso and\n                  Nazareno Aguirre and\n                  Ali Mili and\n                  Ali Jaoua and\n                  Marcelo F. Frias},\n  title        = {Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible\n                  Mutants with {SAT}},\n  journal      = {CoRR},\n  volume       = {abs/1910.14011},\n  year         = {2019},\n  url          = {http://arxiv.org/abs/1910.14011},\n  eprinttype    = {arXiv},\n  eprint       = {1910.14011},\n  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-14011.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2018\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2018')\"\n      onkeypress=\"toggleGroup('group_2018')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2018</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"ponzio-bengolea-brida-scilingo-aguirre-frias-ontheeffectofobjectredundancyeliminationinrandomlytestingcollectionclasses-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/3194718.3194724\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ponzio-bengolea-brida-scilingo-aguirre-frias-ontheeffectofobjectredundancyeliminationinrandomlytestingcollectionclasses-2018', 'https://doi.org/10.1145/3194718.3194724', event);\">\n    On the effect of object redundancy elimination in randomly testing collection classes.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Ponzio, P.; Bengolea, V. S.; <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Scilingo, G.; Aguirre, N.;  and Frias, M. F.\n</span>\n\n  \n\n</span>\n\n  In Galeotti, J. P.;  and Gorla, A., editor(s), <i>Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018</i>, pages 67–70,  2018. ACM\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/3194718.3194724\"\n     onclick=\"log_download('ponzio-bengolea-brida-scilingo-aguirre-frias-ontheeffectofobjectredundancyeliminationinrandomlytestingcollectionclasses-2018', 'https://doi.org/10.1145/3194718.3194724', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"On the effect of object redundancy elimination in randomly testing collection classes [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3194718.3194724\"\n     onclick=\"log_download('ponzio-bengolea-brida-scilingo-aguirre-frias-ontheeffectofobjectredundancyeliminationinrandomlytestingcollectionclasses-2018', 'http://doi.org/10.1145/3194718.3194724', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ponzio-bengolea-brida-scilingo-aguirre-frias-ontheeffectofobjectredundancyeliminationinrandomlytestingcollectionclasses-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ponzio-bengolea-brida-scilingo-aguirre-frias-ontheeffectofobjectredundancyeliminationinrandomlytestingcollectionclasses-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/icse/PonzioBBSAF18,\n  author       = {Pablo Ponzio and\n                  Valeria S. Bengolea and\n                  Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Gast{\\&#x27;{o}}n Scilingo and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias},\n  editor       = {Juan Pablo Galeotti and\n                  Alessandra Gorla},\n  title        = {On the effect of object redundancy elimination in randomly testing\n                  collection classes},\n  booktitle    = {Proceedings of the 11th International Workshop on Search-Based Software\n                  Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},\n  pages        = {67--70},\n  publisher    = {{ACM}},\n  year         = {2018},\n  url          = {https://doi.org/10.1145/3194718.3194724},\n  doi          = {10.1145/3194718.3194724},\n  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icse/PonzioBBSAF18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2017\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2017')\"\n      onkeypress=\"toggleGroup('group_2017')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2017</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"brida-scilingo-booleanexpressionextenderamutationoperatorforstrengtheningandweakeningbooleanexpressions-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1109/CLEI.2017.8226471\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'brida-scilingo-booleanexpressionextenderamutationoperatorforstrengtheningandweakeningbooleanexpressions-2017', 'https://doi.org/10.1109/CLEI.2017.8226471', event);\">\n    Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>;  and Scilingo, G.\n</span>\n\n  \n\n</span>\n\n  In Monteverde, H.;  and Santos, R., editor(s), <i>2017 XLIII Latin American Computer Conference, CLEI 2017, Córdoba, Argentina, September 4-8, 2017</i>, pages 1–10,  2017. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1109/CLEI.2017.8226471\"\n     onclick=\"log_download('brida-scilingo-booleanexpressionextenderamutationoperatorforstrengtheningandweakeningbooleanexpressions-2017', 'https://doi.org/10.1109/CLEI.2017.8226471', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/CLEI.2017.8226471\"\n     onclick=\"log_download('brida-scilingo-booleanexpressionextenderamutationoperatorforstrengtheningandweakeningbooleanexpressions-2017', 'http://doi.org/10.1109/CLEI.2017.8226471', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/brida-scilingo-booleanexpressionextenderamutationoperatorforstrengtheningandweakeningbooleanexpressions-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('brida-scilingo-booleanexpressionextenderamutationoperatorforstrengtheningandweakeningbooleanexpressions-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/clei/BridaS17,\n  author       = {Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Gast{\\&#x27;{o}}n Scilingo},\n  editor       = {H{\\&#x27;{e}}ctor Monteverde and\n                  Rodrigo Santos},\n  title        = {Boolean expression extender - {A} mutation operator for strengthening\n                  and weakening boolean expressions},\n  booktitle    = {2017 {XLIII} Latin American Computer Conference, {CLEI} 2017, C{\\&#x27;{o}}rdoba,\n                  Argentina, September 4-8, 2017},\n  pages        = {1--10},\n  publisher    = {{IEEE}},\n  year         = {2017},\n  url          = {https://doi.org/10.1109/CLEI.2017.8226471},\n  doi          = {10.1109/CLEI.2017.8226471},\n  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/clei/BridaS17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"zemn-brida-godio-cornejo-degiovanni-regis-aguirre-frias-ananalysisofthesuitabilityoftestbasedpatchacceptancecriteria-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1109/SBST.2017.12\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'zemn-brida-godio-cornejo-degiovanni-regis-aguirre-frias-ananalysisofthesuitabilityoftestbasedpatchacceptancecriteria-2017', 'https://doi.org/10.1109/SBST.2017.12', event);\">\n    An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Zemín, L.; <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Godio, A.; Cornejo, C.; Degiovanni, R.; Regis, G.; Aguirre, N.;  and Frias, M. F.\n</span>\n\n  \n\n</span>\n\n  In <i>10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017</i>, pages 14–20,  2017. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1109/SBST.2017.12\"\n     onclick=\"log_download('zemn-brida-godio-cornejo-degiovanni-regis-aguirre-frias-ananalysisofthesuitabilityoftestbasedpatchacceptancecriteria-2017', 'https://doi.org/10.1109/SBST.2017.12', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"An Analysis of the Suitability of Test-Based Patch Acceptance Criteria [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/SBST.2017.12\"\n     onclick=\"log_download('zemn-brida-godio-cornejo-degiovanni-regis-aguirre-frias-ananalysisofthesuitabilityoftestbasedpatchacceptancecriteria-2017', 'http://doi.org/10.1109/SBST.2017.12', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/zemn-brida-godio-cornejo-degiovanni-regis-aguirre-frias-ananalysisofthesuitabilityoftestbasedpatchacceptancecriteria-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('zemn-brida-godio-cornejo-degiovanni-regis-aguirre-frias-ananalysisofthesuitabilityoftestbasedpatchacceptancecriteria-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/icse/ZeminBGCDRAF17,\n  author       = {Luciano Zem{\\&#x27;{\\i}}n and\n                  Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Ariel Godio and\n                  C{\\&#x27;{e}}sar Cornejo and\n                  Renzo Degiovanni and\n                  Germ{\\&#x27;{a}}n Regis and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias},\n  title        = {An Analysis of the Suitability of Test-Based Patch Acceptance Criteria},\n  booktitle    = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing,\n                  SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},\n  pages        = {14--20},\n  publisher    = {{IEEE}},\n  year         = {2017},\n  url          = {https://doi.org/10.1109/SBST.2017.12},\n  doi          = {10.1109/SBST.2017.12},\n  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/icse/ZeminBGCDRAF17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"regis-cornejo-brida-politano-raverta-ponzio-aguirre-galeotti-etal-dynalloyanalyzeratoolforthespecificationandanalysisofalloymodelswithdynamicbehaviour-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/3106237.3122826\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'regis-cornejo-brida-politano-raverta-ponzio-aguirre-galeotti-etal-dynalloyanalyzeratoolforthespecificationandanalysisofalloymodelswithdynamicbehaviour-2017', 'https://doi.org/10.1145/3106237.3122826', event);\">\n    DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Regis, G.; Cornejo, C.; <a class=\"bibbase author link\" href=\"https://saiema.github.io/publications\">Brida, S. G.</a>; Politano, M.; Raverta, F. D.; Ponzio, P.; Aguirre, N.; Galeotti, J. P.;  and Frias, M. F.\n</span>\n\n  \n\n</span>\n\n  In Bodden, E.; Schäfer, W.; van Deursen, A.;  and Zisman, A., editor(s), <i>Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017</i>, pages 969–973,  2017. ACM\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/3106237.3122826\"\n     onclick=\"log_download('regis-cornejo-brida-politano-raverta-ponzio-aguirre-galeotti-etal-dynalloyanalyzeratoolforthespecificationandanalysisofalloymodelswithdynamicbehaviour-2017', 'https://doi.org/10.1145/3106237.3122826', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3106237.3122826\"\n     onclick=\"log_download('regis-cornejo-brida-politano-raverta-ponzio-aguirre-galeotti-etal-dynalloyanalyzeratoolforthespecificationandanalysisofalloymodelswithdynamicbehaviour-2017', 'http://doi.org/10.1145/3106237.3122826', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/regis-cornejo-brida-politano-raverta-ponzio-aguirre-galeotti-etal-dynalloyanalyzeratoolforthespecificationandanalysisofalloymodelswithdynamicbehaviour-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('regis-cornejo-brida-politano-raverta-ponzio-aguirre-galeotti-etal-dynalloyanalyzeratoolforthespecificationandanalysisofalloymodelswithdynamicbehaviour-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/sigsoft/RegisCBPRPAGF17,\n  author       = {Germ{\\&#x27;{a}}n Regis and\n                  C{\\&#x27;{e}}sar Cornejo and\n                  Sim{\\&#x27;{o}}n Guti{\\&#x27;{e}}rrez Brida and\n                  Mariano Politano and\n                  Fernando D. Raverta and\n                  Pablo Ponzio and\n                  Nazareno Aguirre and\n                  Juan Pablo Galeotti and\n                  Marcelo F. Frias},\n  editor       = {Eric Bodden and\n                  Wilhelm Sch{\\&quot;{a}}fer and\n                  Arie van Deursen and\n                  Andrea Zisman},\n  title        = {DynAlloy analyzer: a tool for the specification and analysis of alloy\n                  models with dynamic behaviour},\n  booktitle    = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software\n                  Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},\n  pages        = {969--973},\n  publisher    = {{ACM}},\n  year         = {2017},\n  url          = {https://doi.org/10.1145/3106237.3122826},\n  doi          = {10.1145/3106237.3122826},\n  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},\n  biburl       = {https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);