default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nazareno Aguirre
@article{DBLP:journals/pacmse/NolascoMDGGPUAF24,
author = {Agust{\'{\i}}n Nolasco and
Facundo Molina and
Renzo Degiovanni and
Alessandra Gorla and
Diego Garbervetsky and
Mike Papadakis and
Sebasti{\'{a}}n Uchitel and
Nazareno Aguirre and
Marcelo F. Frias},
title = {Abstraction-Aware Inference of Metamorphic Relations},
journal = {Proc. {ACM} Softw. Eng.},
volume = {1},
number = {{FSE}},
pages = {450--472},
year = {2024},
url = {https://doi.org/10.1145/3643747},
doi = {10.1145/3643747},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmse/NolascoMDGGPUAF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PolitanoBMAFP24,
author = {Mariano Politano and
Valeria S. Bengolea and
Facundo Molina and
Nazareno Aguirre and
Marcelo F. Frias and
Pablo Ponzio},
title = {{BEAPI:} {A} tool for bounded exhaustive input generation from APIs},
journal = {Sci. Comput. Program.},
volume = {238},
pages = {103153},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2024.103153},
doi = {10.1016/J.SCICO.2024.103153},
timestamp = {Thu, 18 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/PolitanoBMAFP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CarvalhoDCATP24,
author = {Luiz Carvalho and
Renzo Degiovanni and
Maxime Cordy and
Nazareno Aguirre and
Yves Le Traon and
Mike Papadakis},
title = {SpecBCFuzz: Fuzzing {LTL} Solvers with Boundary Conditions},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {123:1--123:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3639087},
doi = {10.1145/3597503.3639087},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/CarvalhoDCATP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/CornejoNPAFBR24,
author = {C{\'{e}}sar Cornejo and
Mar{\'{\i}}a Marta Novaira and
Sonia Permigiani and
Nazareno Aguirre and
Marcelo F. Frias and
Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Michael Leuschel and
Elvinia Riccobene and
Patrizia Scandurra},
title = {An Analysis of the Impact of Field-Value Instance Navigation in Alloy's
Model Finding},
booktitle = {Rigorous State-Based Methods - 10th International Conference, {ABZ}
2024, Bergamo, Italy, June 25-28, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14759},
pages = {141--159},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63790-2\_9},
doi = {10.1007/978-3-031-63790-2\_9},
timestamp = {Thu, 27 Jun 2024 16:32:24 +0200},
biburl = {https://dblp.org/rec/conf/zum/CornejoNPAFBR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CornejoRAF23,
author = {C{\'{e}}sar Cornejo and
Germ{\'{a}}n Regis and
Nazareno Aguirre and
Marcelo F. Frias},
title = {A Study of the Electrum and DynAlloy Dynamic Behavior Notations},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {11},
pages = {4946--4963},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3320625},
doi = {10.1109/TSE.2023.3320625},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/CornejoRAF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CarvalhoDBCATP23,
author = {Luiz Carvalho and
Renzo Degiovanni and
Mat{\'{\i}}as Brizzio and
Maxime Cordy and
Nazareno Aguirre and
Yves Le Traon and
Mike Papadakis},
editor = {Leen Lambers and
Sebasti{\'{a}}n Uchitel},
title = {ACoRe: Automated Goal-Conflict Resolution},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {13991},
pages = {3--25},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30826-0\_1},
doi = {10.1007/978-3-031-30826-0\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/CarvalhoDBCATP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PolitanoBMAFP23,
author = {Mariano Politano and
Valeria S. Bengolea and
Facundo Molina and
Nazareno Aguirre and
Marcelo F. Frias and
Pablo Ponzio},
editor = {Leen Lambers and
Sebasti{\'{a}}n Uchitel},
title = {Efficient Bounded Exhaustive Input Generation from Program APIs},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {13991},
pages = {111--132},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30826-0\_6},
doi = {10.1007/978-3-031-30826-0\_6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/PolitanoBMAFP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/BrizzioCPSAD23,
author = {Mat{\'{\i}}as Brizzio and
Maxime Cordy and
Mike Papadakis and
C{\'{e}}sar S{\'{a}}nchez and
Nazareno Aguirre and
Renzo Degiovanni},
editor = {Sara Silva and
Lu{\'{\i}}s Paquete},
title = {Automated Repair of Unrealisable {LTL} Specifications Guided by Model
Counting},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
{GECCO} 2023, Lisbon, Portugal, July 15-19, 2023},
pages = {1499--1507},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583131.3590454},
doi = {10.1145/3583131.3590454},
timestamp = {Fri, 02 Aug 2024 15:50:42 +0200},
biburl = {https://dblp.org/rec/conf/gecco/BrizzioCPSAD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GargDMCAPT23,
author = {Aayush Garg and
Renzo Degiovanni and
Facundo Molina and
Maxime Cordy and
Nazareno Aguirre and
Mike Papadakis and
Yves Le Traon},
title = {Enabling Efficient Assertion Inference},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023, Florence, Italy, October 9-12, 2023},
pages = {623--634},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSRE59848.2023.00039},
doi = {10.1109/ISSRE59848.2023.00039},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/GargDMCAPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CopiaMAFGP23,
author = {Juan Manuel Copia and
Facundo Molina and
Nazareno Aguirre and
Marcelo F. Frias and
Alessandra Gorla and
Pablo Ponzio},
title = {Precise Lazy Initialization for Programs with Complex Heap Inputs},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023, Florence, Italy, October 9-12, 2023},
pages = {752--762},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSRE59848.2023.00080},
doi = {10.1109/ISSRE59848.2023.00080},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/CopiaMAFGP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MolinaPAF23,
author = {Facundo Molina and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {EvoSpex: {A} Search-Based Tool for Postcondition Inference},
booktitle = {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},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604928},
doi = {10.1145/3597926.3604928},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/MolinaPAF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MolinadA23,
author = {Facundo Molina and
Marcelo d'Amorim and
Nazareno Aguirre},
title = {SpecFuzzer: {A} Tool for Inferring Class Specifications via Grammar-Based
Fuzzing},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {2094--2097},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00024},
doi = {10.1109/ASE56229.2023.00024},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MolinadA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-12284,
author = {Aayush Garg and
Renzo Degiovanni and
Facundo Molina and
Mike Papadakis and
Nazareno Aguirre and
Maxime Cordy and
Yves Le Traon},
title = {Assertion Inferring Mutants},
journal = {CoRR},
volume = {abs/2301.12284},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.12284},
doi = {10.48550/ARXIV.2301.12284},
eprinttype = {arXiv},
eprint = {2301.12284},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-12284.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-12403,
author = {Renzo Degiovanni and
Facundo Molina and
Agust{\'{\i}}n Nolasco and
Nazareno Aguirre and
Mike Papadakis},
title = {Specification Inference for Evolving Systems},
journal = {CoRR},
volume = {abs/2301.12403},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.12403},
doi = {10.48550/ARXIV.2301.12403},
eprinttype = {arXiv},
eprint = {2301.12403},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-12403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05213,
author = {Luiz Carvalho and
Renzo Degiovanni and
Mat{\'{\i}}as Brizzio and
Maxime Cordy and
Nazareno Aguirre and
Yves Le Traon and
Mike Papadakis},
title = {ACoRe: Automated Goal-Conflict Resolution},
journal = {CoRR},
volume = {abs/2303.05213},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05213},
doi = {10.48550/ARXIV.2303.05213},
eprinttype = {arXiv},
eprint = {2303.05213},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MolinadA22,
author = {Facundo Molina and
Marcelo d'Amorim and
Nazareno Aguirre},
title = {Fuzzing Class Specifications},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {1008--1020},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510120},
doi = {10.1145/3510003.3510120},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MolinadA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MolinaPAF22,
author = {Facundo Molina and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias},
title = {Learning to Prune Infeasible Paths in Generalized Symbolic Execution},
booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering,
{ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
pages = {494--504},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSRE55969.2022.00054},
doi = {10.1109/ISSRE55969.2022.00054},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/MolinaPAF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhengNBRAFB22,
author = {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},
editor = {Sukyoung Ryu and
Yannis Smaragdakis},
title = {{ATR:} template-based repair for Alloy specifications},
booktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
pages = {666--677},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533767.3534369},
doi = {10.1145/3533767.3534369},
timestamp = {Tue, 26 Jul 2022 16:24:43 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhengNBRAFB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BridaRZBNAF22,
author = {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},
title = {{ICEBAR:} Feedback-Driven Iterative Repair of Alloy Specifications},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {55:1--55:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556944},
doi = {10.1145/3551349.3556944},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BridaRZBNAF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CopiaPAGF22,
author = {Juan Manuel Copia and
Pablo Ponzio and
Nazareno Aguirre and
Alessandra Gorla and
Marcelo F. Frias},
title = {{LISSA:} Lazy Initialization with Specialized Solver Aid},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {67:1--67:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556965},
doi = {10.1145/3551349.3556965},
timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CopiaPAGF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10874,
author = {Facundo Molina and
Marcelo d'Amorim and
Nazareno Aguirre},
title = {Fuzzing Class Specifications},
journal = {CoRR},
volume = {abs/2201.10874},
year = {2022},
url = {https://arxiv.org/abs/2201.10874},
eprinttype = {arXiv},
eprint = {2201.10874},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PonzioGRAAF21,
author = {Pablo Ponzio and
Ariel Godio and
Nicol{\'{a}}s Rosner and
Marcelo Arroyo and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Esther Guerra and
Mari{\"{e}}lle Stoelinga},
title = {Efficient Bounded Model Checking of Heap-Manipulating Programs using
Tight Field Bounds},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {12649},
pages = {218--239},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71500-7\_11},
doi = {10.1007/978-3-030-71500-7\_11},
timestamp = {Fri, 14 May 2021 08:34:15 +0200},
biburl = {https://dblp.org/rec/conf/fase/PonzioGRAAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhengNBRFAB21a,
author = {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},
title = {Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy
Models'},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {179--180},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00077},
doi = {10.1109/ICSE-COMPANION52605.2021.00077},
timestamp = {Mon, 28 Jun 2021 13:24:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MolinaPAF21a,
author = {Facundo Molina and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias},
title = {EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {185--186},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00080},
doi = {10.1109/ICSE-COMPANION52605.2021.00080},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MolinaPAF21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BridaRZBNAF21a,
author = {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},
title = {Artifact of Bounded Exhaustive Search of Alloy Specification Repairs},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {209--210},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00093},
doi = {10.1109/ICSE-COMPANION52605.2021.00093},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BridaRZBNAF21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhengNBRFAB21,
author = {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},
title = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {637--648},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00065},
doi = {10.1109/ICSE43902.2021.00065},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BridaRZBNAF21,
author = {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},
title = {Bounded Exhaustive Search of Alloy Specification Repairs},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {1135--1147},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00105},
doi = {10.1109/ICSE43902.2021.00105},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BridaRZBNAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MolinaPAF21,
author = {Facundo Molina and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias},
title = {EvoSpex: An Evolutionary Algorithm for Learning Postconditions},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {1223--1235},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00112},
doi = {10.1109/ICSE43902.2021.00112},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MolinaPAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BridaRZBNAF21,
author = {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},
title = {BeAFix: An Automated Repair Tool for Faulty Alloy Models},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {1213--1217},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678524},
doi = {10.1109/ASE51524.2021.9678524},
timestamp = {Mon, 24 Jan 2022 16:18:34 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BridaRZBNAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhengNBRFAB21,
author = {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},
title = {{FLACK:} Localizing Faults in Alloy Models},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {1218--1222},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678740},
doi = {10.1109/ASE51524.2021.9678740},
timestamp = {Mon, 24 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhengNBRFAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-10152,
author = {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},
title = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},
journal = {CoRR},
volume = {abs/2102.10152},
year = {2021},
url = {https://arxiv.org/abs/2102.10152},
eprinttype = {arXiv},
eprint = {2102.10152},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-10152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-13569,
author = {Facundo Molina and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias},
title = {EvoSpex: An Evolutionary Algorithm for Learning Postconditions},
journal = {CoRR},
volume = {abs/2102.13569},
year = {2021},
url = {https://arxiv.org/abs/2102.13569},
eprinttype = {arXiv},
eprint = {2102.13569},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-13569.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-00327,
author = {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},
title = {Bounded Exhaustive Search of Alloy Specification Repairs},
journal = {CoRR},
volume = {abs/2103.00327},
year = {2021},
url = {https://arxiv.org/abs/2103.00327},
eprinttype = {arXiv},
eprint = {2103.00327},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-00327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-12595,
author = {Mat{\'{\i}}as Brizzio and
Renzo Degiovanni and
Maxime Cordy and
Mike Papadakis and
Nazareno Aguirre},
title = {Automated Repair of Unrealisable {LTL} Specifications Guided by Model
Counting},
journal = {CoRR},
volume = {abs/2105.12595},
year = {2021},
url = {https://arxiv.org/abs/2105.12595},
eprinttype = {arXiv},
eprint = {2105.12595},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-12595.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PomboCAM19,
author = {Carlos L{\'{o}}pez Pombo and
Pablo F. Castro and
Nazareno Aguirre and
Thomas Stephen Edward Maibaum},
title = {Satisfiability Calculus: An Abstract Formulation of Semantic Proof
Systems},
journal = {Fundam. Informaticae},
volume = {166},
number = {4},
pages = {297--347},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1804},
doi = {10.3233/FI-2019-1804},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PomboCAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MolinaCDRCAF19,
author = {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},
title = {An evolutionary approach to translating operational specifications
into declarative specifications},
journal = {Sci. Comput. Program.},
volume = {181},
pages = {47--63},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.05.006},
doi = {10.1016/J.SCICO.2019.05.006},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MolinaCDRCAF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PonzioBPAF19,
author = {Pablo Ponzio and
Valeria S. Bengolea and
Mariano Politano and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Automatically Identifying Sufficient Object Builders from Module APIs},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {427--444},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_25},
doi = {10.1007/978-3-030-16722-6\_25},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/PonzioBPAF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MolinaDPRAF19,
author = {Facundo Molina and
Renzo Degiovanni and
Pablo Ponzio and
Germ{\'{a}}n Regis and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Training binary classifiers as data structure invariants},
booktitle = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
pages = {759--770},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE.2019.00084},
doi = {10.1109/ICSE.2019.00084},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MolinaDPRAF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GodioBPAF19,
author = {Ariel Godio and
Valeria S. Bengolea and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo Fabian Frias},
title = {Efficient Test Generation Guided by Field Coverage Criteria},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {91--101},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00019},
doi = {10.1109/ASE.2019.00019},
timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GodioBPAF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-14011,
author = {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},
title = {Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible
Mutants with {SAT}},
journal = {CoRR},
volume = {abs/1910.14011},
year = {2019},
url = {http://arxiv.org/abs/1910.14011},
eprinttype = {arXiv},
eprint = {1910.14011},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-14011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/UvaPRAF18,
author = {Marcelo Uva and
Pablo Ponzio and
Germ{\'{a}}n Regis and
Nazareno Aguirre and
Marcelo F. Frias},
title = {Automated workarounds from Java program specifications based on {SAT}
solving},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {6},
pages = {665--688},
year = {2018},
url = {https://doi.org/10.1007/s10009-018-0503-8},
doi = {10.1007/S10009-018-0503-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/UvaPRAF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/DegiovanniPAF18,
author = {Renzo Degiovanni and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias},
title = {Improving lazy abstraction for {SCR} specifications through constraint
relaxation},
journal = {Softw. Test. Verification Reliab.},
volume = {28},
number = {2},
year = {2018},
url = {https://doi.org/10.1002/stvr.1657},
doi = {10.1002/STVR.1657},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/DegiovanniPAF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MolinaDRCAF18,
author = {Facundo Molina and
Renzo Degiovanni and
Germ{\'{a}}n Regis and
Pablo F. Castro and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Juan Pablo Galeotti and
Alessandra Gorla},
title = {From operational to declarative specifications using a genetic algorithm},
booktitle = {Proceedings of the 11th International Workshop on Search-Based Software
Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},
pages = {39--42},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194718.3194725},
doi = {10.1145/3194718.3194725},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MolinaDRCAF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PonzioBBSAF18,
author = {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},
editor = {Juan Pablo Galeotti and
Alessandra Gorla},
title = {On the effect of object redundancy elimination in randomly testing
collection classes},
booktitle = {Proceedings of the 11th International Workshop on Search-Based Software
Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},
pages = {67--70},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194718.3194724},
doi = {10.1145/3194718.3194724},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PonzioBBSAF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DegiovanniCARAF18,
author = {Renzo Degiovanni and
Pablo F. Castro and
Marcelo Arroyo and
Marcelo Ruiz and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Goal-conflict likelihood assessment based on model counting},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {1125--1135},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180261},
doi = {10.1145/3180155.3180261},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DegiovanniCARAF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DegiovanniMRA18,
author = {Renzo Degiovanni and
Facundo Molina and
Germ{\'{a}}n Regis and
Nazareno Aguirre},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {A genetic algorithm for goal-conflict identification},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {520--531},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238220},
doi = {10.1145/3238147.3238220},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/DegiovanniMRA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DemasiCMA17,
author = {Ramiro Demasi and
Pablo F. Castro and
Thomas Stephen Edward Maibaum and
Nazareno Aguirre},
title = {Simulation relations for fault-tolerance},
journal = {Formal Aspects Comput.},
volume = {29},
number = {6},
pages = {1013--1050},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0426-2},
doi = {10.1007/S00165-017-0426-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DemasiCMA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/UvaPRAF17,
author = {Marcelo Uva and
Pablo Ponzio and
Germ{\'{a}}n Regis and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Marieke Huisman and
Julia Rubin},
title = {Automated Workarounds from Java Program Specifications Based on {SAT}
Solving},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {356--373},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_20},
doi = {10.1007/978-3-662-54494-5\_20},
timestamp = {Fri, 09 Apr 2021 18:43:03 +0200},
biburl = {https://dblp.org/rec/conf/fase/UvaPRAF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Aguirre17,
author = {Nazareno Aguirre},
title = {Efficient SAT-Based Software Analysis: From Automated Testing to Automated
Verification and Repair},
booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
2017},
pages = {2},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FormaliSE.2017.21},
doi = {10.1109/FORMALISE.2017.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Aguirre17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZeminBGCDRAF17,
author = {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},
title = {An Analysis of the Suitability of Test-Based Patch Acceptance Criteria},
booktitle = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing,
SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},
pages = {14--20},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SBST.2017.12},
doi = {10.1109/SBST.2017.12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZeminBGCDRAF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RegisCBPRPAGF17,
author = {Germ{\'{a}}n Regis and
C{\'{e}}sar Cornejo and
Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Mariano Politano and
Fernando D. Raverta and
Pablo Ponzio and
Nazareno Aguirre and
Juan Pablo Galeotti and
Marcelo F. Frias},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {DynAlloy analyzer: a tool for the specification and analysis of alloy
models with dynamic behaviour},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {969--973},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3122826},
doi = {10.1145/3106237.3122826},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RegisDDA17,
author = {Germ{\'{a}}n Regis and
Renzo Degiovanni and
Nicol{\'{a}}s D'Ippolito and
Nazareno Aguirre},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {{CLTSA:} labelled transition system analyser with counting fluent
support},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {979--983},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3122828},
doi = {10.1145/3106237.3122828},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/RegisDDA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DegiovanniRACA16,
author = {Renzo Degiovanni and
Nicol{\'{a}}s Ricci and
Dalal Alrajeh and
Pablo F. Castro and
Nazareno Aguirre},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Goal-conflict detection based on temporal satisfiability checking},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {507--518},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970349},
doi = {10.1145/2970276.2970349},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/DegiovanniRACA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CastroA16,
author = {Pablo F. Castro and
Nazareno Aguirre},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Algebraic Foundations for Specification Refinements},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {112--128},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_7},
doi = {10.1007/978-3-319-49815-7\_7},
timestamp = {Sun, 25 Oct 2020 23:10:05 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/CastroA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MolinaCDRCAF16,
author = {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},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {An Evolutionary Approach to Translate Operational Specifications into
Declarative Specifications},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {145--160},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_9},
doi = {10.1007/978-3-319-49815-7\_9},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MolinaCDRCAF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PonzioAFV16,
author = {Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias and
Willem Visser},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Field-exhaustive testing},
booktitle = {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},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950336},
doi = {10.1145/2950290.2950336},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PonzioAFV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CastroAPM15,
author = {Pablo F. Castro and
Nazareno Aguirre and
Carlos L{\'{o}}pez Pombo and
T. S. E. Maibaum},
title = {Categorical foundations for structured specifications in {Z}},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {831--865},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0336-0},
doi = {10.1007/S00165-015-0336-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CastroAPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RosnerGAVF15,
author = {Nicol{\'{a}}s Rosner and
Jaco Geldenhuys and
Nazareno Aguirre and
Willem Visser and
Marcelo F. Frias},
title = {{BLISS:} Improved Symbolic Execution by Bounded Lazy Initialization
with {SAT} Support},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {7},
pages = {639--660},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2389225},
doi = {10.1109/TSE.2015.2389225},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RosnerGAVF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RegisDDA15,
author = {Germ{\'{a}}n Regis and
Renzo Degiovanni and
Nicol{\'{a}}s D'Ippolito and
Nazareno Aguirre},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Specifying Event-Based Systems with a Counting Fluent Temporal Logic},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {733--743},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.86},
doi = {10.1109/ICSE.2015.86},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/RegisDDA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DemasiCRMA15,
author = {Ramiro Demasi and
Pablo F. Castro and
Nicol{\'{a}}s Ricci and
Thomas Stephen Edward Maibaum and
Nazareno Aguirre},
editor = {Christel Baier and
Cesare Tinelli},
title = {syntMaskFT: {A} Tool for Synthesizing Masking Fault-Tolerant Programs
from Deontic Specifications},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {188--193},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_13},
doi = {10.1007/978-3-662-46681-0\_13},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DemasiCRMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BengoleaAMF14,
author = {Valeria S. Bengolea and
Nazareno Aguirre and
Darko Marinov and
Marcelo F. Frias},
title = {RepOK-based reduction of bounded exhaustive testing},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {629--655},
year = {2014},
url = {https://doi.org/10.1002/stvr.1547},
doi = {10.1002/STVR.1547},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BengoleaAMF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/NordioEMAPNS14,
author = {Mart{\'{\i}}n Nordio and
H.{-}Christian Estler and
Bertrand Meyer and
Nazareno Aguirre and
Rafael Prikladnicki and
Elisabetta Di Nitto and
Anthony Savidis},
editor = {Andreas Bollin and
Elke Hochm{\"{u}}ller and
Roland T. Mittermeir and
Tony Cowling and
Richard LeBlanc},
title = {An experiment on teaching coordination in a globally distributed software
engineering class},
booktitle = {27th {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2014, Klagenfurt, Austria, April 23-25, 2014},
pages = {109--118},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CSEET.2014.6816788},
doi = {10.1109/CSEET.2014.6816788},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/NordioEMAPNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PonzioRAF14,
author = {Pablo Ponzio and
Nicol{\'{a}}s Rosner and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Efficient Tight Field Bounds Computation Based on Shape Predicates},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {531--546},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_36},
doi = {10.1007/978-3-319-06410-9\_36},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/PonzioRAF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DegiovanniAAU14,
author = {Renzo Degiovanni and
Dalal Alrajeh and
Nazareno Aguirre and
Sebasti{\'{a}}n Uchitel},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Automated goal operationalisation based on interpolation and {SAT}
solving},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {129--139},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568323},
doi = {10.1145/2568225.2568323},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DegiovanniAAU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PomboCAM14,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Pablo F. Castro and
Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {A Heterogeneous Characterisation of Component-Based System Design
in a Categorical Setting},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {314--332},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7\_19},
doi = {10.1007/978-3-319-10882-7\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/PomboCAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RosnerBPKAFK14,
author = {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},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Bounded exhaustive test input generation from hybrid invariants},
booktitle = {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},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660232},
doi = {10.1145/2660193.2660232},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RosnerBPKAFK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/AguirreR14,
editor = {Nazareno Aguirre and
Leila Ribeiro},
title = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
2013, Buenos Aires, Argentina, August 26th 2013},
series = {{EPTCS}},
volume = {139},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.139},
doi = {10.4204/EPTCS.139},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AguirreR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DemasiCMA13,
author = {Ramiro Demasi and
Pablo F. Castro and
T. S. E. Maibaum and
Nazareno Aguirre},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {163--177},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_13},
doi = {10.1007/978-3-319-02444-8\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DemasiCMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clei/ScilingoNDA13,
author = {Gast{\'{o}}n Scilingo and
Mar{\'{\i}}a Marta Novaira and
Renzo Degiovanni and
Nazareno Aguirre},
title = {Analyzing formal requirements specifications using an off-the-shelf
model checker},
booktitle = {2013 {XXXIX} Latin American Computing Conference (CLEI), Caracas (Naiguata),
Venezuela, October 7-11, 2013},
pages = {1--9},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CLEI.2013.6670611},
doi = {10.1109/CLEI.2013.6670611},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clei/ScilingoNDA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AbadABCFGMMRV13,
author = {Pablo Abad and
Nazareno Aguirre and
Valeria S. Bengolea and
Daniel Alfredo Ciolek and
Marcelo F. Frias and
Juan P. Galeotti and
Tom Maibaum and
Mariano M. Moscato and
Nicol{\'{a}}s Rosner and
Ignacio Vissani},
title = {Improving Test Generation under Rich Contracts by Tight Bounds and
Incremental {SAT} Solving},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22,
2013},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICST.2013.46},
doi = {10.1109/ICST.2013.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AbadABCFGMMRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DemasiCMA13,
author = {Ramiro Demasi and
Pablo F. Castro and
T. S. E. Maibaum and
Nazareno Aguirre},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Characterizing Fault-Tolerant Systems by Means of Simulation Relations},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {428--442},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_29},
doi = {10.1007/978-3-642-38613-8\_29},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DemasiCMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RosnerSAKF13,
author = {Nicol{\'{a}}s Rosner and
Junaid Haroon Siddiqui and
Nazareno Aguirre and
Sarfraz Khurshid and
Marcelo F. Frias},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Ranger: Parallel analysis of alloy models by range partitioning},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {147--157},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693075},
doi = {10.1109/ASE.2013.6693075},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/RosnerSAKF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GeldenhuysAFV13,
author = {Jaco Geldenhuys and
Nazareno Aguirre and
Marcelo F. Frias and
Willem Visser},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Bounded Lazy Initialization},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {229--243},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_16},
doi = {10.1007/978-3-642-38088-4\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GeldenhuysAFV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/RosnerPAJMF13,
author = {Nicol{\'{a}}s Rosner and
Carlos Gustavo L{\'{o}}pez Pombo and
Nazareno Aguirre and
Ali Jaoua and
Ali Mili and
Marcelo F. Frias},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Parallel Bounded Verification of Alloy Models by TranScoping},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {88--107},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_5},
doi = {10.1007/978-3-642-54108-7\_5},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/RosnerPAJMF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CastroAPM12,
author = {Pablo F. Castro and
Nazareno Aguirre and
Carlos Gustavo L{\'{o}}pez Pombo and
Tom Maibaum},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {A Categorical Approach to Structuring and Promoting {Z} Specifications},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {73--91},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_5},
doi = {10.1007/978-3-642-35861-6\_5},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/CastroAPM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AcostaKCA12,
author = {Araceli Acosta and
Cecilia Kilmurray and
Pablo F. Castro and
Nazareno Aguirre},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Model Checking Propositional Deontic Temporal Logic via a {\(\mu\)}-Calculus
Characterization},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {3--18},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_3},
doi = {10.1007/978-3-642-33296-8\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AcostaKCA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/RegisRAM12,
author = {Germ{\'{a}}n Regis and
Nicol{\'{a}}s Ricci and
Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Specifying and Verifying Declarative Fluent Temporal Logic Properties
of Workflows},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {147--162},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_12},
doi = {10.1007/978-3-642-33296-8\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/RegisRAM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BengoleaAMF12,
author = {Valeria S. Bengolea and
Nazareno Aguirre and
Darko Marinov and
Marcelo F. Frias},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test
Suites},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {19--34},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_4},
doi = {10.1007/978-3-642-30473-6\_4},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/BengoleaAMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/PomboCAM12,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Pablo F. Castro and
Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
title = {Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus
in General Logics},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International
Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7841},
pages = {195--211},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37635-1\_12},
doi = {10.1007/978-3-642-37635-1\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/PomboCAM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NordioGMNTTAK11,
author = {Martin Nordio and
Carlo Ghezzi and
Bertrand Meyer and
Elisabetta Di Nitto and
Giordano Tamburrelli and
Julian Tschannen and
Nazareno Aguirre and
Vidya Kulkarni},
editor = {Stuart R. Faulk and
David M. Weiss and
Michal Young and
Lian Yu},
title = {Teaching software engineering using globally distributed projects:
the {DOSE} course},
booktitle = {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},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1984665.1984673},
doi = {10.1145/1984665.1984673},
timestamp = {Thu, 14 Jan 2021 16:56:54 +0100},
biburl = {https://dblp.org/rec/conf/icse/NordioGMNTTAK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CastroKAA11,
author = {Pablo F. Castro and
Cecilia Kilmurray and
Araceli Acosta and
Nazareno Aguirre},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {dCTL: {A} Branching Time Temporal Logic for Fault-Tolerant System
Verification},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {106--121},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_9},
doi = {10.1007/978-3-642-24690-6\_9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CastroKAA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AguirreBFG11,
author = {Nazareno Aguirre and
Valeria S. Bengolea and
Marcelo F. Frias and
Juan P. Galeotti},
editor = {Martin Gogolla and
Burkhart Wolff},
title = {Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test
Generation of Structural Inputs},
booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
Switzerland, June 30 - July 1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {15--32},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21768-5\_3},
doi = {10.1007/978-3-642-21768-5\_3},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/AguirreBFG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DegiovanniPAF11,
author = {Renzo Degiovanni and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Martin Gogolla and
Burkhart Wolff},
title = {Abstraction Based Automated Test Generation from Formal Tabular Requirements
Specifications},
booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
Switzerland, June 30 - July 1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {84--101},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21768-5\_8},
doi = {10.1007/978-3-642-21768-5\_8},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/DegiovanniPAF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CastroAPM10,
author = {Pablo F. Castro and
Nazareno Aguirre and
Carlos Gustavo L{\'{o}}pez Pombo and
T. S. E. Maibaum},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Towards Managing Dynamic Reconfiguration of Software Systems in a
Categorical Setting},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {306--321},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_21},
doi = {10.1007/978-3-642-14808-8\_21},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/CastroAPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/BlancoLANPS09,
author = {Javier Blanco and
Leticia Losano and
Nazareno Aguirre and
Mar{\'{\i}}a Marta Novaira and
Sonia Permigiani and
Gast{\'{o}}n Scilingo},
title = {An introductory course on programming based on formal specification
and program calculation},
journal = {{ACM} {SIGCSE} Bull.},
volume = {41},
number = {2},
pages = {31--37},
year = {2009},
url = {https://doi.org/10.1145/1595453.1595459},
doi = {10.1145/1595453.1595459},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/BlancoLANPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AguirreFMMW09,
author = {Nazareno Aguirre and
Marcelo F. Frias and
Mariano M. Moscato and
T. S. E. Maibaum and
Alan Wassyng},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Describing and Analyzing Behaviours over Tabular Specifications Using
(Dyn)Alloy},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {155--170},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_11},
doi = {10.1007/978-3-642-00593-0\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/AguirreFMMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/RegisAM09,
author = {Germ{\'{a}}n Regis and
Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Specifying and Verifying Business Processes Using {PPML}},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {737--756},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_38},
doi = {10.1007/978-3-642-10373-5\_38},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/RegisAM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AguirreFPCGR08,
author = {Nazareno Aguirre and
Marcelo F. Frias and
Pablo Ponzio and
Brian J. Cardiff and
Juan P. Galeotti and
Germ{\'{a}}n Regis},
editor = {Shaoying Liu and
T. S. E. Maibaum and
Keijiro Araki},
title = {Towards Abstraction for DynAlloy Specifications},
booktitle = {Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5256},
pages = {207--225},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88194-0\_14},
doi = {10.1007/978-3-540-88194-0\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/AguirreFPCGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FriasPGA07,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo and
Juan P. Galeotti and
Nazareno Aguirre},
title = {Efficient Analysis of DynAlloy Specifications},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {17},
number = {1},
pages = {4:1--4:34},
year = {2007},
url = {https://doi.org/10.1145/1314493.1314497},
doi = {10.1145/1314493.1314497},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/FriasPGA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LingMA07,
author = {Xiang Ling and
T. S. E. Maibaum and
Nazareno Aguirre},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Design in CommUnity with Extension Morphisms},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4700},
pages = {435--466},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75221-9\_20},
doi = {10.1007/978-3-540-75221-9\_20},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LingMA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AguirreRM07,
author = {Nazareno Aguirre and
Germ{\'{a}}n Regis and
T. S. E. Maibaum},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Verifying Temporal Properties of CommUnity Designs},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {1--20},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_1},
doi = {10.1007/978-3-540-73210-5\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AguirreRM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AguirreMA06,
author = {Nazareno Aguirre and
T. S. E. Maibaum and
Paulo S. C. Alencar},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Extension Morphisms for CommUnity},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {173--193},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_10},
doi = {10.1007/11780274\_10},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AguirreMA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FriasPBAM05,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo and
Gabriel A. Baum and
Nazareno Aguirre and
T. S. E. Maibaum},
title = {Reasoning about static and dynamic properties in alloy: {A} purely
relational approach},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {14},
number = {4},
pages = {478--526},
year = {2005},
url = {https://doi.org/10.1145/1101815.1101819},
doi = {10.1145/1101815.1101819},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/FriasPBAM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AguirreABGM05,
author = {Nazareno Aguirre and
Marcelo Arroyo and
Juan Bicarregui and
Lucio Guzm{\'{a}}n and
T. S. E. Maibaum},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {Towards Dynamically Communicating Abstract Machines in the {B} Method},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {141--155},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_11},
doi = {10.1007/11576280\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/AguirreABGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FriasGPA05,
author = {Marcelo F. Frias and
Juan P. Galeotti and
Carlos L{\'{o}}pez Pombo and
Nazareno Aguirre},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {DynAlloy: upgrading alloy with actions},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {442--451},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062535},
doi = {10.1145/1062455.1062535},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FriasGPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Aguirre04,
author = {Nazareno Aguirre},
title = {A logical basis for the specification of reconfigurable component
based systems},
school = {King's College London, {UK}},
year = {2004},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.416615},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Aguirre04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FriasPA04,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo and
Nazareno Aguirre},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {An Equational Calculus for Alloy},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {162--175},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_19},
doi = {10.1007/978-3-540-30482-1\_19},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FriasPA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AguirreBGM04,
author = {Nazareno Aguirre and
Juan Bicarregui and
Lucio Guzm{\'{a}}n and
T. S. E. Maibaum},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Implementing Dynamic Aggregations of Abstract Machines in the {B}
Method},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {403--417},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_34},
doi = {10.1007/978-3-540-30482-1\_34},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/AguirreBGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AguirreM04,
author = {Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Juliana K{\"{u}}ster Filipe and
Iman Poernomo and
Ralf H. Reussner and
Sandeep K. Shukla},
title = {Hierarchical Temporal Specifications of Dynamically Reconfigurable
Component Based Systems},
booktitle = {Proceedings of the First International Workshop on Formal Foundations
of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {108},
pages = {69--81},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.013},
doi = {10.1016/J.ENTCS.2004.01.013},
timestamp = {Tue, 13 Dec 2022 10:41:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AguirreM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AguirreM03,
author = {Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Nachum Dershowitz},
title = {Some Institutional Requirements for Temporal Reasoning on Dynamic
Reconfiguration of Component Based Systems},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {407--435},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_20},
doi = {10.1007/978-3-540-39910-0\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AguirreM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AguirreM03,
author = {Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Mauro Pezz{\`{e}}},
title = {A Logical Basis for the Specification of Reconfigurable Component-Based
Systems},
booktitle = {Fundamental Approaches to Software Engineering, 6th International
Conference, {FASE} 2003, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2621},
pages = {37--51},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36578-8\_4},
doi = {10.1007/3-540-36578-8\_4},
timestamp = {Sun, 02 Oct 2022 16:01:12 +0200},
biburl = {https://dblp.org/rec/conf/fase/AguirreM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FriasPBAM03,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo and
Gabriel Baum and
Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Taking \emph{Alloy} to the Movies},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {678--697},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_37},
doi = {10.1007/978-3-540-45236-2\_37},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/FriasPBAM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AguirreBDM03,
author = {Nazareno Aguirre and
Juan Bicarregui and
Theodosis Dimitrakos and
T. S. E. Maibaum},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {Towards Dynamic Population Management of Abstract Machines in the
{B} Method},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {528--545},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_31},
doi = {10.1007/3-540-44880-2\_31},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/AguirreBDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AguirreM02,
author = {Nazareno Aguirre and
T. S. E. Maibaum},
title = {A Temporal Logic Approach to the Specification of Reconfigurable Component-Based
Systems},
booktitle = {17th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
pages = {271--274},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASE.2002.1115028},
doi = {10.1109/ASE.2002.1115028},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AguirreM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 20:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
