\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 Group by\n \n \n
- \n Year\n
- \n Author\n
- \n Type\n
- \n Keyword\n
- \n Downloads\n
\n
\n \n \n \n \n
- \n \n Expand/Collapse All\n \n
- \n \n Download BibTeX\n \n
- \n \n RSS Feed\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            <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fmfis.dc.exa.unrc.edu.ar%2Fdownloads%2Fmfis-pubs.bib&jsonp=1&owner=none&jsonp=1\"></script>\n

\n\n PHP\n

\n            <?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fmfis.dc.exa.unrc.edu.ar%2Fdownloads%2Fmfis-pubs.bib&jsonp=1&owner=none\");\n            print_r($contents);\n            ?>\n

\n\n iFrame\n (not recommended)\n

\n            <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fmfis.dc.exa.unrc.edu.ar%2Fdownloads%2Fmfis-pubs.bib&jsonp=1&owner=none\"></iframe>\n

\n\n

\n For more details see the documention.\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

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

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

\n\n

\n \n \n Fix it now\n

\n\n

\n\n\n

\n \n \n

\n \n 2024\n \n \n (7)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Abstraction-Aware Inference of Metamorphic Relations.\n \n \n \n \n\n\n \n Nolasco, A.; Molina, F.; Degiovanni, R.; Gorla, A.; Garbervetsky, D.; Papadakis, M.; Uchitel, S.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n Proc. ACM Softw. Eng., 1(FSE): 450–472. 2024.\n \n\n\n\n
\n\n\n\n \n \n $\"Abstraction-Aware$ 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

@article{DBLP:journals/pacmse/NolascoMDGGPUAF24,\n  author       = {Agust{\\'{\\i}}n Nolasco and\n                  Facundo Molina and\n                  Renzo Degiovanni and\n                  Alessandra Gorla and\n                  Diego Garbervetsky and\n                  Mike Papadakis and\n                  Sebasti{\\'{a}}n Uchitel and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias},\n  title        = {Abstraction-Aware Inference of Metamorphic Relations},\n  journal      = {Proc. {ACM} Softw. Eng.},\n  volume       = {1},\n  number       = {{FSE}},\n  pages        = {450--472},\n  year         = {2024},\n  url          = {https://doi.org/10.1145/3643747},\n  doi          = {10.1145/3643747},\n  timestamp    = {Fri, 02 Aug 2024 21:41:22 +0200},\n  biburl       = {https://dblp.org/rec/journals/pacmse/NolascoMDGGPUAF24.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 BEAPI: A tool for bounded exhaustive input generation from APIs.\n \n \n \n \n\n\n \n Politano, M.; Bengolea, V. S.; Molina, F.; Aguirre, N.; Frias, M. F.; and Ponzio, P.\n\n\n \n\n\n\n Sci. Comput. Program., 238: 103153. 2024.\n \n\n\n\n
\n\n\n\n \n \n $\"BEAPI:$ 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

@article{DBLP:journals/scp/PolitanoBMAFP24,\n  author       = {Mariano Politano and\n                  Valeria S. Bengolea and\n                  Facundo Molina and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias and\n                  Pablo Ponzio},\n  title        = {{BEAPI:} {A} tool for bounded exhaustive input generation from APIs},\n  journal      = {Sci. Comput. Program.},\n  volume       = {238},\n  pages        = {103153},\n  year         = {2024},\n  url          = {https://doi.org/10.1016/j.scico.2024.103153},\n  doi          = {10.1016/J.SCICO.2024.103153},\n  timestamp    = {Mon, 03 Mar 2025 22:21:56 +0100},\n  biburl       = {https://dblp.org/rec/journals/scp/PolitanoBMAFP24.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 Scoping Software Engineering for AI: The TSE Perspective.\n \n \n \n \n\n\n \n Uchitel, S.; Chechik, M.; Penta, M. D.; Adams, B.; Aguirre, N.; Bavota, G.; Bianculli, D.; Blincoe, K.; Cavalcanti, A.; Dittrich, Y.; Ferrucci, F.; Hoda, R.; Huang, L.; Lo, D.; Lyu, M. R.; Ma, L.; Maletic, J. I.; Mariani, L.; McMillan, C.; Menzies, T.; Monperrus, M.; Moreno, A.; Nagappan, N.; Pasquale, L.; Pelliccione, P.; Pradel, M.; Purandare, R.; Ryu, S.; Sabetzadeh, M.; Serebrenik, A.; Sun, J.; Tantithamthavorn, C. K.; Treude, C.; Wimmer, M.; Xiong, Y.; Yue, T.; Zaidman, A.; Zhang, T.; and Zhong, H.\n\n\n \n\n\n\n IEEE Trans. Software Eng., 50(11): 2709–2711. 2024.\n \n\n\n\n
\n\n\n\n \n \n $\"Scoping$ 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

@article{DBLP:journals/tse/UchitelCPAABBBCDFHHLLMM24,\n  author       = {Sebasti{\\'{a}}n Uchitel and\n                  Marsha Chechik and\n                  Massimiliano Di Penta and\n                  Bram Adams and\n                  Nazareno Aguirre and\n                  Gabriele Bavota and\n                  Domenico Bianculli and\n                  Kelly Blincoe and\n                  Ana Cavalcanti and\n                  Yvonne Dittrich and\n                  Filomena Ferrucci and\n                  Rashina Hoda and\n                  LiGuo Huang and\n                  David Lo and\n                  Michael R. Lyu and\n                  Lei Ma and\n                  Jonathan I. Maletic and\n                  Leonardo Mariani and\n                  Collin McMillan and\n                  Tim Menzies and\n                  Martin Monperrus and\n                  Ana Moreno and\n                  Nachiappan Nagappan and\n                  Liliana Pasquale and\n                  Patrizio Pelliccione and\n                  Michael Pradel and\n                  Rahul Purandare and\n                  Sukyoung Ryu and\n                  Mehrdad Sabetzadeh and\n                  Alexander Serebrenik and\n                  Jun Sun and\n                  Chakkrit Kla Tantithamthavorn and\n                  Christoph Treude and\n                  Manuel Wimmer and\n                  Yingfei Xiong and\n                  Tao Yue and\n                  Andy Zaidman and\n                  Tao Zhang and\n                  Hao Zhong},\n  title        = {Scoping Software Engineering for {AI:} The {TSE} Perspective},\n  journal      = {{IEEE} Trans. Software Eng.},\n  volume       = {50},\n  number       = {11},\n  pages        = {2709--2711},\n  year         = {2024},\n  url          = {https://doi.org/10.1109/TSE.2024.3470368},\n  doi          = {10.1109/TSE.2024.3470368},\n  timestamp    = {Mon, 03 Mar 2025 22:26:08 +0100},\n  biburl       = {https://dblp.org/rec/journals/tse/UchitelCPAABBBCDFHHLLMM24.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 SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions.\n \n \n \n \n\n\n \n Carvalho, L.; Degiovanni, R.; Cordy, M.; Aguirre, N.; Traon, Y. L.; and Papadakis, M.\n\n\n \n\n\n\n In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, pages 123:1–123:13, 2024. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"SpecBCFuzz:$ 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

@inproceedings{DBLP:conf/icse/CarvalhoDCATP24,\n  author       = {Luiz Carvalho and\n                  Renzo Degiovanni and\n                  Maxime Cordy and\n                  Nazareno Aguirre and\n                  Yves Le Traon and\n                  Mike Papadakis},\n  title        = {SpecBCFuzz: Fuzzing {LTL} Solvers with Boundary Conditions},\n  booktitle    = {Proceedings of the 46th {IEEE/ACM} International Conference on Software\n                  Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},\n  pages        = {123:1--123:13},\n  publisher    = {{ACM}},\n  year         = {2024},\n  url          = {https://doi.org/10.1145/3597503.3639087},\n  doi          = {10.1145/3597503.3639087},\n  timestamp    = {Sun, 19 Jan 2025 13:14:50 +0100},\n  biburl       = {https://dblp.org/rec/conf/icse/CarvalhoDCATP24.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 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 $\"An$ 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

@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 21:25:08 +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 Abstraction-Aware Inference of Metamorphic Relations (Replication Package) (Version 1).\n \n \n \n \n\n\n \n Nolasco, A.; Molina, F.; Degiovanni, R.; Gorla, A.; Garbervetsky, D.; Papadakis, M.; Uchitel, S.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.10683011, February 2024.\n Accessed on YYYY-MM-DD.\n\n\n\n
\n\n\n\n \n \n $\"Abstraction-Aware$ 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

@misc{DBLP:data/11/NolascoMDGGPUAF24,\n  author       = {Agust{\\'{\\i}}n Nolasco and\n                  Facundo Molina and\n                  Renzo Degiovanni and\n                  Alessandra Gorla and\n                  Diego Garbervetsky and\n                  Mike Papadakis and\n                  Sebasti{\\'{a}}n Uchitel and\n                  Nazareno Aguirre and\n                  Marcelo F. Frias},\n  title        = {Abstraction-Aware Inference of Metamorphic Relations (Replication\n                  Package) (Version 1)},\n  publisher    = {Zenodo},\n  year         = {2024},\n  month        = feb,\n  howpublished = {\\url{https://doi.org/10.5281/zenodo.10683011}},\n  note         = {Accessed on YYYY-MM-DD.},\n  url          = {https://doi.org/10.5281/zenodo.10683011},\n  doi          = {10.5281/ZENODO.10683011},\n  timestamp    = {Wed, 22 Jan 2025 12:12:25 +0100},\n  biburl       = {https://dblp.org/rec/data/11/NolascoMDGGPUAF24.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 Tolerange: Quantifying Fault Masking in Stochastic Systems.\n \n \n \n \n\n\n \n Putruele, L.; Demasi, R.; Castro, P. F.; and D'Argenio, P. R.\n\n\n \n\n\n\n In Neele, T.; and Wijs, A., editor(s), Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings, volume 14624, of Lecture Notes in Computer Science, pages 176–183, 2024. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Tolerange:$ 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

@inproceedings{DBLP:conf/spin/PutrueleDCD24,\n  author       = {Luciano Putruele and\n                  Ramiro Demasi and\n                  Pablo F. Castro and\n                  Pedro R. D'Argenio},\n  editor       = {Thomas Neele and\n                  Anton Wijs},\n  title        = {Tolerange: Quantifying Fault Masking in Stochastic Systems},\n  booktitle    = {Model Checking Software - 30th International Symposium, {SPIN} 2024,\n                  Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14624},\n  pages        = {176--183},\n  publisher    = {Springer},\n  year         = {2024},\n  url          = {https://doi.org/10.1007/978-3-031-66149-5\\_10},\n  doi          = {10.1007/978-3-031-66149-5\\_10},\n  timestamp    = {Wed, 06 Nov 2024 22:17:12 +0100},\n  biburl       = {https://dblp.org/rec/conf/spin/PutrueleDCD24.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 2023\n \n \n (15)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n A Study of the Electrum and DynAlloy Dynamic Behavior Notations.\n \n \n \n \n\n\n \n Cornejo, C.; Regis, G.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n IEEE Trans. Software Eng., 49(11): 4946–4963. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@article{DBLP:journals/tse/CornejoRAF23,\n\tauthor = {C{\\'{e}}sar Cornejo and Germ{\\'{a}}n Regis and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/tse/CornejoRAF23.bib},\n\tdate-added = {2023-12-08 17:22:51 -0300},\n\tdate-modified = {2023-12-08 17:22:51 -0300},\n\tdoi = {10.1109/TSE.2023.3320625},\n\tjournal = {{IEEE} Trans. Software Eng.},\n\tnumber = {11},\n\tpages = {4946--4963},\n\ttimestamp = {Wed, 06 Dec 2023 00:00:00 +0100},\n\ttitle = {A Study of the Electrum and DynAlloy Dynamic Behavior Notations},\n\turl = {https://doi.org/10.1109/TSE.2023.3320625},\n\tvolume = {49},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/tse/CornejoRAF23},\n\tbdsk-url-2 = {https://doi.org/10.1109/TSE.2023.3320625}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n ACoRe: Automated Goal-Conflict Resolution.\n \n \n \n \n\n\n \n Carvalho, L.; Degiovanni, R.; Brizzio, M.; Cordy, M.; Aguirre, N.; Traon, Y. L.; and Papadakis, M.\n\n\n \n\n\n\n CoRR, abs/2303.05213. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"ACoRe:$ 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

@article{DBLP:journals/corr/abs-2303-05213,\n\tauthor = {Luiz Carvalho and Renzo Degiovanni and Mat{\\'{\\i}}as Brizzio and Maxime Cordy and Nazareno Aguirre and Yves Le Traon and Mike Papadakis},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2303-05213.bib},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.48550/ARXIV.2303.05213},\n\teprint = {2303.05213},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Wed, 15 Mar 2023 00:00:00 +0100},\n\ttitle = {ACoRe: Automated Goal-Conflict Resolution},\n\turl = {https://doi.org/10.48550/arXiv.2303.05213},\n\tvolume = {abs/2303.05213},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2303-05213},\n\tbdsk-url-2 = {https://doi.org/10.48550/arXiv.2303.05213}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Specification Inference for Evolving Systems.\n \n \n \n \n\n\n \n Degiovanni, R.; Molina, F.; Nolasco, A.; Aguirre, N.; and Papadakis, M.\n\n\n \n\n\n\n CoRR, abs/2301.12403. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Specification$ 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

@article{DBLP:journals/corr/abs-2301-12403,\n\tauthor = {Renzo Degiovanni and Facundo Molina and Agustin Nolasco and Nazareno Aguirre and Mike Papadakis},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2301-12403.bib},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.48550/ARXIV.2301.12403},\n\teprint = {2301.12403},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Wed, 01 Feb 2023 00:00:00 +0100},\n\ttitle = {Specification Inference for Evolving Systems},\n\turl = {https://doi.org/10.48550/arXiv.2301.12403},\n\tvolume = {abs/2301.12403},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2301-12403},\n\tbdsk-url-2 = {https://doi.org/10.48550/arXiv.2301.12403}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Assertion Inferring Mutants.\n \n \n \n \n\n\n \n Garg, A.; Degiovanni, R.; Molina, F.; Papadakis, M.; Aguirre, N.; Cordy, M.; and Traon, Y. L.\n\n\n \n\n\n\n CoRR, abs/2301.12284. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Assertion$ 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

@article{DBLP:journals/corr/abs-2301-12284,\n\tauthor = {Aayush Garg and Renzo Degiovanni and Facundo Molina and Mike Papadakis and Nazareno Aguirre and Maxime Cordy and Yves Le Traon},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2301-12284.bib},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.48550/ARXIV.2301.12284},\n\teprint = {2301.12284},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Wed, 01 Feb 2023 00:00:00 +0100},\n\ttitle = {Assertion Inferring Mutants},\n\turl = {https://doi.org/10.48550/arXiv.2301.12284},\n\tvolume = {abs/2301.12284},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2301-12284},\n\tbdsk-url-2 = {https://doi.org/10.48550/arXiv.2301.12284}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing.\n \n \n \n \n\n\n \n Molina, F.; d'Amorim , M.; and Aguirre, N.\n\n\n \n\n\n\n In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pages 2094–2097, 2023. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"SpecFuzzer:$ 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

@inproceedings{DBLP:conf/kbse/MolinadA23,\n\tauthor = {Facundo Molina and Marcelo d'Amorim and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/kbse/MolinadA23.bib},\n\tbooktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2023, Luxembourg, September 11-15, 2023},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ASE56229.2023.00024},\n\tpages = {2094--2097},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Thu, 16 Nov 2023 09:03:51 +0100},\n\ttitle = {SpecFuzzer: {A} Tool for Inferring Class Specifications via Grammar-Based Fuzzing},\n\turl = {https://doi.org/10.1109/ASE56229.2023.00024},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/kbse/MolinadA23},\n\tbdsk-url-2 = {https://doi.org/10.1109/ASE56229.2023.00024}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n EvoSpex: A Search-Based Tool for Postcondition Inference.\n \n \n \n \n\n\n \n Molina, F.; Ponzio, P.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Just, R.; and Fraser, G., editor(s), Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pages 1519–1522, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"EvoSpex:$ 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

@inproceedings{DBLP:conf/issta/MolinaPAF23,\n\tauthor = {Facundo Molina and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/issta/MolinaPAF23.bib},\n\tbooktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July 17-21, 2023},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1145/3597926.3604928},\n\teditor = {Ren{\\'{e}} Just and Gordon Fraser},\n\tpages = {1519--1522},\n\tpublisher = {{ACM}},\n\ttimestamp = {Mon, 17 Jul 2023 11:49:17 +0200},\n\ttitle = {EvoSpex: {A} Search-Based Tool for Postcondition Inference},\n\turl = {https://doi.org/10.1145/3597926.3604928},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/issta/MolinaPAF23},\n\tbdsk-url-2 = {https://doi.org/10.1145/3597926.3604928}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Enabling Efficient Assertion Inference.\n \n \n \n \n\n\n \n Garg, A.; Degiovanni, R.; Molina, F.; Cordy, M.; Aguirre, N.; Papadakis, M.; and Traon, Y. L.\n\n\n \n\n\n\n In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, pages 623–634, 2023. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Enabling$ 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

@inproceedings{DBLP:conf/issre/GargDMCAPT23,\n\tauthor = {Aayush Garg and Renzo Degiovanni and Facundo Molina and Maxime Cordy and Nazareno Aguirre and Mike Papadakis and Yves Le Traon},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/issre/GargDMCAPT23.bib},\n\tbooktitle = {34th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2023, Florence, Italy, October 9-12, 2023},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ISSRE59848.2023.00039},\n\tpages = {623--634},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Tue, 14 Nov 2023 00:00:00 +0100},\n\ttitle = {Enabling Efficient Assertion Inference},\n\turl = {https://doi.org/10.1109/ISSRE59848.2023.00039},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/issre/GargDMCAPT23},\n\tbdsk-url-2 = {https://doi.org/10.1109/ISSRE59848.2023.00039}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Precise Lazy Initialization for Programs with Complex Heap Inputs.\n \n \n \n \n\n\n \n Copia, J. M.; Molina, F.; Aguirre, N.; Frias, M. F.; Gorla, A.; and Ponzio, P.\n\n\n \n\n\n\n In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, pages 752–762, 2023. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Precise$ 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

@inproceedings{DBLP:conf/issre/CopiaMAFGP23,\n\tauthor = {Juan Manuel Copia and Facundo Molina and Nazareno Aguirre and Marcelo F. Frias and Alessandra Gorla and Pablo Ponzio},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/issre/CopiaMAFGP23.bib},\n\tbooktitle = {34th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2023, Florence, Italy, October 9-12, 2023},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ISSRE59848.2023.00080},\n\tpages = {752--762},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Tue, 14 Nov 2023 16:09:47 +0100},\n\ttitle = {Precise Lazy Initialization for Programs with Complex Heap Inputs},\n\turl = {https://doi.org/10.1109/ISSRE59848.2023.00080},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/issre/CopiaMAFGP23},\n\tbdsk-url-2 = {https://doi.org/10.1109/ISSRE59848.2023.00080}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.\n \n \n \n \n\n\n \n Brizzio, M.; Cordy, M.; Papadakis, M.; Sánchez, C.; Aguirre, N.; and Degiovanni, R.\n\n\n \n\n\n\n In Silva, S.; and Paquete, L., editor(s), Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, pages 1499–1507, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Automated$ 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

@inproceedings{DBLP:conf/gecco/BrizzioCPSAD23,\n\tauthor = {Mat{\\'{\\i}}as Brizzio and Maxime Cordy and Mike Papadakis and C{\\'{e}}sar S{\\'{a}}nchez and Nazareno Aguirre and Renzo Degiovanni},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/gecco/BrizzioCPSAD23.bib},\n\tbooktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, {GECCO} 2023, Lisbon, Portugal, July 15-19, 2023},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1145/3583131.3590454},\n\teditor = {Sara Silva and Lu{\\'{\\i}}s Paquete},\n\tpages = {1499--1507},\n\tpublisher = {{ACM}},\n\ttimestamp = {Sat, 30 Sep 2023 01:00:00 +0200},\n\ttitle = {Automated Repair of Unrealisable {LTL} Specifications Guided by Model Counting},\n\turl = {https://doi.org/10.1145/3583131.3590454},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/gecco/BrizzioCPSAD23},\n\tbdsk-url-2 = {https://doi.org/10.1145/3583131.3590454}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Efficient Bounded Exhaustive Input Generation from Program APIs.\n \n \n \n \n\n\n \n Politano, M.; Bengolea, V. S.; Molina, F.; Aguirre, N.; Frias, M. F.; and Ponzio, P.\n\n\n \n\n\n\n In Lambers, L.; and Uchitel, S., editor(s), Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, volume 13991, of Lecture Notes in Computer Science, pages 111–132, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Efficient$ 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

@inproceedings{DBLP:conf/fase/PolitanoBMAFP23,\n\tauthor = {Mariano Politano and Valeria S. Bengolea and Facundo Molina and Nazareno Aguirre and Marcelo F. Frias and Pablo Ponzio},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/fase/PolitanoBMAFP23.bib},\n\tbooktitle = {Fundamental Approaches to Software Engineering - 26th International Conference, {FASE} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1007/978-3-031-30826-0\\_6},\n\teditor = {Leen Lambers and Sebasti{\\'{a}}n Uchitel},\n\tpages = {111--132},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Sat, 13 May 2023 01:00:00 +0200},\n\ttitle = {Efficient Bounded Exhaustive Input Generation from Program APIs},\n\turl = {https://doi.org/10.1007/978-3-031-30826-0\\_6},\n\tvolume = {13991},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/fase/PolitanoBMAFP23},\n\tbdsk-url-2 = {https://doi.org/10.1007/978-3-031-30826-0_6}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n ACoRe: Automated Goal-Conflict Resolution.\n \n \n \n \n\n\n \n Carvalho, L.; Degiovanni, R.; Brizzio, M.; Cordy, M.; Aguirre, N.; Traon, Y. L.; and Papadakis, M.\n\n\n \n\n\n\n In Lambers, L.; and Uchitel, S., editor(s), Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, volume 13991, of Lecture Notes in Computer Science, pages 3–25, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"ACoRe:$ 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

@inproceedings{DBLP:conf/fase/CarvalhoDBCATP23,\n\tauthor = {Luiz Carvalho and Renzo Degiovanni and Mat{\\'{\\i}}as Brizzio and Maxime Cordy and Nazareno Aguirre and Yves Le Traon and Mike Papadakis},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/fase/CarvalhoDBCATP23.bib},\n\tbooktitle = {Fundamental Approaches to Software Engineering - 26th International Conference, {FASE} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1007/978-3-031-30826-0\\_1},\n\teditor = {Leen Lambers and Sebasti{\\'{a}}n Uchitel},\n\tpages = {3--25},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Sat, 30 Sep 2023 01:00:00 +0200},\n\ttitle = {ACoRe: Automated Goal-Conflict Resolution},\n\turl = {https://doi.org/10.1007/978-3-031-30826-0\\_1},\n\tvolume = {13991},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/fase/CarvalhoDBCATP23},\n\tbdsk-url-2 = {https://doi.org/10.1007/978-3-031-30826-0_1}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n A Deontic Logic of Knowingly Complying.\n \n \n \n \n\n\n \n Areces, C.; Cassano, V.; Castro, P. F.; Fervari, R.; and Saravia, A. R.\n\n\n \n\n\n\n In Agmon, N.; An, B.; Ricci, A.; and Yeoh, W., editor(s), Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pages 364–372, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@inproceedings{DBLP:conf/atal/ArecesCCFS23,\n\tauthor = {Carlos Areces and Valentin Cassano and Pablo F. Castro and Raul Fervari and Andr{\\'{e}}s R. Saravia},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/atal/ArecesCCFS23.bib},\n\tbooktitle = {Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May 2023 - 2 June 2023},\n\tdate-added = {2023-12-05 16:05:52 -0300},\n\tdate-modified = {2023-12-05 16:05:52 -0300},\n\tdoi = {10.5555/3545946.3598659},\n\teditor = {Noa Agmon and Bo An and Alessandro Ricci and William Yeoh},\n\tpages = {364--372},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 23 May 2023 14:27:14 +0200},\n\ttitle = {A Deontic Logic of Knowingly Complying},\n\turl = {https://dl.acm.org/doi/10.5555/3545946.3598659},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/atal/ArecesCCFS23},\n\tbdsk-url-2 = {https://dl.acm.org/doi/10.5555/3545946.3598659}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.\n \n \n \n \n\n\n \n Areces, C.; Cassano, V.; Castro, P. F.; Fervari, R.; and Saravia, A. R.\n\n\n \n\n\n\n In Gaggl, S. A.; Martinez, M. V.; and Ortiz, M., editor(s), Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, volume 14281, of Lecture Notes in Computer Science, pages 405–419, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"How$ 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

@inproceedings{DBLP:conf/jelia/ArecesCCFS23,\n\tauthor = {Carlos Areces and Valentin Cassano and Pablo F. Castro and Raul Fervari and Andr{\\'{e}}s R. Saravia},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/jelia/ArecesCCFS23.bib},\n\tbooktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA} 2023, Dresden, Germany, September 20-22, 2023, Proceedings},\n\tdate-added = {2023-12-05 16:05:52 -0300},\n\tdate-modified = {2023-12-05 16:05:52 -0300},\n\tdoi = {10.1007/978-3-031-43619-2\\_28},\n\teditor = {Sarah Alice Gaggl and Maria Vanina Martinez and Magdalena Ortiz},\n\tpages = {405--419},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Thu, 28 Sep 2023 17:18:56 +0200},\n\ttitle = {How Easy it is to Know How: An Upper Bound for the Satisfiability Problem},\n\turl = {https://doi.org/10.1007/978-3-031-43619-2\\_28},\n\tvolume = {14281},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/jelia/ArecesCCFS23},\n\tbdsk-url-2 = {https://doi.org/10.1007/978-3-031-43619-2_28}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Quantifying Masking Fault-Tolerance via Fair Stochastic Games.\n \n \n \n \n\n\n \n Castro, P. F.; D'Argenio, P. R.; Demasi, R.; and Putruele, L.\n\n\n \n\n\n\n In Mezzina, C. A.; and Caltais, G., editor(s), Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023, volume 387, of EPTCS, pages 132–148, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Quantifying$ 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

@inproceedings{DBLP:journals/corr/abs-2309-07309,\n\tauthor = {Pablo F. Castro and Pedro R. D'Argenio and Ramiro Demasi and Luciano Putruele},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2309-07309.bib},\n\tbooktitle = {Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023},\n\tdate-added = {2023-12-05 16:05:52 -0300},\n\tdate-modified = {2023-12-05 16:05:52 -0300},\n\tdoi = {10.4204/EPTCS.387.10},\n\teditor = {Claudio Antares Mezzina and Georgiana Caltais},\n\tpages = {132--148},\n\tseries = {{EPTCS}},\n\ttimestamp = {Wed, 25 Oct 2023 16:09:20 +0200},\n\ttitle = {Quantifying Masking Fault-Tolerance via Fair Stochastic Games},\n\turl = {https://doi.org/10.4204/EPTCS.387.10},\n\tvolume = {387},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2309-07309},\n\tbdsk-url-2 = {https://doi.org/10.4204/EPTCS.387.10}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.\n \n \n \n \n\n\n \n Areces, C.; Cassano, V.; Fervari, R.; Castro, P. F.; and Saravia, A. R.\n\n\n \n\n\n\n CoRR, abs/2309.17094. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"How$ 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

@article{DBLP:journals/corr/abs-2309-17094,\n\tauthor = {Carlos Areces and Valentin Cassano and Raul Fervari and Pablo F. Castro and Andr{\\'{e}}s R. Saravia},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2309-17094.bib},\n\tdate-added = {2023-12-05 16:05:52 -0300},\n\tdate-modified = {2023-12-05 16:05:52 -0300},\n\tdoi = {10.48550/ARXIV.2309.17094},\n\teprint = {2309.17094},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Tue, 17 Oct 2023 01:00:00 +0200},\n\ttitle = {How Easy it is to Know How: An Upper Bound for the Satisfiability Problem},\n\turl = {https://doi.org/10.48550/arXiv.2309.17094},\n\tvolume = {abs/2309.17094},\n\tyear = {2023},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2309-17094},\n\tbdsk-url-2 = {https://doi.org/10.48550/arXiv.2309.17094}}\n\n\n%%2022\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2022\n \n \n (9)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Playing Against Fair Adversaries in Stochastic Games with Total Rewards.\n \n \n \n \n\n\n \n Castro, P. F.; D'Argenio, P. R.; Demasi, R.; and Putruele, L.\n\n\n \n\n\n\n In Shoham, S.; and Vizel, Y., editor(s), Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, volume 13372, of Lecture Notes in Computer Science, pages 48–69, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Playing$ 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

@inproceedings{DBLP:conf/cav/CastroDDP22,\n\tauthor = {Pablo F. Castro and Pedro R. D'Argenio and Ramiro Demasi and Luciano Putruele},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/cav/CastroDDP22.bib},\n\tbooktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},\n\tdate-added = {2023-12-05 16:05:52 -0300},\n\tdate-modified = {2023-12-05 16:05:52 -0300},\n\tdoi = {10.1007/978-3-031-13188-2\\_3},\n\teditor = {Sharon Shoham and Yakir Vizel},\n\tpages = {48--69},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Thu, 25 Aug 2022 01:00:00 +0200},\n\ttitle = {Playing Against Fair Adversaries in Stochastic Games with Total Rewards},\n\turl = {https://doi.org/10.1007/978-3-031-13188-2\\_3},\n\tvolume = {13372},\n\tyear = {2022},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/cav/CastroDDP22},\n\tbdsk-url-2 = {https://doi.org/10.1007/978-3-031-13188-2_3}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n MaskD: A Tool for Measuring Masking Fault-Tolerance.\n \n \n \n \n\n\n \n Putruele, L.; Demasi, R.; Castro, P. F.; and D'Argenio, P. R.\n\n\n \n\n\n\n In Fisman, D.; and Rosu, G., editor(s), Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, volume 13243, of Lecture Notes in Computer Science, pages 396–403, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"MaskD:$ 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

@inproceedings{DBLP:conf/tacas/PutrueleDCD22,\n\tauthor = {Luciano Putruele and Ramiro Demasi and Pablo F. Castro and Pedro R. D'Argenio},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/tacas/PutrueleDCD22.bib},\n\tbooktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, {TACAS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},\n\tdate-added = {2023-12-05 16:05:52 -0300},\n\tdate-modified = {2023-12-05 16:05:52 -0300},\n\tdoi = {10.1007/978-3-030-99524-9\\_22},\n\teditor = {Dana Fisman and Grigore Rosu},\n\tpages = {396--403},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Fri, 29 Apr 2022 14:50:36 +0200},\n\ttitle = {MaskD: {A} Tool for Measuring Masking Fault-Tolerance},\n\turl = {https://doi.org/10.1007/978-3-030-99524-9\\_22},\n\tvolume = {13243},\n\tyear = {2022},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/tacas/PutrueleDCD22},\n\tbdsk-url-2 = {https://doi.org/10.1007/978-3-030-99524-9_22}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification.\n \n \n \n \n\n\n \n Castro, P. F.; D'Argenio, P. R.; Putruele, L.; and Demasi, R.\n\n\n \n\n\n\n CoRR, abs/2207.02045. 2022.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@article{DBLP:journals/corr/abs-2207-02045,\n\tauthor = {Pablo F. Castro and Pedro R. D'Argenio and Luciano Putruele and Ramiro Demasi},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2207-02045.bib},\n\tdate-added = {2023-12-05 16:05:52 -0300},\n\tdate-modified = {2023-12-05 16:05:52 -0300},\n\tdoi = {10.48550/ARXIV.2207.02045},\n\teprint = {2207.02045},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Wed, 06 Jul 2022 01:00:00 +0200},\n\ttitle = {A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification},\n\turl = {https://doi.org/10.48550/arXiv.2207.02045},\n\tvolume = {abs/2207.02045},\n\tyear = {2022},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2207-02045},\n\tbdsk-url-2 = {https://doi.org/10.48550/arXiv.2207.02045}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Fuzzing Class Specifications.\n \n \n \n \n\n\n \n Molina, F.; d'Amorim , M.; and Aguirre, N.\n\n\n \n\n\n\n CoRR, abs/2201.10874. 2022.\n \n\n\n\n
\n\n\n\n \n \n $\"Fuzzing$ 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

@article{DBLP:journals/corr/abs-2201-10874,\n\tauthor = {Facundo Molina and Marcelo d'Amorim and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2201-10874.bib},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\teprint = {2201.10874},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Tue, 01 Feb 2022 00:00:00 +0100},\n\ttitle = {Fuzzing Class Specifications},\n\turl = {https://arxiv.org/abs/2201.10874},\n\tvolume = {abs/2201.10874},\n\tyear = {2022},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2201-10874},\n\tbdsk-url-2 = {https://arxiv.org/abs/2201.10874}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n LISSA: Lazy Initialization with Specialized Solver Aid.\n \n \n \n \n\n\n \n Copia, J. M.; Ponzio, P.; Aguirre, N.; Gorla, A.; 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 67:1–67:12, 2022. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"LISSA:$ 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

@inproceedings{DBLP:conf/kbse/CopiaPAGF22,\n\tauthor = {Juan Manuel Copia and Pablo Ponzio and Nazareno Aguirre and Alessandra Gorla and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/kbse/CopiaPAGF22.bib},\n\tbooktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2022, Rochester, MI, USA, October 10-14, 2022},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1145/3551349.3556965},\n\tpages = {67:1--67:12},\n\tpublisher = {{ACM}},\n\ttimestamp = {Wed, 18 Jan 2023 00:00:00 +0100},\n\ttitle = {{LISSA:} Lazy Initialization with Specialized Solver Aid},\n\turl = {https://doi.org/10.1145/3551349.3556965},\n\tyear = {2022},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/kbse/CopiaPAGF22},\n\tbdsk-url-2 = {https://doi.org/10.1145/3551349.3556965}}\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

@inproceedings{DBLP:conf/kbse/BridaRZBNAF22,\n\tauthor = {Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Guolong Zheng and Hamid Bagheri and ThanhVu Nguyen and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/kbse/BridaRZBNAF22.bib},\n\tbooktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2022, Rochester, MI, USA, October 10-14, 2022},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1145/3551349.3556944},\n\tpages = {55:1--55:13},\n\tpublisher = {{ACM}},\n\ttimestamp = {Sun, 15 Jan 2023 00:00:00 +0100},\n\ttitle = {{ICEBAR:} Feedback-Driven Iterative Repair of Alloy Specifications},\n\turl = {https://doi.org/10.1145/3551349.3556944},\n\tyear = {2022},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/kbse/BridaRZBNAF22},\n\tbdsk-url-2 = {https://doi.org/10.1145/3551349.3556944}}\n\n

\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

@inproceedings{DBLP:conf/issta/ZhengNBRAFB22,\n\tauthor = {Guolong Zheng and ThanhVu Nguyen and Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Nazareno Aguirre and Marcelo F. Frias and Hamid Bagheri},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/issta/ZhengNBRAFB22.bib},\n\tbooktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1145/3533767.3534369},\n\teditor = {Sukyoung Ryu and Yannis Smaragdakis},\n\tpages = {666--677},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 26 Jul 2022 16:24:43 +0200},\n\ttitle = {{ATR:} template-based repair for Alloy specifications},\n\turl = {https://doi.org/10.1145/3533767.3534369},\n\tyear = {2022},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/issta/ZhengNBRAFB22},\n\tbdsk-url-2 = {https://doi.org/10.1145/3533767.3534369}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Learning to Prune Infeasible Paths in Generalized Symbolic Execution.\n \n \n \n \n\n\n \n Molina, F.; Ponzio, P.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, pages 494–504, 2022. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Learning$ 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

@inproceedings{DBLP:conf/issre/MolinaPAF22,\n\tauthor = {Facundo Molina and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/issre/MolinaPAF22.bib},\n\tbooktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering, {ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ISSRE55969.2022.00054},\n\tpages = {494--504},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Wed, 11 Jan 2023 13:11:43 +0100},\n\ttitle = {Learning to Prune Infeasible Paths in Generalized Symbolic Execution},\n\turl = {https://doi.org/10.1109/ISSRE55969.2022.00054},\n\tyear = {2022},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/issre/MolinaPAF22},\n\tbdsk-url-2 = {https://doi.org/10.1109/ISSRE55969.2022.00054}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Fuzzing Class Specifications.\n \n \n \n \n\n\n \n Molina, F.; d'Amorim , M.; and Aguirre, N.\n\n\n \n\n\n\n In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, pages 1008–1020, 2022. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Fuzzing$ 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

@inproceedings{DBLP:conf/icse/MolinadA22,\n\tauthor = {Facundo Molina and Marcelo d'Amorim and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/MolinadA22.bib},\n\tbooktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering, {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1145/3510003.3510120},\n\tpages = {1008--1020},\n\tpublisher = {{ACM}},\n\ttimestamp = {Mon, 18 Jul 2022 16:47:42 +0200},\n\ttitle = {Fuzzing Class Specifications},\n\turl = {https://doi.org/10.1145/3510003.3510120},\n\tyear = {2022},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/icse/MolinadA22},\n\tbdsk-url-2 = {https://doi.org/10.1145/3510003.3510120}}\n\n\n%%2021\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2021\n \n \n (15)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Deontic Action Logics via Algebra.\n \n \n \n \n\n\n \n Castro, P. F.; Cassano, V.; Fervari, R.; and Areces, C.\n\n\n \n\n\n\n In Liu, F.; Marra, A.; Portner, P.; and Putte, F. V. D., editor(s), Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021, pages 77–93, 2021. College Publications\n \n\n\n\n
\n\n\n\n \n \n $\"Deontic$ 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

@inproceedings{DBLP:conf/deon/CastroCFA21,\n\tauthor = {Pablo F. Castro and Valentin Cassano and Raul Fervari and Carlos Areces},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/deon/CastroCFA21.bib},\n\tbooktitle = {Deontic Logic and Normative Systems - 15th International Conference, {DEON} 2020/21, Munich, Germany [virtual], July 21-24, 2021},\n\tdate-added = {2023-12-05 16:05:52 -0300},\n\tdate-modified = {2023-12-05 16:05:52 -0300},\n\teditor = {Fenrong Liu and Alessandra Marra and Paul Portner and Frederik Van De Putte},\n\tpages = {77--93},\n\tpublisher = {College Publications},\n\ttimestamp = {Mon, 28 Aug 2023 10:20:20 +0200},\n\ttitle = {Deontic Action Logics via Algebra},\n\turl = {https://dblp.org/rec/conf/deon/CastroCFA21},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/deon/CastroCFA21}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Playing Against Fair Adversaries in Stochastic Games with Total Rewards.\n \n \n \n \n\n\n \n Castro, P. F.; D'Argenio, P. R.; Putruele, L.; and Demasi, R.\n\n\n \n\n\n\n CoRR, abs/2112.09811. 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Playing$ 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

@article{DBLP:journals/corr/abs-2112-09811,\n\tauthor = {Pablo F. Castro and Pedro R. D'Argenio and Luciano Putruele and Ramiro Demasi},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2112-09811.bib},\n\tdate-added = {2023-12-05 16:05:52 -0300},\n\tdate-modified = {2023-12-05 16:05:52 -0300},\n\teprint = {2112.09811},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Mon, 03 Jan 2022 00:00:00 +0100},\n\ttitle = {Playing Against Fair Adversaries in Stochastic Games with Total Rewards},\n\turl = {https://arxiv.org/abs/2112.09811},\n\tvolume = {abs/2112.09811},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2112-09811},\n\tbdsk-url-2 = {https://arxiv.org/abs/2112.09811}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.\n \n \n \n \n\n\n \n Brizzio, M.; Degiovanni, R.; Cordy, M.; Papadakis, M.; and Aguirre, N.\n\n\n \n\n\n\n CoRR, abs/2105.12595. 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Automated$ 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

@article{DBLP:journals/corr/abs-2105-12595,\n\tauthor = {Mat{\\'{\\i}}as Brizzio and Renzo Degiovanni and Maxime Cordy and Mike Papadakis and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2105-12595.bib},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\teprint = {2105.12595},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Tue, 01 Jun 2021 01:00:00 +0200},\n\ttitle = {Automated Repair of Unrealisable {LTL} Specifications Guided by Model Counting},\n\turl = {https://arxiv.org/abs/2105.12595},\n\tvolume = {abs/2105.12595},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2105-12595},\n\tbdsk-url-2 = {https://arxiv.org/abs/2105.12595}}\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 $\"Bounded$ 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

@article{DBLP:journals/corr/abs-2103-00327,\n\tauthor = {Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Guolong Zheng and Hamid Bagheri and ThanhVu Nguyen and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2103-00327.bib},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\teprint = {2103.00327},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Thu, 04 Mar 2021 00:00:00 +0100},\n\ttitle = {Bounded Exhaustive Search of Alloy Specification Repairs},\n\turl = {https://arxiv.org/abs/2103.00327},\n\tvolume = {abs/2103.00327},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2103-00327},\n\tbdsk-url-2 = {https://arxiv.org/abs/2103.00327}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n EvoSpex: An Evolutionary Algorithm for Learning Postconditions.\n \n \n \n \n\n\n \n Molina, F.; Ponzio, P.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n CoRR, abs/2102.13569. 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"EvoSpex:$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 9 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{DBLP:journals/corr/abs-2102-13569,\n\tauthor = {Facundo Molina and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2102-13569.bib},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\teprint = {2102.13569},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Tue, 02 Mar 2021 00:00:00 +0100},\n\ttitle = {EvoSpex: An Evolutionary Algorithm for Learning Postconditions},\n\turl = {https://arxiv.org/abs/2102.13569},\n\tvolume = {abs/2102.13569},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2102-13569},\n\tbdsk-url-2 = {https://arxiv.org/abs/2102.13569}}\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

@article{DBLP:journals/corr/abs-2102-10152,\n\tauthor = {Guolong Zheng and ThanhVu Nguyen and Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Marcelo F. Frias and Nazareno Aguirre and Hamid Bagheri},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-2102-10152.bib},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\teprint = {2102.10152},\n\teprinttype = {arXiv},\n\tjournal = {CoRR},\n\ttimestamp = {Wed, 24 Feb 2021 00:00:00 +0100},\n\ttitle = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},\n\turl = {https://arxiv.org/abs/2102.10152},\n\tvolume = {abs/2102.10152},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/journals/corr/abs-2102-10152},\n\tbdsk-url-2 = {https://arxiv.org/abs/2102.10152}}\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

@inproceedings{DBLP:conf/kbse/ZhengNBRFAB21,\n\tauthor = {Guolong Zheng and ThanhVu Nguyen and Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Marcelo F. Frias and Nazareno Aguirre and Hamid Bagheri},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/kbse/ZhengNBRFAB21.bib},\n\tbooktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2021, Melbourne, Australia, November 15-19, 2021},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ASE51524.2021.9678740},\n\tpages = {1218--1222},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Mon, 24 Jan 2022 00:00:00 +0100},\n\ttitle = {{FLACK:} Localizing Faults in Alloy Models},\n\turl = {https://doi.org/10.1109/ASE51524.2021.9678740},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/kbse/ZhengNBRFAB21},\n\tbdsk-url-2 = {https://doi.org/10.1109/ASE51524.2021.9678740}}\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

@inproceedings{DBLP:conf/kbse/BridaRZBNAF21,\n\tauthor = {Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Guolong Zheng and Hamid Bagheri and ThanhVu Nguyen and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/kbse/BridaRZBNAF21.bib},\n\tbooktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2021, Melbourne, Australia, November 15-19, 2021},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ASE51524.2021.9678524},\n\tpages = {1213--1217},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Mon, 24 Jan 2022 16:18:34 +0100},\n\ttitle = {BeAFix: An Automated Repair Tool for Faulty Alloy Models},\n\turl = {https://doi.org/10.1109/ASE51524.2021.9678524},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/kbse/BridaRZBNAF21},\n\tbdsk-url-2 = {https://doi.org/10.1109/ASE51524.2021.9678524}}\n\n

\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 $\"Artifact$ 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

@inproceedings{DBLP:conf/icse/ZhengNBRFAB21a,\n\tauthor = {Guolong Zheng and ThanhVu Nguyen and Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Marcelo F. Frias and Nazareno Aguirre and Hamid Bagheri},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21a.bib},\n\tbooktitle = {43rd {IEEE/ACM} International Conference on Software Engineering: Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28, 2021},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ICSE-COMPANION52605.2021.00077},\n\tpages = {179--180},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Mon, 28 Jun 2021 01:00:00 +0200},\n\ttitle = {Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'},\n\turl = {https://doi.org/10.1109/ICSE-Companion52605.2021.00077},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21a},\n\tbdsk-url-2 = {https://doi.org/10.1109/ICSE-Companion52605.2021.00077}}\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

@inproceedings{DBLP:conf/icse/ZhengNBRFAB21,\n\tauthor = {Guolong Zheng and ThanhVu Nguyen and Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Marcelo F. Frias and Nazareno Aguirre and Hamid Bagheri},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21.bib},\n\tbooktitle = {43rd {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2021, Madrid, Spain, 22-30 May 2021},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ICSE43902.2021.00065},\n\tpages = {637--648},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Mon, 03 Jan 2022 00:00:00 +0100},\n\ttitle = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},\n\turl = {https://doi.org/10.1109/ICSE43902.2021.00065},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21},\n\tbdsk-url-2 = {https://doi.org/10.1109/ICSE43902.2021.00065}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).\n \n \n \n \n\n\n \n Molina, F.; Ponzio, P.; 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 185–186, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"EvoSpex:$ 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

@inproceedings{DBLP:conf/icse/MolinaPAF21a,\n\tauthor = {Facundo Molina and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/MolinaPAF21a.bib},\n\tbooktitle = {43rd {IEEE/ACM} International Conference on Software Engineering: Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28, 2021},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ICSE-COMPANION52605.2021.00080},\n\tpages = {185--186},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Mon, 28 Jun 2021 01:00:00 +0200},\n\ttitle = {EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)},\n\turl = {https://doi.org/10.1109/ICSE-Companion52605.2021.00080},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/icse/MolinaPAF21a},\n\tbdsk-url-2 = {https://doi.org/10.1109/ICSE-Companion52605.2021.00080}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n EvoSpex: An Evolutionary Algorithm for Learning Postconditions.\n \n \n \n \n\n\n \n Molina, F.; Ponzio, P.; 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 1223–1235, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"EvoSpex:$ 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 9 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/icse/MolinaPAF21,\n\tauthor = {Facundo Molina and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/MolinaPAF21.bib},\n\tbooktitle = {43rd {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2021, Madrid, Spain, 22-30 May 2021},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ICSE43902.2021.00112},\n\tpages = {1223--1235},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Mon, 07 Jun 2021 01:00:00 +0200},\n\ttitle = {EvoSpex: An Evolutionary Algorithm for Learning Postconditions},\n\turl = {https://doi.org/10.1109/ICSE43902.2021.00112},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/icse/MolinaPAF21},\n\tbdsk-url-2 = {https://doi.org/10.1109/ICSE43902.2021.00112}}\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 $\"Artifact$ 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

@inproceedings{DBLP:conf/icse/BridaRZBNAF21a,\n\tauthor = {Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Guolong Zheng and Hamid Bagheri and ThanhVu Nguyen and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/BridaRZBNAF21a.bib},\n\tbooktitle = {43rd {IEEE/ACM} International Conference on Software Engineering: Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28, 2021},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ICSE-COMPANION52605.2021.00093},\n\tpages = {209--210},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Mon, 28 Jun 2021 13:24:52 +0200},\n\ttitle = {Artifact of Bounded Exhaustive Search of Alloy Specification Repairs},\n\turl = {https://doi.org/10.1109/ICSE-Companion52605.2021.00093},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/icse/BridaRZBNAF21a},\n\tbdsk-url-2 = {https://doi.org/10.1109/ICSE-Companion52605.2021.00093}}\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 $\"Bounded$ 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

@inproceedings{DBLP:conf/icse/BridaRZBNAF21,\n\tauthor = {Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Germ{\\'{a}}n Regis and Guolong Zheng and Hamid Bagheri and ThanhVu Nguyen and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/BridaRZBNAF21.bib},\n\tbooktitle = {43rd {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2021, Madrid, Spain, 22-30 May 2021},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1109/ICSE43902.2021.00105},\n\tpages = {1135--1147},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Mon, 03 Jan 2022 00:00:00 +0100},\n\ttitle = {Bounded Exhaustive Search of Alloy Specification Repairs},\n\turl = {https://doi.org/10.1109/ICSE43902.2021.00105},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/icse/BridaRZBNAF21},\n\tbdsk-url-2 = {https://doi.org/10.1109/ICSE43902.2021.00105}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.\n \n \n \n \n\n\n \n Ponzio, P.; Godio, A.; Rosner, N.; Arroyo, M.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Guerra, E.; and Stoelinga, M., editor(s), Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, volume 12649, of Lecture Notes in Computer Science, pages 218–239, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Efficient$ 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

@inproceedings{DBLP:conf/fase/PonzioGRAAF21,\n\tauthor = {Pablo Ponzio and Ariel Godio and Nicol{\\'{a}}s Rosner and Marcelo Arroyo and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/fase/PonzioGRAAF21.bib},\n\tbooktitle = {Fundamental Approaches to Software Engineering - 24th International Conference, {FASE} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},\n\tdate-added = {2023-12-05 16:18:37 -0300},\n\tdate-modified = {2023-12-05 16:18:37 -0300},\n\tdoi = {10.1007/978-3-030-71500-7\\_11},\n\teditor = {Esther Guerra and Mari{\\"{e}}lle Stoelinga},\n\tpages = {218--239},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Fri, 14 May 2021 08:34:15 +0200},\n\ttitle = {Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds},\n\turl = {https://doi.org/10.1007/978-3-030-71500-7\\_11},\n\tvolume = {12649},\n\tyear = {2021},\n\tbdsk-url-1 = {https://dblp.org/rec/conf/fase/PonzioGRAAF21},\n\tbdsk-url-2 = {https://doi.org/10.1007/978-3-030-71500-7_11}}\n\n\n\n\n\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2020\n \n \n (1)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Default Modal Systems as Algebraic Updates.\n \n \n \n \n\n\n \n Cassano, V.; Fervari, R.; Areces, C.; and Castro, P. F.\n\n\n \n\n\n\n In Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers, volume 12569, of Lecture Notes in Computer Science, pages 103–119, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Default$ 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

@inproceedings{DBLP:conf/dali/CassanoFAC20,\n\tauthor = {Valentin Cassano and Raul Fervari and Carlos Areces and Pablo F. Castro},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/dali/CassanoFAC20.bib},\n\tbooktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop, DaL{\\'{\\i}} 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers},\n\tdoi = {10.1007/978-3-030-65840-3\\_7},\n\tpages = {103--119},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Wed, 21 Apr 2021 08:53:38 +0200},\n\ttitle = {Default Modal Systems as Algebraic Updates},\n\turl = {https://doi.org/10.1007/978-3-030-65840-3\\_7},\n\tvolume = {12569},\n\tyear = {2020},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-030-65840-3%5C_7}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2019\n \n \n (9)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n Interpolation and Beth Definability in Default Logics.\n \n \n \n\n\n \n Cassano, V.; Fervari, R.; Areces, C.; and Castro, P. F.\n\n\n \n\n\n\n In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, 2019. \n \n\n\n\n
\n\n\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

@inproceedings{DBLP:conf/jelia/CassanoFAC19,\n\tauthor = {Valentin Cassano and Raul Fervari and Carlos Areces and Pablo F. Castro},\n\tbooktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings},\n\tdate-added = {2020-03-31 23:33:05 +0000},\n\tdate-modified = {2020-03-31 23:33:58 +0000},\n\ttitle = {Interpolation and Beth Definability in Default Logics},\n\tyear = {2019}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Measuring Masking Fault-Tolerance.\n \n \n \n\n\n \n Castro, P. F.; D'Argenio, P. R.; Demasi, R.; and Putruele, L.\n\n\n \n\n\n\n In Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, 2019. \n \n\n\n\n
\n\n\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

@inproceedings{DBLP:conf/tacas/CastroDDP19,\n\tauthor = {Pablo F. Castro and Pedro R. D'Argenio and Ramiro Demasi and Luciano Putruele},\n\tbooktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, {TACAS} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019 Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {II}},\n\tdate-added = {2020-03-31 23:31:22 +0000},\n\tdate-modified = {2020-03-31 23:32:28 +0000},\n\ttitle = {Measuring Masking Fault-Tolerance},\n\tyear = {2019}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n An Algebraic Approach for Action Based Default Reasoning.\n \n \n \n\n\n \n Castro, P. F.; Cassano, V.; Fervari, R.; and Areces, C.\n\n\n \n\n\n\n In Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019, 2019. \n \n\n\n\n
\n\n\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

@inproceedings{DBLP:journals/corr/abs-1907-09124,\n\tauthor = {Pablo F. Castro and Valentin Cassano and Raul Fervari and Carlos Areces},\n\tbooktitle = {Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, {TARK} 2019, Toulouse, France, 17-19 July 2019},\n\tdate-added = {2020-03-31 23:29:02 +0000},\n\tdate-modified = {2020-03-31 23:30:59 +0000},\n\ttitle = {An Algebraic Approach for Action Based Default Reasoning},\n\tyear = {2019}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems.\n \n \n \n \n\n\n \n Pombo, C. L.; Castro, P. F.; Aguirre, N.; and Maibaum, T. S. E.\n\n\n \n\n\n\n Fundam. Inform., 166(4): 297–347. 2019.\n \n\n\n\n
\n\n\n\n \n \n $\"Satisfiability$ 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

@article{DBLP:journals/fuin/PomboCAM19,\n\tauthor = {Carlos L{\\'{o}}pez Pombo and Pablo F. Castro and Nazareno Aguirre and Thomas Stephen Edward Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/fuin/PomboCAM19.bib},\n\tdoi = {10.3233/FI-2019-1804},\n\tjournal = {Fundam. Inform.},\n\tnumber = {4},\n\tpages = {297--347},\n\ttimestamp = {Tue, 07 May 2019 01:00:00 +0200},\n\ttitle = {Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems},\n\turl = {https://doi.org/10.3233/FI-2019-1804},\n\tvolume = {166},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://doi.org/10.3233/FI-2019-1804},\n\tBdsk-Url-2 = {http://dx.doi.org/10.3233/FI-2019-1804}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n An evolutionary approach to translating operational specifications into declarative specifications.\n \n \n \n \n\n\n \n Molina, F.; Cornejo, C.; Degiovanni, R.; Regis, G.; Castro, P. F.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n Sci. Comput. Program., 181: 47–63. 2019.\n \n\n\n\n
\n\n\n\n \n \n $\"An$ 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 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{DBLP:journals/scp/MolinaCDRCAF19,\n\tauthor = {Facundo Molina and C{\\'{e}}sar Cornejo and Renzo Degiovanni and Germ{\\'{a}}n Regis and Pablo F. Castro and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/scp/MolinaCDRCAF19.bib},\n\tdoi = {10.1016/j.scico.2019.05.006},\n\tjournal = {Sci. Comput. Program.},\n\tpages = {47--63},\n\ttimestamp = {Mon, 23 Sep 2019 01:00:00 +0200},\n\ttitle = {An evolutionary approach to translating operational specifications into declarative specifications},\n\turl = {https://doi.org/10.1016/j.scico.2019.05.006},\n\tvolume = {181},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://doi.org/10.1016/j.scico.2019.05.006},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1016/j.scico.2019.05.006}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Automatically Identifying Sufficient Object Builders from Module APIs.\n \n \n \n \n\n\n \n Ponzio, P.; Bengolea, V. S.; Politano, M.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Hähnle, R.; and van der Aalst, W. M. P., editor(s), Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, volume 11424, of Lecture Notes in Computer Science, pages 427–444, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Automatically$ 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

@inproceedings{DBLP:conf/fase/PonzioBPAF19,\n\tauthor = {Pablo Ponzio and Valeria S. Bengolea and Mariano Politano and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/fase/PonzioBPAF19.bib},\n\tbooktitle = {Fundamental Approaches to Software Engineering - 22nd International Conference, {FASE} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings},\n\tdoi = {10.1007/978-3-030-16722-6\\_25},\n\teditor = {Reiner H{\\"{a}}hnle and Wil M. P. van der Aalst},\n\tpages = {427--444},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Fri, 31 Jan 2020 21:32:22 +0100},\n\ttitle = {Automatically Identifying Sufficient Object Builders from Module APIs},\n\turl = {https://doi.org/10.1007/978-3-030-16722-6\\_25},\n\tvolume = {11424},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-030-16722-6%5C_25},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-030-16722-6%5C_25}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Training binary classifiers as data structure invariants.\n \n \n \n \n\n\n \n Molina, F.; Degiovanni, R.; Ponzio, P.; Regis, G.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Atlee, J. M.; Bultan, T.; and Whittle, J., editor(s), Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pages 759–770, 2019. IEEE / ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Training$ 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 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{DBLP:conf/icse/MolinaDPRAF19,\n\tauthor = {Facundo Molina and Renzo Degiovanni and Pablo Ponzio and Germ{\\'{a}}n Regis and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/MolinaDPRAF19.bib},\n\tbooktitle = {Proceedings of the 41st International Conference on Software Engineering, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},\n\tdoi = {10.1109/ICSE.2019.00084},\n\teditor = {Joanne M. Atlee and Tevfik Bultan and Jon Whittle},\n\tpages = {759--770},\n\tpublisher = {{IEEE} / {ACM}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:49 +0200},\n\ttitle = {Training binary classifiers as data structure invariants},\n\turl = {https://doi.org/10.1109/ICSE.2019.00084},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://doi.org/10.1109/ICSE.2019.00084},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/ICSE.2019.00084}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Efficient Test Generation Guided by Field Coverage Criteria.\n \n \n \n \n\n\n \n Godio, A.; Bengolea, V. S.; Ponzio, P.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pages 91–101, 2019. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Efficient$ 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

@inproceedings{DBLP:conf/kbse/GodioBPAF19,\n\tauthor = {Ariel Godio and Valeria S. Bengolea and Pablo Ponzio and Nazareno Aguirre and Marcelo Fabian Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/kbse/GodioBPAF19.bib},\n\tbooktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2019, San Diego, CA, USA, November 11-15, 2019},\n\tdoi = {10.1109/ASE.2019.00019},\n\tpages = {91--101},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Sun, 19 Jan 2020 15:18:02 +0100},\n\ttitle = {Efficient Test Generation Guided by Field Coverage Criteria},\n\turl = {https://doi.org/10.1109/ASE.2019.00019},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://doi.org/10.1109/ASE.2019.00019},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/ASE.2019.00019}}\n\n

\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

@article{DBLP:journals/corr/abs-1910-14011,\n\tarchiveprefix = {arXiv},\n\tauthor = {Luciano Zem{\\'{\\i}}n and Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Santiago Berm{\\'{u}}dez and Santiago Perez De Rosso and Nazareno Aguirre and Ali Mili and Ali Jaoua and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/abs-1910-14011.bib},\n\teprint = {1910.14011},\n\tjournal = {CoRR},\n\ttimestamp = {Thu, 31 Oct 2019 00:00:00 +0100},\n\ttitle = {Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with {SAT}},\n\turl = {http://arxiv.org/abs/1910.14011},\n\tvolume = {abs/1910.14011},\n\tyear = {2019},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1910.14011}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2018\n \n \n (7)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n Reasoning About Prescription and Description Using Prioritized Default Rules.\n \n \n \n\n\n \n Cassano, V.; Areces, C.; and Castro, P. F.\n\n\n \n\n\n\n In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, 2018. \n \n\n\n\n
\n\n\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

@inproceedings{DBLP:conf/lpar/CassanoAC18,\n\tauthor = {Valentin Cassano and Carlos Areces and Pablo F. Castro},\n\tbooktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018},\n\tdate-added = {2020-03-31 23:27:01 +0000},\n\tdate-modified = {2020-03-31 23:28:40 +0000},\n\ttitle = {Reasoning About Prescription and Description Using Prioritized Default Rules},\n\tyear = {2018}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Automated workarounds from Java program specifications based on SAT solving.\n \n \n \n \n\n\n \n Uva, M.; Ponzio, P.; Regis, G.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n STTT, 20(6): 665–688. 2018.\n \n\n\n\n
\n\n\n\n \n \n $\"Automated$ 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

@article{DBLP:journals/sttt/UvaPRAF18,\n\tauthor = {Marcelo Uva and Pablo Ponzio and Germ{\\'{a}}n Regis and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/sttt/UvaPRAF18.bib},\n\tdoi = {10.1007/s10009-018-0503-8},\n\tjournal = {{STTT}},\n\tnumber = {6},\n\tpages = {665--688},\n\ttimestamp = {Mon, 08 Oct 2018 01:00:00 +0200},\n\ttitle = {Automated workarounds from Java program specifications based on {SAT} solving},\n\turl = {https://doi.org/10.1007/s10009-018-0503-8},\n\tvolume = {20},\n\tyear = {2018},\n\tBdsk-Url-1 = {https://doi.org/10.1007/s10009-018-0503-8},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/s10009-018-0503-8}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Improving lazy abstraction for SCR specifications through constraint relaxation.\n \n \n \n \n\n\n \n Degiovanni, R.; Ponzio, P.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n Softw. Test., Verif. Reliab., 28(2). 2018.\n \n\n\n\n
\n\n\n\n \n \n $\"Improving$ 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

@article{DBLP:journals/stvr/DegiovanniPAF18,\n\tauthor = {Renzo Degiovanni and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/stvr/DegiovanniPAF18.bib},\n\tdoi = {10.1002/stvr.1657},\n\tjournal = {Softw. Test., Verif. Reliab.},\n\tnumber = {2},\n\ttimestamp = {Tue, 20 Mar 2018 00:00:00 +0100},\n\ttitle = {Improving lazy abstraction for {SCR} specifications through constraint relaxation},\n\turl = {https://doi.org/10.1002/stvr.1657},\n\tvolume = {28},\n\tyear = {2018},\n\tBdsk-Url-1 = {https://doi.org/10.1002/stvr.1657},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1002/stvr.1657}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n From operational to declarative specifications using a genetic algorithm.\n \n \n \n \n\n\n \n Molina, F.; Degiovanni, R.; Regis, G.; Castro, P. F.; 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 39–42, 2018. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"From$ 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

@inproceedings{DBLP:conf/icse/MolinaDRCAF18,\n\tauthor = {Facundo Molina and Renzo Degiovanni and Germ{\\'{a}}n Regis and Pablo F. Castro and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/MolinaDRCAF18.bib},\n\tbooktitle = {Proceedings of the 11th International Workshop on Search-Based Software Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},\n\tdoi = {10.1145/3194718.3194725},\n\teditor = {Juan Pablo Galeotti and Alessandra Gorla},\n\tpages = {39--42},\n\tpublisher = {{ACM}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:49 +0200},\n\ttitle = {From operational to declarative specifications using a genetic algorithm},\n\turl = {https://doi.org/10.1145/3194718.3194725},\n\tyear = {2018},\n\tBdsk-Url-1 = {https://doi.org/10.1145/3194718.3194725},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/3194718.3194725}}\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 $\"On$ 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

@inproceedings{DBLP:conf/icse/PonzioBBSAF18,\n\tauthor = {Pablo Ponzio and Valeria S. Bengolea and Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Gast{\\'{o}}n Scilingo and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/PonzioBBSAF18.bib},\n\tbooktitle = {Proceedings of the 11th International Workshop on Search-Based Software Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},\n\tdoi = {10.1145/3194718.3194724},\n\teditor = {Juan Pablo Galeotti and Alessandra Gorla},\n\tpages = {67--70},\n\tpublisher = {{ACM}},\n\ttimestamp = {Sat, 19 Oct 2019 01:00:00 +0200},\n\ttitle = {On the effect of object redundancy elimination in randomly testing collection classes},\n\turl = {https://doi.org/10.1145/3194718.3194724},\n\tyear = {2018},\n\tBdsk-Url-1 = {https://doi.org/10.1145/3194718.3194724},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/3194718.3194724}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Goal-conflict likelihood assessment based on model counting.\n \n \n \n \n\n\n \n Degiovanni, R.; Castro, P. F.; Arroyo, M.; Ruiz, M.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Chaudron, M.; Crnkovic, I.; Chechik, M.; and Harman, M., editor(s), Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pages 1125–1135, 2018. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Goal-conflict$ 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

@inproceedings{DBLP:conf/icse/DegiovanniCARAF18,\n\tauthor = {Renzo Degiovanni and Pablo F. Castro and Marcelo Arroyo and Marcelo Ruiz and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/DegiovanniCARAF18.bib},\n\tbooktitle = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},\n\tdoi = {10.1145/3180155.3180261},\n\teditor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman},\n\tpages = {1125--1135},\n\tpublisher = {{ACM}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:49 +0200},\n\ttitle = {Goal-conflict likelihood assessment based on model counting},\n\turl = {https://doi.org/10.1145/3180155.3180261},\n\tyear = {2018},\n\tBdsk-Url-1 = {https://doi.org/10.1145/3180155.3180261},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/3180155.3180261}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n A genetic algorithm for goal-conflict identification.\n \n \n \n \n\n\n \n Degiovanni, R.; Molina, F.; Regis, G.; and Aguirre, N.\n\n\n \n\n\n\n In Huchard, M.; Kästner, C.; and Fraser, G., editor(s), Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pages 520–531, 2018. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@inproceedings{DBLP:conf/kbse/DegiovanniMRA18,\n\tauthor = {Renzo Degiovanni and Facundo Molina and Germ{\\'{a}}n Regis and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/kbse/DegiovanniMRA18.bib},\n\tbooktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated Software Engineering, {ASE} 2018, Montpellier, France, September 3-7, 2018},\n\tdoi = {10.1145/3238147.3238220},\n\teditor = {Marianne Huchard and Christian K{\\"{a}}stner and Gordon Fraser},\n\tpages = {520--531},\n\tpublisher = {{ACM}},\n\ttimestamp = {Wed, 21 Nov 2018 12:44:20 +0100},\n\ttitle = {A genetic algorithm for goal-conflict identification},\n\turl = {https://doi.org/10.1145/3238147.3238220},\n\tyear = {2018},\n\tBdsk-Url-1 = {https://doi.org/10.1145/3238147.3238220},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/3238147.3238220}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2017\n \n \n (6)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Simulation relations for fault-tolerance.\n \n \n \n \n\n\n \n Demasi, R.; Castro, P. F.; Maibaum, T. S. E.; and Aguirre, N.\n\n\n \n\n\n\n Formal Asp. Comput., 29(6): 1013–1050. 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"Simulation$ 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

@article{DBLP:journals/fac/DemasiCMA17,\n\tauthor = {Ramiro Demasi and Pablo F. Castro and Thomas Stephen Edward Maibaum and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/fac/DemasiCMA17.bib},\n\tdoi = {10.1007/s00165-017-0426-2},\n\tjournal = {Formal Asp. Comput.},\n\tnumber = {6},\n\tpages = {1013--1050},\n\ttimestamp = {Mon, 20 Nov 2017 00:00:00 +0100},\n\ttitle = {Simulation relations for fault-tolerance},\n\turl = {https://doi.org/10.1007/s00165-017-0426-2},\n\tvolume = {29},\n\tyear = {2017},\n\tBdsk-Url-1 = {https://doi.org/10.1007/s00165-017-0426-2},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/s00165-017-0426-2}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Automated Workarounds from Java Program Specifications Based on SAT Solving.\n \n \n \n \n\n\n \n Uva, M.; Ponzio, P.; Regis, G.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Huisman, M.; and Rubin, J., editor(s), Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, volume 10202, of Lecture Notes in Computer Science, pages 356–373, 2017. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Automated$ 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

@inproceedings{DBLP:conf/fase/UvaPRAF17,\n\tauthor = {Marcelo Uva and Pablo Ponzio and Germ{\\'{a}}n Regis and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/fase/UvaPRAF17.bib},\n\tbooktitle = {Fundamental Approaches to Software Engineering - 20th International Conference, {FASE} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings},\n\tdoi = {10.1007/978-3-662-54494-5\\_20},\n\teditor = {Marieke Huisman and Julia Rubin},\n\tpages = {356--373},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:54 +0200},\n\ttitle = {Automated Workarounds from Java Program Specifications Based on {SAT} Solving},\n\turl = {https://doi.org/10.1007/978-3-662-54494-5\\_20},\n\tvolume = {10202},\n\tyear = {2017},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-662-54494-5%5C_20},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-662-54494-5%5C_20}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair.\n \n \n \n \n\n\n \n Aguirre, N.\n\n\n \n\n\n\n In 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pages 2, 2017. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Efficient$ 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

@inproceedings{DBLP:conf/icse/Aguirre17,\n\tauthor = {Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/Aguirre17.bib},\n\tbooktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017},\n\tdoi = {10.1109/FormaliSE.2017.21},\n\tpages = {2},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:49 +0200},\n\ttitle = {Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair},\n\turl = {https://doi.org/10.1109/FormaliSE.2017.21},\n\tyear = {2017},\n\tBdsk-Url-1 = {https://doi.org/10.1109/FormaliSE.2017.21},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/FormaliSE.2017.21}}\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 $\"An$ 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

@inproceedings{DBLP:conf/icse/ZeminBGCDRAF17,\n\tauthor = {Luciano Zem{\\'{\\i}}n and Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Ariel Godio and C{\\'{e}}sar Cornejo and Renzo Degiovanni and Germ{\\'{a}}n Regis and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/ZeminBGCDRAF17.bib},\n\tbooktitle = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},\n\tdoi = {10.1109/SBST.2017.12},\n\tpages = {14--20},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Sat, 19 Oct 2019 01:00:00 +0200},\n\ttitle = {An Analysis of the Suitability of Test-Based Patch Acceptance Criteria},\n\turl = {https://doi.org/10.1109/SBST.2017.12},\n\tyear = {2017},\n\tBdsk-Url-1 = {https://doi.org/10.1109/SBST.2017.12},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/SBST.2017.12}}\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.; 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 $\"DynAlloy$ 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

@inproceedings{DBLP:conf/sigsoft/RegisCBPRPAGF17,\n\tauthor = {Germ{\\'{a}}n Regis and C{\\'{e}}sar Cornejo and Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib},\n\tbooktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},\n\tdoi = {10.1145/3106237.3122826},\n\teditor = {Eric Bodden and Wilhelm Sch{\\"{a}}fer and Arie van Deursen and Andrea Zisman},\n\tpages = {969--973},\n\tpublisher = {{ACM}},\n\ttimestamp = {Sat, 19 Oct 2019 01:00:00 +0200},\n\ttitle = {DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour},\n\turl = {https://doi.org/10.1145/3106237.3122826},\n\tyear = {2017},\n\tBdsk-Url-1 = {https://doi.org/10.1145/3106237.3122826},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/3106237.3122826}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n CLTSA: labelled transition system analyser with counting fluent support.\n \n \n \n \n\n\n \n Regis, G.; Degiovanni, R.; D'Ippolito, N.; and Aguirre, N.\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 979–983, 2017. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"CLTSA:$ 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

@inproceedings{DBLP:conf/sigsoft/RegisDDA17,\n\tauthor = {Germ{\\'{a}}n Regis and Renzo Degiovanni and Nicol{\\'{a}}s D'Ippolito and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sigsoft/RegisDDA17.bib},\n\tbooktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},\n\tdoi = {10.1145/3106237.3122828},\n\teditor = {Eric Bodden and Wilhelm Sch{\\"{a}}fer and Arie van Deursen and Andrea Zisman},\n\tpages = {979--983},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {{CLTSA:} labelled transition system analyser with counting fluent support},\n\turl = {https://doi.org/10.1145/3106237.3122828},\n\tyear = {2017},\n\tBdsk-Url-1 = {https://doi.org/10.1145/3106237.3122828},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/3106237.3122828}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2016\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Goal-conflict detection based on temporal satisfiability checking.\n \n \n \n \n\n\n \n Degiovanni, R.; Ricci, N.; Alrajeh, D.; Castro, P. F.; and Aguirre, N.\n\n\n \n\n\n\n In Lo, D.; Apel, S.; and Khurshid, S., editor(s), Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, pages 507–518, 2016. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Goal-conflict$ 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

@inproceedings{DBLP:conf/kbse/DegiovanniRACA16,\n\tauthor = {Renzo Degiovanni and Nicol{\\'{a}}s Ricci and Dalal Alrajeh and Pablo F. Castro and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/kbse/DegiovanniRACA16.bib},\n\tbooktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},\n\tdoi = {10.1145/2970276.2970349},\n\teditor = {David Lo and Sven Apel and Sarfraz Khurshid},\n\tpages = {507--518},\n\tpublisher = {{ACM}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:55 +0200},\n\ttitle = {Goal-conflict detection based on temporal satisfiability checking},\n\turl = {https://doi.org/10.1145/2970276.2970349},\n\tyear = {2016},\n\tBdsk-Url-1 = {https://doi.org/10.1145/2970276.2970349},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/2970276.2970349}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Algebraic Foundations for Specification Refinements.\n \n \n \n \n\n\n \n Castro, P. F.; and Aguirre, N.\n\n\n \n\n\n\n In Ribeiro, L.; and Lecomte, T., editor(s), Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, volume 10090, of Lecture Notes in Computer Science, pages 112–128, 2016. \n \n\n\n\n
\n\n\n\n \n \n $\"Algebraic$ 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

@inproceedings{DBLP:conf/sbmf/CastroA16,\n\tauthor = {Pablo F. Castro and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sbmf/CastroA16.bib},\n\tbooktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium, {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},\n\tdoi = {10.1007/978-3-319-49815-7\\_7},\n\teditor = {Leila Ribeiro and Thierry Lecomte},\n\tpages = {112--128},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Mon, 02 Dec 2019 18:16:30 +0100},\n\ttitle = {Algebraic Foundations for Specification Refinements},\n\turl = {https://doi.org/10.1007/978-3-319-49815-7\\_7},\n\tvolume = {10090},\n\tyear = {2016},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-319-49815-7%5C_7},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-319-49815-7%5C_7}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.\n \n \n \n \n\n\n \n Molina, F.; Cornejo, C.; Degiovanni, R.; Regis, G.; Castro, P. F.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Ribeiro, L.; and Lecomte, T., editor(s), Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, volume 10090, of Lecture Notes in Computer Science, pages 145–160, 2016. \n \n\n\n\n
\n\n\n\n \n \n $\"An$ 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

@inproceedings{DBLP:conf/sbmf/MolinaCDRCAF16,\n\tauthor = {Facundo Molina and C{\\'{e}}sar Cornejo and Renzo Degiovanni and Germ{\\'{a}}n Regis and Pablo F. Castro and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sbmf/MolinaCDRCAF16.bib},\n\tbooktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium, {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},\n\tdoi = {10.1007/978-3-319-49815-7\\_9},\n\teditor = {Leila Ribeiro and Thierry Lecomte},\n\tpages = {145--160},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Mon, 02 Dec 2019 18:16:30 +0100},\n\ttitle = {An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications},\n\turl = {https://doi.org/10.1007/978-3-319-49815-7\\_9},\n\tvolume = {10090},\n\tyear = {2016},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-319-49815-7%5C_9},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-319-49815-7%5C_9}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Field-exhaustive testing.\n \n \n \n \n\n\n \n Ponzio, P.; Aguirre, N.; Frias, M. F.; and Visser, W.\n\n\n \n\n\n\n In Zimmermann, T.; Cleland-Huang, J.; and Su, Z., editor(s), Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, pages 908–919, 2016. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Field-exhaustive$ 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

@inproceedings{DBLP:conf/sigsoft/PonzioAFV16,\n\tauthor = {Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias and Willem Visser},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sigsoft/PonzioAFV16.bib},\n\tbooktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016},\n\tdoi = {10.1145/2950290.2950336},\n\teditor = {Thomas Zimmermann and Jane Cleland{-}Huang and Zhendong Su},\n\tpages = {908--919},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 06 Nov 2018 16:59:23 +0100},\n\ttitle = {Field-exhaustive testing},\n\turl = {https://doi.org/10.1145/2950290.2950336},\n\tyear = {2016},\n\tBdsk-Url-1 = {https://doi.org/10.1145/2950290.2950336},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/2950290.2950336}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2015\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Categorical foundations for structured specifications in Z.\n \n \n \n \n\n\n \n Castro, P. F.; Aguirre, N.; Pombo, C. L.; and Maibaum, T. S. E.\n\n\n \n\n\n\n Formal Asp. Comput., 27(5-6): 831–865. 2015.\n \n\n\n\n
\n\n\n\n \n \n $\"Categorical$ 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

@article{DBLP:journals/fac/CastroAPM15,\n\tauthor = {Pablo F. Castro and Nazareno Aguirre and Carlos L{\\'{o}}pez Pombo and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/fac/CastroAPM15.bib},\n\tdoi = {10.1007/s00165-015-0336-0},\n\tjournal = {Formal Asp. Comput.},\n\tnumber = {5-6},\n\tpages = {831--865},\n\ttimestamp = {Wed, 17 May 2017 01:00:00 +0200},\n\ttitle = {Categorical foundations for structured specifications in {Z}},\n\turl = {https://doi.org/10.1007/s00165-015-0336-0},\n\tvolume = {27},\n\tyear = {2015},\n\tBdsk-Url-1 = {https://doi.org/10.1007/s00165-015-0336-0},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/s00165-015-0336-0}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support.\n \n \n \n \n\n\n \n Rosner, N.; Geldenhuys, J.; Aguirre, N.; Visser, W.; and Frias, M. F.\n\n\n \n\n\n\n IEEE Trans. Software Eng., 41(7): 639–660. 2015.\n \n\n\n\n
\n\n\n\n \n \n $\"BLISS:$ 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

@article{DBLP:journals/tse/RosnerGAVF15,\n\tauthor = {Nicol{\\'{a}}s Rosner and Jaco Geldenhuys and Nazareno Aguirre and Willem Visser and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/tse/RosnerGAVF15.bib},\n\tdoi = {10.1109/TSE.2015.2389225},\n\tjournal = {{IEEE} Trans. Software Eng.},\n\tnumber = {7},\n\tpages = {639--660},\n\ttimestamp = {Wed, 17 May 2017 01:00:00 +0200},\n\ttitle = {{BLISS:} Improved Symbolic Execution by Bounded Lazy Initialization with {SAT} Support},\n\turl = {https://doi.org/10.1109/TSE.2015.2389225},\n\tvolume = {41},\n\tyear = {2015},\n\tBdsk-Url-1 = {https://doi.org/10.1109/TSE.2015.2389225},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/TSE.2015.2389225}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Specifying Event-Based Systems with a Counting Fluent Temporal Logic.\n \n \n \n \n\n\n \n Regis, G.; Degiovanni, R.; D'Ippolito, N.; and Aguirre, N.\n\n\n \n\n\n\n In Bertolino, A.; Canfora, G.; and Elbaum, S. G., editor(s), 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1, pages 733–743, 2015. IEEE Computer Society\n \n\n\n\n
\n\n\n\n \n \n $\"Specifying$ 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

@inproceedings{DBLP:conf/icse/RegisDDA15,\n\tauthor = {Germ{\\'{a}}n Regis and Renzo Degiovanni and Nicol{\\'{a}}s D'Ippolito and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/RegisDDA15.bib},\n\tbooktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},\n\tdoi = {10.1109/ICSE.2015.86},\n\teditor = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum},\n\tpages = {733--743},\n\tpublisher = {{IEEE} Computer Society},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:49 +0200},\n\ttitle = {Specifying Event-Based Systems with a Counting Fluent Temporal Logic},\n\turl = {https://doi.org/10.1109/ICSE.2015.86},\n\tyear = {2015},\n\tBdsk-Url-1 = {https://doi.org/10.1109/ICSE.2015.86},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/ICSE.2015.86}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.\n \n \n \n \n\n\n \n Demasi, R.; Castro, P. F.; Ricci, N.; Maibaum, T. S. E.; and Aguirre, N.\n\n\n \n\n\n\n In Baier, C.; and Tinelli, C., editor(s), Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, volume 9035, of Lecture Notes in Computer Science, pages 188–193, 2015. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"syntMaskFT:$ 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

@inproceedings{DBLP:conf/tacas/DemasiCRMA15,\n\tauthor = {Ramiro Demasi and Pablo F. Castro and Nicol{\\'{a}}s Ricci and Thomas Stephen Edward Maibaum and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/tacas/DemasiCRMA15.bib},\n\tbooktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings},\n\tdoi = {10.1007/978-3-662-46681-0\\_13},\n\teditor = {Christel Baier and Cesare Tinelli},\n\tpages = {188--193},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 20 Aug 2019 01:00:00 +0200},\n\ttitle = {syntMaskFT: {A} Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications},\n\turl = {https://doi.org/10.1007/978-3-662-46681-0\\_13},\n\tvolume = {9035},\n\tyear = {2015},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-662-46681-0%5C_13},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-662-46681-0%5C_13}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2014\n \n \n (7)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n RepOK-based reduction of bounded exhaustive testing.\n \n \n \n \n\n\n \n Bengolea, V. S.; Aguirre, N.; Marinov, D.; and Frias, M. F.\n\n\n \n\n\n\n Softw. Test., Verif. Reliab., 24(8): 629–655. 2014.\n \n\n\n\n
\n\n\n\n \n \n $\"RepOK-based$ 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

@article{DBLP:journals/stvr/BengoleaAMF14,\n\tauthor = {Valeria S. Bengolea and Nazareno Aguirre and Darko Marinov and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/stvr/BengoleaAMF14.bib},\n\tdoi = {10.1002/stvr.1547},\n\tjournal = {Softw. Test., Verif. Reliab.},\n\tnumber = {8},\n\tpages = {629--655},\n\ttimestamp = {Sun, 28 May 2017 01:00:00 +0200},\n\ttitle = {RepOK-based reduction of bounded exhaustive testing},\n\turl = {https://doi.org/10.1002/stvr.1547},\n\tvolume = {24},\n\tyear = {2014},\n\tBdsk-Url-1 = {https://doi.org/10.1002/stvr.1547},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1002/stvr.1547}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n An experiment on teaching coordination in a globally distributed software engineering class.\n \n \n \n \n\n\n \n Nordio, M.; Estler, H.; Meyer, B.; Aguirre, N.; Prikladnicki, R.; Nitto, E. D.; and Savidis, A.\n\n\n \n\n\n\n In Bollin, A.; Hochmüller, E.; Mittermeir, R. T.; Cowling, T.; and LeBlanc, R., editor(s), 27th IEEE Conference on Software Engineering Education and Training, CSEE&T 2014, Klagenfurt, Austria, April 23-25, 2014, pages 109–118, 2014. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"An$ 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

@inproceedings{DBLP:conf/csee/NordioEMAPNS14,\n\tauthor = {Mart{\\'{\\i}}n Nordio and H.{-}Christian Estler and Bertrand Meyer and Nazareno Aguirre and Rafael Prikladnicki and Elisabetta Di Nitto and Anthony Savidis},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/csee/NordioEMAPNS14.bib},\n\tbooktitle = {27th {IEEE} Conference on Software Engineering Education and Training, CSEE{\\&}T 2014, Klagenfurt, Austria, April 23-25, 2014},\n\tdoi = {10.1109/CSEET.2014.6816788},\n\teditor = {Andreas Bollin and Elke Hochm{\\"{u}}ller and Roland T. Mittermeir and Tony Cowling and Richard LeBlanc},\n\tpages = {109--118},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:49 +0200},\n\ttitle = {An experiment on teaching coordination in a globally distributed software engineering class},\n\turl = {https://doi.org/10.1109/CSEET.2014.6816788},\n\tyear = {2014},\n\tBdsk-Url-1 = {https://doi.org/10.1109/CSEET.2014.6816788},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/CSEET.2014.6816788}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Efficient Tight Field Bounds Computation Based on Shape Predicates.\n \n \n \n \n\n\n \n Ponzio, P.; Rosner, N.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Jones, C. B.; Pihlajasaari, P.; and Sun, J., editor(s), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, volume 8442, of Lecture Notes in Computer Science, pages 531–546, 2014. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Efficient$ 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

@inproceedings{DBLP:conf/fm/PonzioRAF14,\n\tauthor = {Pablo Ponzio and Nicol{\\'{a}}s Rosner and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/fm/PonzioRAF14.bib},\n\tbooktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},\n\tdoi = {10.1007/978-3-319-06410-9\\_36},\n\teditor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun},\n\tpages = {531--546},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:46 +0200},\n\ttitle = {Efficient Tight Field Bounds Computation Based on Shape Predicates},\n\turl = {https://doi.org/10.1007/978-3-319-06410-9\\_36},\n\tvolume = {8442},\n\tyear = {2014},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-319-06410-9%5C_36},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-319-06410-9%5C_36}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Automated goal operationalisation based on interpolation and SAT solving.\n \n \n \n \n\n\n \n Degiovanni, R.; Alrajeh, D.; Aguirre, N.; and Uchitel, S.\n\n\n \n\n\n\n In Jalote, P.; Briand, L. C.; and van der Hoek, A., editor(s), 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014, pages 129–139, 2014. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Automated$ 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

@inproceedings{DBLP:conf/icse/DegiovanniAAU14,\n\tauthor = {Renzo Degiovanni and Dalal Alrajeh and Nazareno Aguirre and Sebasti{\\'{a}}n Uchitel},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/DegiovanniAAU14.bib},\n\tbooktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014},\n\tdoi = {10.1145/2568225.2568323},\n\teditor = {Pankaj Jalote and Lionel C. Briand and Andr{\\'{e}} van der Hoek},\n\tpages = {129--139},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {Automated goal operationalisation based on interpolation and {SAT} solving},\n\turl = {https://doi.org/10.1145/2568225.2568323},\n\tyear = {2014},\n\tBdsk-Url-1 = {https://doi.org/10.1145/2568225.2568323},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/2568225.2568323}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting.\n \n \n \n \n\n\n \n Pombo, C. G. L.; Castro, P. F.; Aguirre, N.; and Maibaum, T. S. E.\n\n\n \n\n\n\n In Ciobanu, G.; and Méry, D., editor(s), Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, volume 8687, of Lecture Notes in Computer Science, pages 314–332, 2014. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@inproceedings{DBLP:conf/ictac/PomboCAM14,\n\tauthor = {Carlos Gustavo L{\\'{o}}pez Pombo and Pablo F. Castro and Nazareno Aguirre and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/ictac/PomboCAM14.bib},\n\tbooktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},\n\tdoi = {10.1007/978-3-319-10882-7\\_19},\n\teditor = {Gabriel Ciobanu and Dominique M{\\'{e}}ry},\n\tpages = {314--332},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:38 +0200},\n\ttitle = {A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting},\n\turl = {https://doi.org/10.1007/978-3-319-10882-7\\_19},\n\tvolume = {8687},\n\tyear = {2014},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-319-10882-7%5C_19},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-319-10882-7%5C_19}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Bounded exhaustive test input generation from hybrid invariants.\n \n \n \n \n\n\n \n Rosner, N.; Bengolea, V. S.; Ponzio, P.; Khalek, S. A.; Aguirre, N.; Frias, M. F.; and Khurshid, S.\n\n\n \n\n\n\n In Black, A. P.; and Millstein, T. D., editor(s), Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014, pages 655–674, 2014. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Bounded$ 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

@inproceedings{DBLP:conf/oopsla/RosnerBPKAFK14,\n\tauthor = {Nicol{\\'{a}}s Rosner and Valeria S. Bengolea and Pablo Ponzio and Shadi Abdul Khalek and Nazareno Aguirre and Marcelo F. Frias and Sarfraz Khurshid},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/oopsla/RosnerBPKAFK14.bib},\n\tbooktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {\\&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},\n\tdoi = {10.1145/2660193.2660232},\n\teditor = {Andrew P. Black and Todd D. Millstein},\n\tpages = {655--674},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {Bounded exhaustive test input generation from hybrid invariants},\n\turl = {https://doi.org/10.1145/2660193.2660232},\n\tyear = {2014},\n\tBdsk-Url-1 = {https://doi.org/10.1145/2660193.2660232},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/2660193.2660232}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.\n \n \n \n \n\n\n \n Aguirre, N.; and Ribeiro, L.,\n editors.\n \n\n\n \n\n\n\n Volume 139, of EPTCS. 2014.\n \n\n\n\n
\n\n\n\n \n \n $\"Proceedings$ 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

@proceedings{DBLP:journals/corr/AguirreR14,\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/corr/AguirreR14.bib},\n\tdoi = {10.4204/EPTCS.139},\n\teditor = {Nazareno Aguirre and Leila Ribeiro},\n\tseries = {{EPTCS}},\n\ttimestamp = {Mon, 02 Dec 2019 00:00:00 +0100},\n\ttitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013},\n\turl = {https://doi.org/10.4204/EPTCS.139},\n\tvolume = {139},\n\tyear = {2014},\n\tBdsk-Url-1 = {https://doi.org/10.4204/EPTCS.139},\n\tBdsk-Url-2 = {http://dx.doi.org/10.4204/EPTCS.139}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2013\n \n \n (7)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.\n \n \n \n \n\n\n \n Demasi, R.; Castro, P. F.; Maibaum, T. S. E.; and Aguirre, N.\n\n\n \n\n\n\n In Hung, D. V.; and Ogawa, M., editor(s), Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, volume 8172, of Lecture Notes in Computer Science, pages 163–177, 2013. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Synthesizing$ 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

@inproceedings{DBLP:conf/atva/DemasiCMA13,\n\tauthor = {Ramiro Demasi and Pablo F. Castro and T. S. E. Maibaum and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/atva/DemasiCMA13.bib},\n\tbooktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},\n\tdoi = {10.1007/978-3-319-02444-8\\_13},\n\teditor = {Dang Van Hung and Mizuhito Ogawa},\n\tpages = {163--177},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:49 +0200},\n\ttitle = {Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications},\n\turl = {https://doi.org/10.1007/978-3-319-02444-8\\_13},\n\tvolume = {8172},\n\tyear = {2013},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-319-02444-8%5C_13},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-319-02444-8%5C_13}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Analyzing formal requirements specifications using an off-the-shelf model checker.\n \n \n \n \n\n\n \n Scilingo, G.; Novaira, M. M.; Degiovanni, R.; and Aguirre, N.\n\n\n \n\n\n\n In 2013 XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013, pages 1–9, 2013. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Analyzing$ 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

@inproceedings{DBLP:conf/clei/ScilingoNDA13,\n\tauthor = {Gast{\\'{o}}n Scilingo and Mar{\\'{\\i}}a Marta Novaira and Renzo Degiovanni and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/clei/ScilingoNDA13.bib},\n\tbooktitle = {2013 {XXXIX} Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013},\n\tdoi = {10.1109/CLEI.2013.6670611},\n\tpages = {1--9},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:53 +0200},\n\ttitle = {Analyzing formal requirements specifications using an off-the-shelf model checker},\n\turl = {https://doi.org/10.1109/CLEI.2013.6670611},\n\tyear = {2013},\n\tBdsk-Url-1 = {https://doi.org/10.1109/CLEI.2013.6670611},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/CLEI.2013.6670611}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.\n \n \n \n \n\n\n \n Abad, P.; Aguirre, N.; Bengolea, V. S.; Ciolek, D.; Frias, M. F.; Galeotti, J. P.; Maibaum, T.; Moscato, M. M.; Rosner, N.; and Vissani, I.\n\n\n \n\n\n\n In Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013, pages 21–30, 2013. IEEE Computer Society\n \n\n\n\n
\n\n\n\n \n \n $\"Improving$ 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

@inproceedings{DBLP:conf/icst/AbadABCFGMMRV13,\n\tauthor = {Pablo Abad and Nazareno Aguirre and Valeria S. Bengolea and Daniel Ciolek and Marcelo F. Frias and Juan P. Galeotti and Tom Maibaum and Mariano M. Moscato and Nicol{\\'{a}}s Rosner and Ignacio Vissani},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icst/AbadABCFGMMRV13.bib},\n\tbooktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013},\n\tdoi = {10.1109/ICST.2013.46},\n\tpages = {21--30},\n\tpublisher = {{IEEE} Computer Society},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:54 +0200},\n\ttitle = {Improving Test Generation under Rich Contracts by Tight Bounds and Incremental {SAT} Solving},\n\turl = {https://doi.org/10.1109/ICST.2013.46},\n\tyear = {2013},\n\tBdsk-Url-1 = {https://doi.org/10.1109/ICST.2013.46},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/ICST.2013.46}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Characterizing Fault-Tolerant Systems by Means of Simulation Relations.\n \n \n \n \n\n\n \n Demasi, R.; Castro, P. F.; Maibaum, T. S. E.; and Aguirre, N.\n\n\n \n\n\n\n In Johnsen, E. B.; and Petre, L., editor(s), Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, volume 7940, of Lecture Notes in Computer Science, pages 428–442, 2013. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Characterizing$ 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

@inproceedings{DBLP:conf/ifm/DemasiCMA13,\n\tauthor = {Ramiro Demasi and Pablo F. Castro and T. S. E. Maibaum and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/ifm/DemasiCMA13.bib},\n\tbooktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013, Turku, Finland, June 10-14, 2013. Proceedings},\n\tdoi = {10.1007/978-3-642-38613-8\\_29},\n\teditor = {Einar Broch Johnsen and Luigia Petre},\n\tpages = {428--442},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:51 +0200},\n\ttitle = {Characterizing Fault-Tolerant Systems by Means of Simulation Relations},\n\turl = {https://doi.org/10.1007/978-3-642-38613-8\\_29},\n\tvolume = {7940},\n\tyear = {2013},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-38613-8%5C_29},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-38613-8%5C_29}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Ranger: Parallel analysis of alloy models by range partitioning.\n \n \n \n \n\n\n \n Rosner, N.; Siddiqui, J. H.; Aguirre, N.; Khurshid, S.; and Frias, M. F.\n\n\n \n\n\n\n In Denney, E.; Bultan, T.; and Zeller, A., editor(s), 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013, pages 147–157, 2013. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Ranger:$ 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

@inproceedings{DBLP:conf/kbse/RosnerSAKF13,\n\tauthor = {Nicol{\\'{a}}s Rosner and Junaid Haroon Siddiqui and Nazareno Aguirre and Sarfraz Khurshid and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/kbse/RosnerSAKF13.bib},\n\tbooktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013},\n\tdoi = {10.1109/ASE.2013.6693075},\n\teditor = {Ewen Denney and Tevfik Bultan and Andreas Zeller},\n\tpages = {147--157},\n\tpublisher = {{IEEE}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:55 +0200},\n\ttitle = {Ranger: Parallel analysis of alloy models by range partitioning},\n\turl = {https://doi.org/10.1109/ASE.2013.6693075},\n\tyear = {2013},\n\tBdsk-Url-1 = {https://doi.org/10.1109/ASE.2013.6693075},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/ASE.2013.6693075}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Bounded Lazy Initialization.\n \n \n \n \n\n\n \n Geldenhuys, J.; Aguirre, N.; Frias, M. F.; and Visser, W.\n\n\n \n\n\n\n In Brat, G.; Rungta, N.; and Venet, A., editor(s), NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, volume 7871, of Lecture Notes in Computer Science, pages 229–243, 2013. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Bounded$ 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

@inproceedings{DBLP:conf/nfm/GeldenhuysAFV13,\n\tauthor = {Jaco Geldenhuys and Nazareno Aguirre and Marcelo F. Frias and Willem Visser},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/nfm/GeldenhuysAFV13.bib},\n\tbooktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings},\n\tdoi = {10.1007/978-3-642-38088-4\\_16},\n\teditor = {Guillaume Brat and Neha Rungta and Arnaud Venet},\n\tpages = {229--243},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:53 +0200},\n\ttitle = {Bounded Lazy Initialization},\n\turl = {https://doi.org/10.1007/978-3-642-38088-4\\_16},\n\tvolume = {7871},\n\tyear = {2013},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-38088-4%5C_16},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-38088-4%5C_16}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Parallel Bounded Verification of Alloy Models by TranScoping.\n \n \n \n \n\n\n \n Rosner, N.; Pombo, C. G. L.; Aguirre, N.; Jaoua, A.; Mili, A.; and Frias, M. F.\n\n\n \n\n\n\n In Cohen, E.; and Rybalchenko, A., editor(s), Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, volume 8164, of Lecture Notes in Computer Science, pages 88–107, 2013. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Parallel$ 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

@inproceedings{DBLP:conf/vstte/RosnerPAJMF13,\n\tauthor = {Nicol{\\'{a}}s Rosner and Carlos Gustavo L{\\'{o}}pez Pombo and Nazareno Aguirre and Ali Jaoua and Ali Mili and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/vstte/RosnerPAJMF13.bib},\n\tbooktitle = {Verified Software: Theories, Tools, Experiments - 5th International Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers},\n\tdoi = {10.1007/978-3-642-54108-7\\_5},\n\teditor = {Ernie Cohen and Andrey Rybalchenko},\n\tpages = {88--107},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:49 +0200},\n\ttitle = {Parallel Bounded Verification of Alloy Models by TranScoping},\n\turl = {https://doi.org/10.1007/978-3-642-54108-7\\_5},\n\tvolume = {8164},\n\tyear = {2013},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-54108-7%5C_5},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-54108-7%5C_5}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2012\n \n \n (5)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n A Categorical Approach to Structuring and Promoting Z Specifications.\n \n \n \n \n\n\n \n Castro, P. F.; Aguirre, N.; Pombo, C. G. L.; and Maibaum, T.\n\n\n \n\n\n\n In Pasareanu, C. S.; and Salaün, G., editor(s), Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, volume 7684, of Lecture Notes in Computer Science, pages 73–91, 2012. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@inproceedings{DBLP:conf/facs2/CastroAPM12,\n\tauthor = {Pablo F. Castro and Nazareno Aguirre and Carlos Gustavo L{\\'{o}}pez Pombo and Tom Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/facs2/CastroAPM12.bib},\n\tbooktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers},\n\tdoi = {10.1007/978-3-642-35861-6\\_5},\n\teditor = {Corina S. Pasareanu and Gwen Sala{\\"{u}}n},\n\tpages = {73--91},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:42 +0200},\n\ttitle = {A Categorical Approach to Structuring and Promoting {Z} Specifications},\n\turl = {https://doi.org/10.1007/978-3-642-35861-6\\_5},\n\tvolume = {7684},\n\tyear = {2012},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-35861-6%5C_5},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-35861-6%5C_5}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Model Checking Propositional Deontic Temporal Logic via a \$μ\$-Calculus Characterization.\n \n \n \n \n\n\n \n Acosta, A.; Kilmurray, C.; Castro, P. F.; and Aguirre, N.\n\n\n \n\n\n\n In Gheyi, R.; and Naumann, D. A., editor(s), Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, volume 7498, of Lecture Notes in Computer Science, pages 3–18, 2012. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Model$ 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

@inproceedings{DBLP:conf/sbmf/AcostaKCA12,\n\tauthor = {Araceli Acosta and Cecilia Kilmurray and Pablo F. Castro and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sbmf/AcostaKCA12.bib},\n\tbooktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},\n\tdoi = {10.1007/978-3-642-33296-8\\_3},\n\teditor = {Rohit Gheyi and David A. Naumann},\n\tpages = {3--18},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:37 +0200},\n\ttitle = {Model Checking Propositional Deontic Temporal Logic via a {\\(\\mu\\)}-Calculus Characterization},\n\turl = {https://doi.org/10.1007/978-3-642-33296-8\\_3},\n\tvolume = {7498},\n\tyear = {2012},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-33296-8%5C_3},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-33296-8%5C_3}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.\n \n \n \n \n\n\n \n Regis, G.; Ricci, N.; Aguirre, N.; and Maibaum, T. S. E.\n\n\n \n\n\n\n In Gheyi, R.; and Naumann, D. A., editor(s), Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, volume 7498, of Lecture Notes in Computer Science, pages 147–162, 2012. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Specifying$ 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

@inproceedings{DBLP:conf/sbmf/RegisRAM12,\n\tauthor = {Germ{\\'{a}}n Regis and Nicol{\\'{a}}s Ricci and Nazareno Aguirre and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sbmf/RegisRAM12.bib},\n\tbooktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},\n\tdoi = {10.1007/978-3-642-33296-8\\_12},\n\teditor = {Rohit Gheyi and David A. Naumann},\n\tpages = {147--162},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:37 +0200},\n\ttitle = {Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows},\n\turl = {https://doi.org/10.1007/978-3-642-33296-8\\_12},\n\tvolume = {7498},\n\tyear = {2012},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-33296-8%5C_12},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-33296-8%5C_12}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites.\n \n \n \n \n\n\n \n Bengolea, V. S.; Aguirre, N.; Marinov, D.; and Frias, M. F.\n\n\n \n\n\n\n In Brucker, A. D.; and Julliand, J., editor(s), Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings, volume 7305, of Lecture Notes in Computer Science, pages 19–34, 2012. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Using$ 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

@inproceedings{DBLP:conf/tap/BengoleaAMF12,\n\tauthor = {Valeria S. Bengolea and Nazareno Aguirre and Darko Marinov and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/tap/BengoleaAMF12.bib},\n\tbooktitle = {Tests and Proofs - 6th International Conference, {TAP} 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings},\n\tdoi = {10.1007/978-3-642-30473-6\\_4},\n\teditor = {Achim D. Brucker and Jacques Julliand},\n\tpages = {19--34},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:44 +0200},\n\ttitle = {Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites},\n\turl = {https://doi.org/10.1007/978-3-642-30473-6\\_4},\n\tvolume = {7305},\n\tyear = {2012},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-30473-6%5C_4},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-30473-6%5C_4}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.\n \n \n \n \n\n\n \n Pombo, C. G. L.; Castro, P. F.; Aguirre, N.; and Maibaum, T. S. E.\n\n\n \n\n\n\n In Martí-Oliet, N.; and Palomino, M., editor(s), Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, volume 7841, of Lecture Notes in Computer Science, pages 195–211, 2012. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Satisfiability$ 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

@inproceedings{DBLP:conf/wadt/PomboCAM12,\n\tauthor = {Carlos Gustavo L{\\'{o}}pez Pombo and Pablo F. Castro and Nazareno Aguirre and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/wadt/PomboCAM12.bib},\n\tbooktitle = {Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers},\n\tdoi = {10.1007/978-3-642-37635-1\\_12},\n\teditor = {Narciso Mart{\\'{\\i}}{-}Oliet and Miguel Palomino},\n\tpages = {195--211},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:54 +0200},\n\ttitle = {Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics},\n\turl = {https://doi.org/10.1007/978-3-642-37635-1\\_12},\n\tvolume = {7841},\n\tyear = {2012},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-37635-1%5C_12},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-37635-1%5C_12}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2011\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Teaching software engineering using globally distributed projects: the DOSE course.\n \n \n \n \n\n\n \n Nordio, M.; Ghezzi, C.; Meyer, B.; Nitto, E. D.; Tamburrelli, G.; Tschannen, J.; Aguirre, N.; and Kulkarni, V.\n\n\n \n\n\n\n In Faulk, S. R.; Weiss, D. M.; Young, M.; and Yu, L., editor(s), Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, CTGDSD 2011, Waikiki, Honolulu, HI, USA, May 21-28, 2011, pages 36–40, 2011. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Teaching$ 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

@inproceedings{DBLP:conf/icse/NordioGMNTTAK11,\n\tauthor = {Martin Nordio and Carlo Ghezzi and Bertrand Meyer and Elisabetta Di Nitto and Giordano Tamburrelli and Julian Tschannen and Nazareno Aguirre and Vidya Kulkarni},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/NordioGMNTTAK11.bib},\n\tbooktitle = {Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, {CTGDSD} 2011, Waikiki, Honolulu, HI, USA, May 21-28, 2011},\n\tdoi = {10.1145/1984665.1984673},\n\teditor = {Stuart R. Faulk and David M. Weiss and Michal Young and Lian Yu},\n\tpages = {36--40},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {Teaching software engineering using globally distributed projects: the {DOSE} course},\n\turl = {https://doi.org/10.1145/1984665.1984673},\n\tyear = {2011},\n\tBdsk-Url-1 = {https://doi.org/10.1145/1984665.1984673},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/1984665.1984673}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification.\n \n \n \n \n\n\n \n Castro, P. F.; Kilmurray, C.; Acosta, A.; and Aguirre, N.\n\n\n \n\n\n\n In Barthe, G.; Pardo, A.; and Schneider, G., editor(s), Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, volume 7041, of Lecture Notes in Computer Science, pages 106–121, 2011. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"dCTL:$ 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

@inproceedings{DBLP:conf/sefm/CastroKAA11,\n\tauthor = {Pablo F. Castro and Cecilia Kilmurray and Araceli Acosta and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sefm/CastroKAA11.bib},\n\tbooktitle = {Software Engineering and Formal Methods - 9th International Conference, {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},\n\tdoi = {10.1007/978-3-642-24690-6\\_9},\n\teditor = {Gilles Barthe and Alberto Pardo and Gerardo Schneider},\n\tpages = {106--121},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Sat, 19 Oct 2019 20:16:56 +0200},\n\ttitle = {dCTL: {A} Branching Time Temporal Logic for Fault-Tolerant System Verification},\n\turl = {https://doi.org/10.1007/978-3-642-24690-6\\_9},\n\tvolume = {7041},\n\tyear = {2011},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-24690-6%5C_9},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-24690-6%5C_9}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs.\n \n \n \n \n\n\n \n Aguirre, N.; Bengolea, V. S.; Frias, M. F.; and Galeotti, J. P.\n\n\n \n\n\n\n In Gogolla, M.; and Wolff, B., editor(s), Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings, volume 6706, of Lecture Notes in Computer Science, pages 15–32, 2011. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Incorporating$ 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

@inproceedings{DBLP:conf/tap/AguirreBFG11,\n\tauthor = {Nazareno Aguirre and Valeria S. Bengolea and Marcelo F. Frias and Juan P. Galeotti},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/tap/AguirreBFG11.bib},\n\tbooktitle = {Tests and Proofs - 5th International Conference, {TAP} 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},\n\tdoi = {10.1007/978-3-642-21768-5\\_3},\n\teditor = {Martin Gogolla and Burkhart Wolff},\n\tpages = {15--32},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:44 +0200},\n\ttitle = {Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs},\n\turl = {https://doi.org/10.1007/978-3-642-21768-5\\_3},\n\tvolume = {6706},\n\tyear = {2011},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-21768-5%5C_3},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-21768-5%5C_3}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.\n \n \n \n \n\n\n \n Degiovanni, R.; Ponzio, P.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Gogolla, M.; and Wolff, B., editor(s), Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings, volume 6706, of Lecture Notes in Computer Science, pages 84–101, 2011. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Abstraction$ 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

@inproceedings{DBLP:conf/tap/DegiovanniPAF11,\n\tauthor = {Renzo Degiovanni and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/tap/DegiovanniPAF11.bib},\n\tbooktitle = {Tests and Proofs - 5th International Conference, {TAP} 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},\n\tdoi = {10.1007/978-3-642-21768-5\\_8},\n\teditor = {Martin Gogolla and Burkhart Wolff},\n\tpages = {84--101},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:44 +0200},\n\ttitle = {Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications},\n\turl = {https://doi.org/10.1007/978-3-642-21768-5\\_8},\n\tvolume = {6706},\n\tyear = {2011},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-21768-5%5C_8},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-21768-5%5C_8}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2010\n \n \n (1)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.\n \n \n \n \n\n\n \n Castro, P. F.; Aguirre, N.; Pombo, C. G. L.; and Maibaum, T. S. E.\n\n\n \n\n\n\n In Cavalcanti, A.; Déharbe, D.; Gaudel, M.; and Woodcock, J., editor(s), Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, volume 6255, of Lecture Notes in Computer Science, pages 306–321, 2010. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ 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

@inproceedings{DBLP:conf/ictac/CastroAPM10,\n\tauthor = {Pablo F. Castro and Nazareno Aguirre and Carlos Gustavo L{\\'{o}}pez Pombo and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/ictac/CastroAPM10.bib},\n\tbooktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings},\n\tdoi = {10.1007/978-3-642-14808-8\\_21},\n\teditor = {Ana Cavalcanti and David D{\\'{e}}harbe and Marie{-}Claude Gaudel and Jim Woodcock},\n\tpages = {306--321},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:38 +0200},\n\ttitle = {Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting},\n\turl = {https://doi.org/10.1007/978-3-642-14808-8\\_21},\n\tvolume = {6255},\n\tyear = {2010},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-14808-8%5C_21},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-14808-8%5C_21}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2009\n \n \n (3)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n An introductory course on programming based on formal specification and program calculation.\n \n \n \n \n\n\n \n Blanco, J.; Losano, L.; Aguirre, N.; Novaira, M. M.; Permigiani, S.; and Scilingo, G.\n\n\n \n\n\n\n SIGCSE Bulletin, 41(2): 31–37. 2009.\n \n\n\n\n
\n\n\n\n \n \n $\"An$ 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

@article{DBLP:journals/sigcse/BlancoLANPS09,\n\tauthor = {Javier Blanco and Leticia Losano and Nazareno Aguirre and Mar{\\'{\\i}}a Marta Novaira and Sonia Permigiani and Gast{\\'{o}}n Scilingo},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/sigcse/BlancoLANPS09.bib},\n\tdoi = {10.1145/1595453.1595459},\n\tjournal = {{SIGCSE} Bulletin},\n\tnumber = {2},\n\tpages = {31--37},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {An introductory course on programming based on formal specification and program calculation},\n\turl = {https://doi.org/10.1145/1595453.1595459},\n\tvolume = {41},\n\tyear = {2009},\n\tBdsk-Url-1 = {https://doi.org/10.1145/1595453.1595459},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/1595453.1595459}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.\n \n \n \n \n\n\n \n Aguirre, N.; Frias, M. F.; Moscato, M. M.; Maibaum, T. S. E.; and Wassyng, A.\n\n\n \n\n\n\n In Chechik, M.; and Wirsing, M., editor(s), Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, volume 5503, of Lecture Notes in Computer Science, pages 155–170, 2009. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Describing$ 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

@inproceedings{DBLP:conf/fase/AguirreFMMW09,\n\tauthor = {Nazareno Aguirre and Marcelo F. Frias and Mariano M. Moscato and T. S. E. Maibaum and Alan Wassyng},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/fase/AguirreFMMW09.bib},\n\tbooktitle = {Fundamental Approaches to Software Engineering, 12th International Conference, {FASE} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},\n\tdoi = {10.1007/978-3-642-00593-0\\_11},\n\teditor = {Marsha Chechik and Martin Wirsing},\n\tpages = {155--170},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:54 +0200},\n\ttitle = {Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy},\n\turl = {https://doi.org/10.1007/978-3-642-00593-0\\_11},\n\tvolume = {5503},\n\tyear = {2009},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-00593-0%5C_11},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-00593-0%5C_11}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Specifying and Verifying Business Processes Using PPML.\n \n \n \n \n\n\n \n Regis, G.; Aguirre, N.; and Maibaum, T. S. E.\n\n\n \n\n\n\n In Breitman, K. K.; and Cavalcanti, A., editor(s), Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, volume 5885, of Lecture Notes in Computer Science, pages 737–756, 2009. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Specifying$ 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

@inproceedings{DBLP:conf/icfem/RegisAM09,\n\tauthor = {Germ{\\'{a}}n Regis and Nazareno Aguirre and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icfem/RegisAM09.bib},\n\tbooktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings},\n\tdoi = {10.1007/978-3-642-10373-5\\_38},\n\teditor = {Karin K. Breitman and Ana Cavalcanti},\n\tpages = {737--756},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:50 +0200},\n\ttitle = {Specifying and Verifying Business Processes Using {PPML}},\n\turl = {https://doi.org/10.1007/978-3-642-10373-5\\_38},\n\tvolume = {5885},\n\tyear = {2009},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-10373-5%5C_38},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-10373-5%5C_38}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2008\n \n \n (1)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Towards Abstraction for DynAlloy Specifications.\n \n \n \n \n\n\n \n Aguirre, N.; Frias, M. F.; Ponzio, P.; Cardiff, B. J.; Galeotti, J. P.; and Regis, G.\n\n\n \n\n\n\n In Liu, S.; Maibaum, T. S. E.; and Araki, K., editor(s), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, volume 5256, of Lecture Notes in Computer Science, pages 207–225, 2008. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ 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

@inproceedings{DBLP:conf/icfem/AguirreFPCGR08,\n\tauthor = {Nazareno Aguirre and Marcelo F. Frias and Pablo Ponzio and Brian J. Cardiff and Juan P. Galeotti and Germ{\\'{a}}n Regis},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icfem/AguirreFPCGR08.bib},\n\tbooktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings},\n\tdoi = {10.1007/978-3-540-88194-0\\_14},\n\teditor = {Shaoying Liu and T. S. E. Maibaum and Keijiro Araki},\n\tpages = {207--225},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:50 +0200},\n\ttitle = {Towards Abstraction for DynAlloy Specifications},\n\turl = {https://doi.org/10.1007/978-3-540-88194-0\\_14},\n\tvolume = {5256},\n\tyear = {2008},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-540-88194-0%5C_14},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-88194-0%5C_14}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2007\n \n \n (3)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Efficient Analysis of DynAlloy Specifications.\n \n \n \n \n\n\n \n Frias, M. F.; Pombo, C. L.; Galeotti, J. P.; and Aguirre, N.\n\n\n \n\n\n\n ACM Trans. Softw. Eng. Methodol., 17(1): 4:1–4:34. 2007.\n \n\n\n\n
\n\n\n\n \n \n $\"Efficient$ 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

@article{DBLP:journals/tosem/FriasPGA07,\n\tauthor = {Marcelo F. Frias and Carlos L{\\'{o}}pez Pombo and Juan P. Galeotti and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/tosem/FriasPGA07.bib},\n\tdoi = {10.1145/1314493.1314497},\n\tjournal = {{ACM} Trans. Softw. Eng. Methodol.},\n\tnumber = {1},\n\tpages = {4:1--4:34},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {Efficient Analysis of DynAlloy Specifications},\n\turl = {https://doi.org/10.1145/1314493.1314497},\n\tvolume = {17},\n\tyear = {2007},\n\tBdsk-Url-1 = {https://doi.org/10.1145/1314493.1314497},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/1314493.1314497}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Design in CommUnity with Extension Morphisms.\n \n \n \n \n\n\n \n Ling, X.; Maibaum, T. S. E.; and Aguirre, N.\n\n\n \n\n\n\n In Jones, C. B.; Liu, Z.; and Woodcock, J., editor(s), Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, volume 4700, of Lecture Notes in Computer Science, pages 435–466, 2007. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Design$ 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

@inproceedings{DBLP:conf/birthday/LingMA07,\n\tauthor = {Xiang Ling and T. S. E. Maibaum and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/birthday/LingMA07.bib},\n\tbooktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bj{\\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007},\n\tdoi = {10.1007/978-3-540-75221-9\\_20},\n\teditor = {Cliff B. Jones and Zhiming Liu and Jim Woodcock},\n\tpages = {435--466},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:52 +0200},\n\ttitle = {Design in CommUnity with Extension Morphisms},\n\turl = {https://doi.org/10.1007/978-3-540-75221-9\\_20},\n\tvolume = {4700},\n\tyear = {2007},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-540-75221-9%5C_20},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-75221-9%5C_20}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Verifying Temporal Properties of CommUnity Designs.\n \n \n \n \n\n\n \n Aguirre, N.; Regis, G.; and Maibaum, T. S. E.\n\n\n \n\n\n\n In Davies, J.; and Gibbons, J., editor(s), Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, volume 4591, of Lecture Notes in Computer Science, pages 1–20, 2007. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Verifying$ 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

@inproceedings{DBLP:conf/ifm/AguirreRM07,\n\tauthor = {Nazareno Aguirre and Germ{\\'{a}}n Regis and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/ifm/AguirreRM07.bib},\n\tbooktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings},\n\tdoi = {10.1007/978-3-540-73210-5\\_1},\n\teditor = {Jim Davies and Jeremy Gibbons},\n\tpages = {1--20},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:51 +0200},\n\ttitle = {Verifying Temporal Properties of CommUnity Designs},\n\turl = {https://doi.org/10.1007/978-3-540-73210-5\\_1},\n\tvolume = {4591},\n\tyear = {2007},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-540-73210-5%5C_1},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-73210-5%5C_1}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2006\n \n \n (1)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Extension Morphisms for CommUnity.\n \n \n \n \n\n\n \n Aguirre, N.; Maibaum, T. S. E.; and Alencar, P. S. C.\n\n\n \n\n\n\n In Futatsugi, K.; Jouannaud, J.; and Meseguer, J., editor(s), Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060, of Lecture Notes in Computer Science, pages 173–193, 2006. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Extension$ 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

@inproceedings{DBLP:conf/birthday/AguirreMA06,\n\tauthor = {Nazareno Aguirre and T. S. E. Maibaum and Paulo S. C. Alencar},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/birthday/AguirreMA06.bib},\n\tbooktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday},\n\tdoi = {10.1007/11780274\\_10},\n\teditor = {Kokichi Futatsugi and Jean{-}Pierre Jouannaud and Jos{\\'{e}} Meseguer},\n\tpages = {173--193},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:52 +0200},\n\ttitle = {Extension Morphisms for CommUnity},\n\turl = {https://doi.org/10.1007/11780274\\_10},\n\tvolume = {4060},\n\tyear = {2006},\n\tBdsk-Url-1 = {https://doi.org/10.1007/11780274%5C_10},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/11780274%5C_10}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2005\n \n \n (3)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Reasoning about static and dynamic properties in alloy: A purely relational approach.\n \n \n \n \n\n\n \n Frias, M. F.; Pombo, C. L.; Baum, G. A.; Aguirre, N.; and Maibaum, T. S. E.\n\n\n \n\n\n\n ACM Trans. Softw. Eng. Methodol., 14(4): 478–526. 2005.\n \n\n\n\n
\n\n\n\n \n \n $\"Reasoning$ 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

@article{DBLP:journals/tosem/FriasPBAM05,\n\tauthor = {Marcelo F. Frias and Carlos L{\\'{o}}pez Pombo and Gabriel A. Baum and Nazareno Aguirre and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/tosem/FriasPBAM05.bib},\n\tdoi = {10.1145/1101815.1101819},\n\tjournal = {{ACM} Trans. Softw. Eng. Methodol.},\n\tnumber = {4},\n\tpages = {478--526},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {Reasoning about static and dynamic properties in alloy: {A} purely relational approach},\n\turl = {https://doi.org/10.1145/1101815.1101819},\n\tvolume = {14},\n\tyear = {2005},\n\tBdsk-Url-1 = {https://doi.org/10.1145/1101815.1101819},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/1101815.1101819}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Towards Dynamically Communicating Abstract Machines in the B Method.\n \n \n \n \n\n\n \n Aguirre, N.; Arroyo, M.; Bicarregui, J.; Guzmán, L.; and Maibaum, T. S. E.\n\n\n \n\n\n\n In Lau, K.; and Banach, R., editor(s), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, volume 3785, of Lecture Notes in Computer Science, pages 141–155, 2005. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ 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

@inproceedings{DBLP:conf/icfem/AguirreABGM05,\n\tauthor = {Nazareno Aguirre and Marcelo Arroyo and Juan Bicarregui and Lucio Guzm{\\'{a}}n and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icfem/AguirreABGM05.bib},\n\tbooktitle = {Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings},\n\tdoi = {10.1007/11576280\\_11},\n\teditor = {Kung{-}Kiu Lau and Richard Banach},\n\tpages = {141--155},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:50 +0200},\n\ttitle = {Towards Dynamically Communicating Abstract Machines in the {B} Method},\n\turl = {https://doi.org/10.1007/11576280\\_11},\n\tvolume = {3785},\n\tyear = {2005},\n\tBdsk-Url-1 = {https://doi.org/10.1007/11576280%5C_11},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/11576280%5C_11}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n DynAlloy: upgrading alloy with actions.\n \n \n \n \n\n\n \n Frias, M. F.; Galeotti, J. P.; Pombo, C. L.; and Aguirre, N.\n\n\n \n\n\n\n In Roman, G.; Griswold, W. G.; and Nuseibeh, B., editor(s), 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pages 442–451, 2005. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"DynAlloy:$ 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

@inproceedings{DBLP:conf/icse/FriasGPA05,\n\tauthor = {Marcelo F. Frias and Juan P. Galeotti and Carlos L{\\'{o}}pez Pombo and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/FriasGPA05.bib},\n\tbooktitle = {27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}},\n\tdoi = {10.1145/1062455.1062535},\n\teditor = {Gruia{-}Catalin Roman and William G. Griswold and Bashar Nuseibeh},\n\tpages = {442--451},\n\tpublisher = {{ACM}},\n\ttimestamp = {Wed, 16 Oct 2019 14:14:49 +0200},\n\ttitle = {DynAlloy: upgrading alloy with actions},\n\turl = {https://doi.org/10.1145/1062455.1062535},\n\tyear = {2005},\n\tBdsk-Url-1 = {https://doi.org/10.1145/1062455.1062535},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/1062455.1062535}}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2004\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n A logical basis for the specification of reconfigurable component based systems.\n \n \n \n \n\n\n \n Aguirre, N.\n\n\n \n\n\n\n Ph.D. Thesis, King's College London, UK, 2004.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ 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

@phdthesis{DBLP:phd/ethos/Aguirre04,\n\tauthor = {Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/phd/ethos/Aguirre04.bib},\n\tschool = {King's College London, {UK}},\n\ttimestamp = {Thu, 08 Sep 2016 01:00:00 +0200},\n\ttitle = {A logical basis for the specification of reconfigurable component based systems},\n\turl = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.416615},\n\tyear = {2004},\n\tBdsk-Url-1 = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.416615}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems.\n \n \n \n \n\n\n \n Aguirre, N.; and Maibaum, T. S. E.\n\n\n \n\n\n\n Electron. Notes Theor. Comput. Sci., 108: 69–81. 2004.\n \n\n\n\n
\n\n\n\n \n \n $\"Hierarchical$ 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

@article{DBLP:journals/entcs/AguirreM04,\n\tauthor = {Nazareno Aguirre and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/entcs/AguirreM04.bib},\n\tdoi = {10.1016/j.entcs.2004.01.013},\n\tjournal = {Electron. Notes Theor. Comput. Sci.},\n\tpages = {69--81},\n\ttimestamp = {Mon, 24 Feb 2020 00:00:00 +0100},\n\ttitle = {Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems},\n\turl = {https://doi.org/10.1016/j.entcs.2004.01.013},\n\tvolume = {108},\n\tyear = {2004},\n\tBdsk-Url-1 = {https://doi.org/10.1016/j.entcs.2004.01.013},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1016/j.entcs.2004.01.013}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n An Equational Calculus for Alloy.\n \n \n \n \n\n\n \n Frias, M. F.; Pombo, C. L.; and Aguirre, N.\n\n\n \n\n\n\n In Davies, J.; Schulte, W.; and Barnett, M., editor(s), Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, volume 3308, of Lecture Notes in Computer Science, pages 162–175, 2004. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"An$ 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

@inproceedings{DBLP:conf/icfem/FriasPA04,\n\tauthor = {Marcelo F. Frias and Carlos L{\\'{o}}pez Pombo and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icfem/FriasPA04.bib},\n\tbooktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings},\n\tdoi = {10.1007/978-3-540-30482-1\\_19},\n\teditor = {Jim Davies and Wolfram Schulte and Michael Barnett},\n\tpages = {162--175},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:50 +0200},\n\ttitle = {An Equational Calculus for Alloy},\n\turl = {https://doi.org/10.1007/978-3-540-30482-1\\_19},\n\tvolume = {3308},\n\tyear = {2004},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-540-30482-1%5C_19},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-30482-1%5C_19}}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Implementing Dynamic Aggregations of Abstract Machines in the B Method.\n \n \n \n \n\n\n \n Aguirre, N.; Bicarregui, J.; Guzmán, L.; and Maibaum, T. S. E.\n\n\n \n\n\n\n In Davies, J.; Schulte, W.; and Barnett, M., editor(s), Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, volume 3308, of Lecture Notes in Computer Science, pages 403–417, 2004. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Implementing$ 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

@inproceedings{DBLP:conf/icfem/AguirreBGM04,\n\tauthor = {Nazareno Aguirre and Juan Bicarregui and Lucio Guzm{\\'{a}}n and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icfem/AguirreBGM04.bib},\n\tbooktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings},\n\tdoi = {10.1007/978-3-540-30482-1\\_34},\n\teditor = {Jim Davies and Wolfram Schulte and Michael Barnett},\n\tpages = {403--417},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:50 +0200},\n\ttitle = {Implementing Dynamic Aggregations of Abstract Machines in the {B} Method},\n\turl = {https://doi.org/10.1007/978-3-540-30482-1\\_34},\n\tvolume = {3308},\n\tyear = {2004},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-540-30482-1%5C_34},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-540-30482-1%5C_34}}\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