default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Facundo Molina"
download as .bib file
@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/icst/MolinaCG24,
author = {Facundo Molina and
Juan Manuel Copia and
Alessandra Gorla},
title = {Improving Patch Correctness Analysis via Random Testing and Large
Language Models},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2024, Toronto, ON, Canada, May 27-31, 2024},
pages = {317--328},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICST60714.2024.00036},
doi = {10.1109/ICST60714.2024.00036},
timestamp = {Thu, 05 Sep 2024 16:02:12 +0200},
biburl = {https://dblp.org/rec/conf/icst/MolinaCG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-12766,
author = {Facundo Molina and
Alessandra Gorla},
title = {Test Oracle Automation in the era of LLMs},
journal = {CoRR},
volume = {abs/2405.12766},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.12766},
doi = {10.48550/ARXIV.2405.12766},
eprinttype = {arXiv},
eprint = {2405.12766},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-12766.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/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/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/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}
}
@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/iwocl/ThomanHF22,
author = {Peter Thoman and
Facundo Molina Heredia and
Thomas Fahringer},
title = {On the Compilation Performance of Current {SYCL} Implementations},
booktitle = {IWOCL'22: International Workshop on OpenCL, Bristol, United Kingdom,
May 10 - 12, 2022},
pages = {6:1--6:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3529538.3529548},
doi = {10.1145/3529538.3529548},
timestamp = {Wed, 11 May 2022 10:57:07 +0200},
biburl = {https://dblp.org/rec/conf/iwocl/ThomanHF22.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/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/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}
}
@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}
}
@inproceedings{DBLP:conf/kbse/Molina20,
author = {Facundo Molina},
title = {Applying Learning Techniques to Oracle Synthesis},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {1153--1157},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3415287},
doi = {10.1145/3324884.3415287},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Molina20.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/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/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/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}
}
@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}
}
@article{DBLP:journals/jcisd/Murcia-SolerPNSGCG01,
author = {Miguel Murcia{-}Soler and
Facundo P{\'{e}}rez{-}Gim{\'{e}}nez and
Ricardo Nalda{-}Molina and
M. Teresa Salabert{-}Salvador and
Francisco J. Garc{\'{\i}}a{-}March and
Rosa Ana Cerc{\'{o}}s{-}del{-}Pozo and
Teresa M. Garrigues},
title = {{QSAR} Analysis of Hypoglycemic Agents Using the Topological Indices},
journal = {J. Chem. Inf. Comput. Sci.},
volume = {41},
number = {5},
pages = {1345--1354},
year = {2001},
url = {https://doi.org/10.1021/ci010281\%2B},
doi = {10.1021/CI010281\%2B},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcisd/Murcia-SolerPNSGCG01.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.
retrieved on 2024-09-30 20:12 CEST from data curated 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:
