About Me
I am a professor at the Department of Computer Science of the School of Natural and Exact Sciences at the University of Buenos Aires (UBA). I am also a researcher at the LAFHIS Lab, which is within the Institute of Computer Science, an institute that belongs to both UBA and CONICET.
My main research interests are Automatic Test Generation, Specification Inference and Program Verification. I am also very fond of decision procedures such as SMT and SAT.
Email: jgaleotti at dc dot uba dot ar
Profiles: LinkedIn · Google Scholar · GitHub
Service
Program Committees
- 2023: PC Member ICSE 2023, ISSTA 2023
- 2021: PC Member, ICST 2021, Search-Based SE track @ GECCO 2021, SSBSE 2021
- 2020: PC Co-chair, Replications and Negative Results Track @ SSBSE 2020; PC Member, ESEC/FSE 2020, ICSE 2020, Search-Based SE track @ GECCO 2020, ICST 2020
- 2019: PC Member, Search-Based SE track @ GECCO 2019, ICSE 2019 Demonstrations track
- 2018: PC Co-Chair, SBST @ ICSE 2018; PC Member, ASE 2018, Search-Based SE track @ GECCO 2018, SSBSE 2018
- 2017: PC Co-Chair, SBST @ ICSE 2017; PC Member, SECM2017 @ ICSE 2017, OSS 2017, SSBSE 2017
- 2016: PC Member, SSBSE 2016, ICST 2016 Testing Tool Track, TAP 2016, FSE 2016 Tool Demonstrations, FSE 2016 Visions and Reflections Track, ASSE 2016
- 2015: PC Member, ASE 2015 Tool Demonstrations, ICST 2015 Tool Track
- 2013: PC Member, LAFM 2013
- 2012: PC Member, TOPI @ ICSE 2012
Journal Reviewer (Verified Reviews at Publons)
- Information and Software Technology
- ACM Transactions on Software Engineering and Methodology
- Software Testing, Verification & Reliability
- IEEE Transactions on Evolutionary Computation
- Software Quality Journal
- IEEE Transactions on Services Computing Journal
- International Journal on Software and Systems Modeling
- Automated Software Engineering Journal
- IEEE Transactions in Software Engineering Journal
Organizing Committees
- Workshop co-chair, ISSTA 2016
- Proceedings chair, ICSE 2017
- Organizing Committee Member, ICSE 2017 PhD and Young Researchers Warm Up Symposium
Teaching
Generación Automática de Casos de Tests (Automatic Test Case Generation) @ UBA
Software Engineering 2 / Ingenería del Software 2 @ UBA
Students
Current PhD Students
- Javier Godoy
Current Master Students
- Agustina Aldasoro
Past PhD Students
- Ivan Arcuschin – PhD Thesis: "Random Espresso Test Case Generation for Android"
Past Master Students
- 2024: Philip Garrett – "EvoMaster - Usability Improvements"
- 2024: Luis Brassara – "Advanced SQL Distance for Test Case Generation with EvoMaster"
- 2024: Juan Cruz Basso – "Automating Go Tests with EvoMaster"
- 2024: Hernan Ghianni – "Mongo Database Data Generation to Improve Automated Testing"
- 2024: Chiara Tarzia – "EPAs for REST APIs with EvoMaster"
- 2024: Dago de Renteria & Melissa Regnier (co-advisor D. Garbervetsky) – "Smart Contract Fuzzing: EchidnaAFL"
- 2024: Octavio Adolfo Galland – "In-Vivo Fuzzing Through Execution Amplification"
- 2022: Axel Maddonni – "Automated Testing of REST APIs Based on Python Flask"
- 2022: Ezequiel Darío Gambaccini (co-advisor D. Garbervetsky)
- 2022: Gustavo Giráldez (co-advisor I. Arcuschin) – "An Empirical Study on the Effectiveness of Coverage Measurement Tools on the Android Platform"
- 2020: Ignacio Manuel Lebrero Rial – "Dynamic Symbolic Execution in EvoSuite: Study and Implementation"
- 2018: Iván Arcuschin – "An Empirical Evaluation of the Sapienz Approach for Automatic Test Case Generation for Android Applications"
- 2017: Nicolas Calderini – "A Study on the Quality of Artifacts on the Android Platform"
- 2017: Pablo Oscar Antonio – "Automatic Test Case Generation for EPAs: A Genetic-Algorithm-Based Approach"
- 2017: Ignacio Pulice Donatto & Nicolás Ravasi – "Comparison of Automated Testing Tools for Permission Detection in Android Applications"
- 2015: Nikolas Havrikov (co-advisor Matthias Hoeschelle), Sebastian Kappler, Elias Hartz (co-advisor A. Gorla), K. Salvesen (co-advisor F. Gross)
- 2013: Alexander Kampmann (co-advisor A. Zeller)
- 2012: Daniel Ciolek (co-advisor M. Frias) – "Fajita: Automatic Test Case Generation Based on Bounded Verification"
- 2012: Marcos Chicote (co-advisor D. Garbervetsky) – "Improving the Usability of Verification Tools"
- 2011: Bruno Cuervo Parino (co-advisor D. Garbervetsky) – "Dataflow Analysis to Improve SAT-Based Program Verification"
- 2010: Brian Cardiff (co-advisor M. Frias) – "Increasing the Computational Capacity of Alloy Analyzer Through Incremental Model Verification"
- 2010: Gabriel Gasser Noblia & Diego P. Dobniewski – "Verification of a Voting System Using SAT Solving"
- 2010: Esteban Lanzarotti (co-advisor S. Mera) – "A Generalization of Unsat Core for DPLL-Based SAT-Solving Algorithms"
- 2010: Pablo Bendersky (co-advisor D. Garbervetsky) – "Toward an Integrated Environment for Contract Verification Using SAT Solvers"
Tools
Automatic Test Case Generation
Automatic Program Verification
Resource Inference
- Resource Contracts.NET: An extension of Code Contracts to specify and verify memory consumption constraints in .NET programs.