ESC

Publications

List of published articles (sorted by year)

  1. Copia, J. M., Molina, F., Gorla, A., Aguirre, N., & Ponzio, P. (2025). Search-based Inference of Class Invariants. In B. Filipic (Ed.), Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2025, NH Malaga Hotel, Malaga, Spain, July 14-18, 2025 (pp. 803–806). ACM. https://doi.org/10.1145/3712255.3726698
    DOI 
    @inproceedings{DBLP:conf/gecco/CopiaMGAP25,
  author = {Copia, Juan Manuel and Molina, Facundo and Gorla, Alessandra and Aguirre, Nazareno and Ponzio, Pablo},
  editor = {Filipic, Bogdan},
  title = {Search-based Inference of Class Invariants},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference
                    Companion, {GECCO} 2025, {NH} Malaga Hotel, Malaga, Spain, July 14-18,
                    2025},
  pages = {803--806},
  publisher = {{ACM}},
  year = {2025},
  url = {https://doi.org/10.1145/3712255.3726698},
  doi = {10.1145/3712255.3726698},
  timestamp = {Wed, 25 Feb 2026 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/gecco/CopiaMGAP25.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  2. Borda Agustı́n, Regis, G., Aguirre, N., Frias, M. F., & Ponzio, P. (2025). Automated Combinatorial Test Generation for Alloy. 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, Seoul, Korea, Republic of, November 16-20, 2025, 2919–2931. https://doi.org/10.1109/ASE63991.2025.00240
    DOI 
    @inproceedings{DBLP:conf/kbse/BordaRAFP25,
  author = {Borda, Agust{\'{\i}}n and Regis, Germ{\'{a}}n and Aguirre, Nazareno and Frias, Marcelo F. and Ponzio, Pablo},
  title = {Automated Combinatorial Test Generation for Alloy},
  booktitle = {40th {IEEE/ACM} International Conference on Automated Software Engineering,
                    {ASE} 2025, Seoul, Korea, Republic of, November 16-20, 2025},
  pages = {2919--2931},
  publisher = {{IEEE}},
  year = {2025},
  url = {https://doi.org/10.1109/ASE63991.2025.00240},
  doi = {10.1109/ASE63991.2025.00240},
  timestamp = {Sun, 08 Feb 2026 15:06:01 +0100},
  biburl = {https://dblp.org/rec/conf/kbse/BordaRAFP25.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  3. Politano, M., Bengolea, V. S., Molina, F., Aguirre, N., Frias, M. F., & Ponzio, P. (2024). BEAPI: A tool for bounded exhaustive input generation from APIs. Sci. Comput. Program., 238, 103153. https://doi.org/10.1016/j.scico.2024.103153
    DOI 
    @article{DBLP:journals/scp/PolitanoBMAFP24,
  author = {Politano, Mariano and Bengolea, Valeria S. and Molina, Facundo and Aguirre, Nazareno and Frias, Marcelo F. and Ponzio, Pablo},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/scp/PolitanoBMAFP24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  4. Politano, M., Bengolea, V. S., Molina, F., Aguirre, N., Frias, M. F., & Ponzio, P. (2023). Efficient Bounded Exhaustive Input Generation from Program APIs. In L. Lambers & S. Uchitel (Eds.), 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 (pp. 111–132). Springer. https://doi.org/10.1007/978-3-031-30826-0_6
    DOI 
    @inproceedings{DBLP:conf/fase/PolitanoBMAFP23,
  author = {Politano, Mariano and Bengolea, Valeria S. and Molina, Facundo and Aguirre, Nazareno and Frias, Marcelo F. and Ponzio, Pablo},
  editor = {Lambers, Leen and Uchitel, Sebasti{\'{a}}n},
  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},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/fase/PolitanoBMAFP23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  5. Copia, J. M., Molina, F., Aguirre, N., Frias, M. F., Gorla, A., & Ponzio, P. (2023). Precise Lazy Initialization for Programs with Complex Heap Inputs. 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, 752–762. https://doi.org/10.1109/ISSRE59848.2023.00080
    DOI 
    @inproceedings{DBLP:conf/issre/CopiaMAFGP23,
  author = {Copia, Juan Manuel and Molina, Facundo and Aguirre, Nazareno and Frias, Marcelo F. and Gorla, Alessandra and Ponzio, Pablo},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/issre/CopiaMAFGP23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  6. Molina, F., Ponzio, P., Aguirre, N., & Frias, M. F. (2023). EvoSpex: A Search-Based Tool for Postcondition Inference. In R. Just & G. Fraser (Eds.), Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023 (pp. 1519–1522). ACM. https://doi.org/10.1145/3597926.3604928
    DOI 
    @inproceedings{DBLP:conf/issta/MolinaPAF23,
  author = {Molina, Facundo and Ponzio, Pablo and Aguirre, Nazareno and Frias, Marcelo F.},
  editor = {Just, Ren{\'{e}} and Fraser, Gordon},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/issta/MolinaPAF23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  7. Molina, F., Ponzio, P., Aguirre, N., & Frias, M. F. (2022). Learning to Prune Infeasible Paths in Generalized Symbolic Execution. IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, 494–504. https://doi.org/10.1109/ISSRE55969.2022.00054
    DOI 
    @inproceedings{DBLP:conf/issre/MolinaPAF22,
  author = {Molina, Facundo and Ponzio, Pablo and Aguirre, Nazareno and Frias, Marcelo F.},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/issre/MolinaPAF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  8. Copia, J. M., Ponzio, P., Aguirre, N., Gorla, A., & Frias, M. F. (2022). LISSA: Lazy Initialization with Specialized Solver Aid. 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 67:1–67:12. https://doi.org/10.1145/3551349.3556965
    DOI 
    @inproceedings{DBLP:conf/kbse/CopiaPAGF22,
  author = {Copia, Juan Manuel and Ponzio, Pablo and Aguirre, Nazareno and Gorla, Alessandra and Frias, Marcelo F.},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/kbse/CopiaPAGF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  9. Ponzio, P., Godio, A., Rosner, N., Arroyo, M., Aguirre, N., & Frias, M. F. (2021). Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. In E. Guerra & M. Stoelinga (Eds.), 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 (pp. 218–239). Springer. https://doi.org/10.1007/978-3-030-71500-7_11
    DOI 
    @inproceedings{DBLP:conf/fase/PonzioGRAAF21,
  author = {Ponzio, Pablo and Godio, Ariel and Rosner, Nicol{\'{a}}s and Arroyo, Marcelo and Aguirre, Nazareno and Frias, Marcelo F.},
  editor = {Guerra, Esther and Stoelinga, Mari{\"{e}}lle},
  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},
  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}
}
  10. Molina, F., Ponzio, P., Aguirre, N., & Frias, M. F. (2021). EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, 185–186. https://doi.org/10.1109/ICSE-Companion52605.2021.00080
    DOI 
    @inproceedings{DBLP:conf/icse/MolinaPAF21a,
  author = {Molina, Facundo and Ponzio, Pablo and Aguirre, Nazareno and Frias, Marcelo F.},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/icse/MolinaPAF21a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  11. Molina, F., Ponzio, P., Aguirre, N., & Frias, M. F. (2021). EvoSpex: An Evolutionary Algorithm for Learning Postconditions. 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, 1223–1235. https://doi.org/10.1109/ICSE43902.2021.00112
    DOI 
    @inproceedings{DBLP:conf/icse/MolinaPAF21,
  author = {Molina, Facundo and Ponzio, Pablo and Aguirre, Nazareno and Frias, Marcelo F.},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/icse/MolinaPAF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  12. Molina, F., Ponzio, P., Aguirre, N., & Frias, M. F. (2021). EvoSpex: An Evolutionary Algorithm for Learning Postconditions. CoRR, abs/2102.13569. https://arxiv.org/abs/2102.13569
    @article{DBLP:journals/corr/abs-2102-13569,
  author = {Molina, Facundo and Ponzio, Pablo and Aguirre, Nazareno and Frias, Marcelo F.},
  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}
}
  13. Ponzio, P., Bengolea, V. S., Politano, M., Aguirre, N., & Frias, M. F. (2019). Automatically Identifying Sufficient Object Builders from Module APIs. In R. Hähnle & W. M. P. van der Aalst (Eds.), 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 (pp. 427–444). Springer. https://doi.org/10.1007/978-3-030-16722-6_25
    DOI 
    @inproceedings{DBLP:conf/fase/PonzioBPAF19,
  author = {Ponzio, Pablo and Bengolea, Valeria S. and Politano, Mariano and Aguirre, Nazareno and Frias, Marcelo F.},
  editor = {H{\"{a}}hnle, Reiner and van der Aalst, Wil M. P.},
  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},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/fase/PonzioBPAF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  14. Molina, F., Degiovanni, R., Ponzio, P., Regis, G., Aguirre, N., & Frias, M. F. (2019). Training binary classifiers as data structure invariants. In J. M. Atlee, T. Bultan, & J. Whittle (Eds.), Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 (pp. 759–770). IEEE / ACM. https://doi.org/10.1109/ICSE.2019.00084
    DOI 
    @inproceedings{DBLP:conf/icse/MolinaDPRAF19,
  author = {Molina, Facundo and Degiovanni, Renzo and Ponzio, Pablo and Regis, Germ{\'{a}}n and Aguirre, Nazareno and Frias, Marcelo F.},
  editor = {Atlee, Joanne M. and Bultan, Tevfik and Whittle, Jon},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/icse/MolinaDPRAF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  15. Godio, A., Bengolea, V. S., Ponzio, P., Aguirre, N., & Frias, M. F. (2019). Efficient Test Generation Guided by Field Coverage Criteria. 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, 91–101. https://doi.org/10.1109/ASE.2019.00019
    DOI 
    @inproceedings{DBLP:conf/kbse/GodioBPAF19,
  author = {Godio, Ariel and Bengolea, Valeria S. and Ponzio, Pablo and Aguirre, Nazareno and Frias, Marcelo Fabian},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/kbse/GodioBPAF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  16. Uva, M., Ponzio, P., Regis, G., Aguirre, N., & Frias, M. F. (2018). Automated workarounds from Java program specifications based on SAT solving. Int. J. Softw. Tools Technol. Transf., 20(6), 665–688. https://doi.org/10.1007/s10009-018-0503-8
    DOI 
    @article{DBLP:journals/sttt/UvaPRAF18,
  author = {Uva, Marcelo and Ponzio, Pablo and Regis, Germ{\'{a}}n and Aguirre, Nazareno and Frias, Marcelo F.},
  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}
}
  17. Degiovanni, R., Ponzio, P., Aguirre, N., & Frias, M. F. (2018). Improving lazy abstraction for SCR specifications through constraint relaxation. Softw. Test. Verification Reliab., 28(2). https://doi.org/10.1002/stvr.1657
    DOI 
    @article{DBLP:journals/stvr/DegiovanniPAF18,
  author = {Degiovanni, Renzo and Ponzio, Pablo and Aguirre, Nazareno and Frias, Marcelo F.},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/stvr/DegiovanniPAF18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  18. Ponzio, P., Bengolea, V. S., Brida, S. G., Scilingo, G., Aguirre, N., & Frias, M. F. (2018). On the effect of object redundancy elimination in randomly testing collection classes. In J. P. Galeotti & A. Gorla (Eds.), Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018 (pp. 67–70). ACM. https://doi.org/10.1145/3194718.3194724
    DOI 
    @inproceedings{DBLP:conf/icse/PonzioBBSAF18,
  author = {Ponzio, Pablo and Bengolea, Valeria S. and Brida, Sim{\'{o}}n Guti{\'{e}}rrez and Scilingo, Gast{\'{o}}n and Aguirre, Nazareno and Frias, Marcelo F.},
  editor = {Galeotti, Juan Pablo and Gorla, Alessandra},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/icse/PonzioBBSAF18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  19. Uva, M., Ponzio, P., Regis, G., Aguirre, N., & Frias, M. F. (2017). Automated Workarounds from Java Program Specifications Based on SAT Solving. In M. Huisman & J. Rubin (Eds.), 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 (pp. 356–373). Springer. https://doi.org/10.1007/978-3-662-54494-5_20
    DOI 
    @inproceedings{DBLP:conf/fase/UvaPRAF17,
  author = {Uva, Marcelo and Ponzio, Pablo and Regis, Germ{\'{a}}n and Aguirre, Nazareno and Frias, Marcelo F.},
  editor = {Huisman, Marieke and Rubin, Julia},
  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},
  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}
}
  20. Regis, G., Cornejo, C., Brida, S. G., Politano, M., Raverta, F. D., Ponzio, P., Aguirre, N., Galeotti, J. P., & Frias, M. F. (2017). DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. In E. Bodden, W. Schäfer, A. van Deursen, & A. Zisman (Eds.), Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 (pp. 969–973). ACM. https://doi.org/10.1145/3106237.3122826
    DOI 
    @inproceedings{DBLP:conf/sigsoft/RegisCBPRPAGF17,
  author = {Regis, Germ{\'{a}}n and Cornejo, C{\'{e}}sar and Brida, Sim{\'{o}}n Guti{\'{e}}rrez and Politano, Mariano and Raverta, Fernando D. and Ponzio, Pablo and Aguirre, Nazareno and Galeotti, Juan Pablo and Frias, Marcelo F.},
  editor = {Bodden, Eric and Sch{\"{a}}fer, Wilhelm and van Deursen, Arie and Zisman, Andrea},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  21. Ponzio, P., Aguirre, N., Frias, M. F., & Visser, W. (2016). Field-exhaustive testing. In T. Zimmermann, J. Cleland-Huang, & Z. Su (Eds.), Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016 (pp. 908–919). ACM. https://doi.org/10.1145/2950290.2950336
    DOI 
    @inproceedings{DBLP:conf/sigsoft/PonzioAFV16,
  author = {Ponzio, Pablo and Aguirre, Nazareno and Frias, Marcelo F. and Visser, Willem},
  editor = {Zimmermann, Thomas and Cleland{-}Huang, Jane and Su, Zhendong},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/sigsoft/PonzioAFV16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  22. Ponzio, P., Rosner, N., Aguirre, N., & Frias, M. F. (2014). Efficient Tight Field Bounds Computation Based on Shape Predicates. In C. B. Jones, P. Pihlajasaari, & J. Sun (Eds.), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 531–546). Springer. https://doi.org/10.1007/978-3-319-06410-9_36
    DOI 
    @inproceedings{DBLP:conf/fm/PonzioRAF14,
  author = {Ponzio, Pablo and Rosner, Nicol{\'{a}}s and Aguirre, Nazareno and Frias, Marcelo F.},
  editor = {Jones, Cliff B. and Pihlajasaari, Pekka and Sun, Jun},
  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},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/fm/PonzioRAF14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  23. Rosner, N., Bengolea, V. S., Ponzio, P., Khalek, S. A., Aguirre, N., Frias, M. F., & Khurshid, S. (2014). Bounded exhaustive test input generation from hybrid invariants. In A. P. Black & T. D. Millstein (Eds.), 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 (pp. 655–674). ACM. https://doi.org/10.1145/2660193.2660232
    DOI 
    @inproceedings{DBLP:conf/oopsla/RosnerBPKAFK14,
  author = {Rosner, Nicol{\'{a}}s and Bengolea, Valeria S. and Ponzio, Pablo and Khalek, Shadi Abdul and Aguirre, Nazareno and Frias, Marcelo F. and Khurshid, Sarfraz},
  editor = {Black, Andrew P. and Millstein, Todd D.},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/oopsla/RosnerBPKAFK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  24. Degiovanni, R., Ponzio, P., Aguirre, N., & Frias, M. F. (2011). Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. In M. Gogolla & B. Wolff (Eds.), Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings (pp. 84–101). Springer. https://doi.org/10.1007/978-3-642-21768-5_8
    DOI 
    @inproceedings{DBLP:conf/tap/DegiovanniPAF11,
  author = {Degiovanni, Renzo and Ponzio, Pablo and Aguirre, Nazareno and Frias, Marcelo F.},
  editor = {Gogolla, Martin and Wolff, Burkhart},
  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},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/tap/DegiovanniPAF11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
  25. Aguirre, N., Frias, M. F., Ponzio, P., Cardiff, B. J., Galeotti, J. P., & Regis, G. (2008). Towards Abstraction for DynAlloy Specifications. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 207–225). Springer. https://doi.org/10.1007/978-3-540-88194-0_14
    DOI 
    @inproceedings{DBLP:conf/icfem/AguirreFPCGR08,
  author = {Aguirre, Nazareno and Frias, Marcelo F. and Ponzio, Pablo and Cardiff, Brian J. and Galeotti, Juan P. and Regis, Germ{\'{a}}n},
  editor = {Liu, Shaoying and Maibaum, T. S. E. and Araki, Keijiro},
  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},
  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 = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/icfem/AguirreFPCGR08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}