var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fdblp.org%2Fpid%2F203%2F0017.bib&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fdblp.org%2Fpid%2F203%2F0017.bib&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fdblp.org%2Fpid%2F203%2F0017.bib&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\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 create a free account. 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
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2024\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding.\n \n \n \n \n\n\n \n Cornejo, C.; Novaira, M. M.; Permigiani, S.; Aguirre, N.; Frias, M. F.; Brida, S. G.; and Regis, G.\n\n\n \n\n\n\n In Bonfanti, S.; Gargantini, A.; Leuschel, M.; Riccobene, E.; and Scandurra, P., editor(s), Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings, volume 14759, of Lecture Notes in Computer Science, pages 141–159, 2024. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/zum/CornejoNPAFBR24,\n  author       = {C{\\'{e}}sar Cornejo and\n                  Mar{\\'{\\i}}a Marta Novaira and\n                  Sonia Permigiani and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias and\n                  Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and\n                  Germ{\\'{a}}n Regis},\n  editor       = {Silvia Bonfanti and\n                  Angelo Gargantini and\n                  Michael Leuschel and\n                  Elvinia Riccobene and\n                  Patrizia Scandurra},\n  title        = {An Analysis of the Impact of Field-Value Instance Navigation in Alloy's\n                  Model Finding},\n  booktitle    = {Rigorous State-Based Methods - 10th International Conference, {ABZ}\n                  2024, Bergamo, Italy, June 25-28, 2024, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14759},\n  pages        = {141--159},\n  publisher    = {Springer},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/978-3-031-63790-2\\_9},\n  doi          = {10.1007/978-3-031-63790-2\\_9},\n  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/zum/CornejoNPAFBR24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n ATR: template-based repair for Alloy specifications.\n \n \n \n \n\n\n \n Zheng, G.; Nguyen, T.; Brida, S. G.; Regis, G.; Aguirre, N.; Frias, M. F.; and Bagheri, H.\n\n\n \n\n\n\n In Ryu, S.; and Smaragdakis, Y., editor(s), ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022, pages 666–677, 2022. ACM\n \n\n\n\n
\n\n\n\n \n \n \"ATR:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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    = {Mon, 03 Mar 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/issta/ZhengNBRAFB22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.\n \n \n \n \n\n\n \n Brida, S. G.; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, pages 55:1–55:13, 2022. ACM\n \n\n\n\n
\n\n\n\n \n \n \"ICEBAR:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.\n \n \n \n \n\n\n \n Zheng, G.; Nguyen, T.; Brida, S. G.; Regis, G.; Frias, M. F.; Aguirre, N.; and Bagheri, H.\n\n\n \n\n\n\n In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, pages 179–180, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ArtifactPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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, 03 Mar 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21a.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.\n \n \n \n \n\n\n \n Brida, S. G.; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, pages 209–210, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ArtifactPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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, 03 Mar 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/icse/BridaRZBNAF21a.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n FLACK: Counterexample-Guided Fault Localization for Alloy Models.\n \n \n \n \n\n\n \n Zheng, G.; Nguyen, T.; Brida, S. G.; Regis, G.; Frias, M. F.; Aguirre, N.; and Bagheri, H.\n\n\n \n\n\n\n In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, pages 637–648, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"FLACK:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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 Mar 2025 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
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Bounded Exhaustive Search of Alloy Specification Repairs.\n \n \n \n \n\n\n \n Brida, S. G.; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, pages 1135–1147, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"BoundedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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 Mar 2025 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
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n BeAFix: An Automated Repair Tool for Faulty Alloy Models.\n \n \n \n \n\n\n \n Brida, S. G.; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, pages 1213–1217, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"BeAFix:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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, 03 Mar 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/kbse/BridaRZBNAF21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n FLACK: Localizing Faults in Alloy Models.\n \n \n \n \n\n\n \n Zheng, G.; Nguyen, T.; Brida, S. G.; Regis, G.; Frias, M. F.; Aguirre, N.; and Bagheri, H.\n\n\n \n\n\n\n In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, pages 1218–1222, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"FLACK:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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, 03 Mar 2025 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
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n FLACK: Counterexample-Guided Fault Localization for Alloy Models.\n \n \n \n \n\n\n \n Zheng, G.; Nguyen, T.; Brida, S. G.; Regis, G.; Frias, M. F.; Aguirre, N.; and Bagheri, H.\n\n\n \n\n\n\n CoRR, abs/2102.10152. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"FLACK:Paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Bounded Exhaustive Search of Alloy Specification Repairs.\n \n \n \n \n\n\n \n Brida, S. G.; Regis, G.; Zheng, G.; Bagheri, H.; Nguyen, T.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n CoRR, abs/2103.00327. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"BoundedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.\n \n \n \n \n\n\n \n Zemín, L.; Brida, S. G.; Bermúdez, S.; Rosso, S. P. D.; Aguirre, N.; Mili, A.; Jaoua, A.; and Frias, M. F.\n\n\n \n\n\n\n CoRR, abs/1910.14011. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"Stryker:Paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Mutación de expresiones de navegación para testing y reparación.\n \n \n \n \n\n\n \n Brida, S. G.\n\n\n \n\n\n\n Ph.D. Thesis, National University of Córdoba, Argentina, 2018.\n \n\n\n\n
\n\n\n\n \n \n \"MutaciónPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@phdthesis{DBLP:phd/lareferencia/Brida18,\n  author       = {Sim{\\'{o}}n Guti{\\'{e}}rrez Brida},\n  title        = {Mutaci{\\'{o}}n de expresiones de navegaci{\\'{o}}n para testing y reparaci{\\'{o}}n},\n  school       = {National University of C{\\'{o}}rdoba, Argentina},\n  year         = {2018},\n  url          = {http://hdl.handle.net/11086/14590},\n  timestamp    = {Fri, 07 Mar 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/phd/lareferencia/Brida18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On the effect of object redundancy elimination in randomly testing collection classes.\n \n \n \n \n\n\n \n Ponzio, P.; Bengolea, V. S.; Brida, S. G.; Scilingo, G.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Galeotti, J. P.; and Gorla, A., editor(s), Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018, pages 67–70, 2018. ACM\n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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    = {Mon, 03 Mar 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/icse/PonzioBBSAF18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions.\n \n \n \n \n\n\n \n Brida, S. G.; and Scilingo, G.\n\n\n \n\n\n\n In Monteverde, H.; and Santos, R., editor(s), 2017 XLIII Latin American Computer Conference, CLEI 2017, Córdoba, Argentina, September 4-8, 2017, pages 1–10, 2017. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"BooleanPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.\n \n \n \n \n\n\n \n Zemín, L.; Brida, S. G.; Godio, A.; Cornejo, C.; Degiovanni, R.; Regis, G.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In 10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, pages 14–20, 2017. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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    = {Mon, 03 Mar 2025 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
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.\n \n \n \n \n\n\n \n Regis, G.; Cornejo, C.; Brida, S. G.; Politano, M.; Raverta, F. D.; Ponzio, P.; Aguirre, N.; Galeotti, J. P.; and Frias, M. F.\n\n\n \n\n\n\n In Bodden, E.; Schäfer, W.; van Deursen, A.; and Zisman, A., editor(s), Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pages 969–973, 2017. ACM\n \n\n\n\n
\n\n\n\n \n \n \"DynAlloyPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@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    = {Mon, 03 Mar 2025 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);