Si Ud. es investigador del departamento y sus publicaciones cargadas en CVar no figuran en el siguiente listado, por favor ingrese su CUIL en el sistema. El listado de publicaciones se actualiza diariamente.

GALEOTTI, Juan Pablo (jgaleotti@dc.uba.ar)

2018

  1. Juan Pablo Galeotti, Alessandra Gorla. "Proceedings of the 11th International Workshop on Search-Based Software Testing" ACM , (2018).
  2. Sina Shamshiri, Jose Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser. "How Do Automatically Generated Unit Tests Influence Software Maintenance?" 11th IEEE Conference on Software Testing, Validation and Verification , (2018).

2017

  1. Juan Pablo Galeotti, Justyna Petke. "Proceedings of the 10th International Workshop on Search-Based Software Testing" IEEE Press , (2017).
  2. GERMAN REGIS, CESAR CORNEJO, SIMON GUTIERREZ BRIDA, MARIANO POLITANO, FERNADO RAVERTA, PABLO PONZIO, NAZARENO AGUIRRE, JUAN PABLO GALEOTTI, MARCELO FRIAS. "DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour" 2017 11th Joint Meeting on Foundations of Software Engineering , (2017).
  3. Nikolas Havrikov, Alessio Gambi, ANDREAS ZELLER, Andrea Arcuri, JUAN PABLO GALEOTTI. "Generating unit tests with structured system interactions" 12th International Workshop on Automation of Software Testing , (2017).

2016

  1. Urko Rueda, Rene Just, Juan Pablo Galeotti, Tanja Vos. "Unit testing tool competition: round four" 9th International Workshop on Search-Based Software Testing , (2016).

2015

  1. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten" LECTURE NOTES IN INFORMATICS Volume 239, (2015): 132-132.
  2. JUAN PABLO GALEOTTI, CARLO FURIA, EVA MAY, GORDON FRASER, ANDREAS ZELLER. "Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 41, no. 10 (2015): 1019-1037. [link]
  3. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Fabian Frias. "TacoFlow: optimizing SAT program verification using dataflow analysis" SOFTWARE AND SYSTEMS MODELING Volume 14, no. 1 (2015): 45-63. [link]
  4. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Generating TCP/UDP Network Data for Automated Unit Test Generation" 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering , (2015).
  5. Kevin Salvesen, JUAN PABLO GALEOTTI, FLORIAN GROSS, GORDON FRASER, ANDREAS ZELLER. "Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing" 8th International Workshop on Search-Based Software Testing , (2015).

2014

  1. JUAN PABLO GALEOTTI, CARLO FURIA, EVA MAY, GORDON FRASER, ANDREAS ZELLER. "DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification" LECTURE NOTES IN COMPUTER SCIENCE Volume 8855, (2014): 48-53. [link]
  2. Alexander Kampmann, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "JTACO: Test Execution for Faster Bounded Verification" LECTURE NOTES IN COMPUTER SCIENCE Volume 8570, (2014): 134-141. [link]
  3. Marcos Chicote, Daniel Ciolek, Juan Pablo Galeotti. "Practical JFSL verification using TACO" Software Practice and Experience Volume 44, no. 3 (2014): 317-334. [link]
  4. Nikolas Havrikov, Matthias Hoeschele, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "XMLMate: evolutionary XML test generation" 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering , (2014).
  5. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Automated unit test generation for classes with environment dependencies" 2014 International Conference on Automated Software Engineering , (2014).
  6. JUAN PABLO GALEOTTI, CARLO FURIA, EVA MAY, GORDON FRASER, ANDREAS ZELLER. "Loop Invariants by Mutation, Dynamic Validation, and Static Checking" 5th International Workshop on Invariant Generation (WING 2012) , (2014).
  7. JUAN PABLO GALEOTTI, GORDON FRASER, ANDREA ARCURI. "Extending a search-based test generator with adaptive dynamic symbolic execution" 2014 International Symposium on Software Testing and Analysis , (2014).
  8. Matthias Hoeschele, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Test generation across multiple layers" 7th International Workshop on Search-Based Software Testing , (2014).

2013

  1. Juan Pablo Galeotti, Nicolas Rosner, Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 39, (2013): 1283-1307. [link]
  2. JUAN PABLO GALEOTTI, Gordon Fraser, Andrea Arcuri. "Improving search-based test suite generation with dynamic symbolic execution" 24th International Symposium on Software Reliability Engineering , (2013).
  3. PABLO BENDERSKY, JUAN PABLO GALEOTTI, Diego Garbervetsky. "The DynAlloy Visualizer" 2013 Latin American Workshop on Formal Methods , (2013).
  4. RODRIGO CASTAÑO, JUAN PABLO GALEOTTI, Diego Garbervetsky, JONATHAN TAPICER, EDGARDO ZOPPI. "On Verifying Resource Contracts using Code Contracts" 2013 Latin American Workshop on Formal Methods , (2013).
  5. Pablo Abad, Nazareno Aguirre, Valeria Bengolea, Daniel Ciolek, Marcelo Frias, Juan Pablo Galeotti, Tom Maibaum, Mariano Moscato, Nicolás Rosner, Ignacio Vissani. "Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving" IEEE Sixth International Conference on Software Testing, Verification and Validation , (2013).
  6. NICOLAS ROSNER, JUAN PABLO GALEOTTI, SANTIAGO BERMUDEZ, GUIDO MARUCCI BLAS, SANTIAGO PEREZ DE ROSSO, LUCAS PIZZAGALLI, LUCIANO ZEMIN, MARCELO FRIAS. "Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds" 2012 International Symposium on Software Testing and Analysis , (2013).

2012

  1. JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Inferring Loop Invariants Dynamically" 4th International Workshop on Invariant Generation (WING) , (2012).
  2. MARCOS CHICOTE, JUAN PABLO GALEOTTI. "TacoPlug: An Eclipse plug-in for TACO" Developing Tools as Plug-ins , (2012).

2011

  1. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Frias. "A dataflow analysis to improve SAT-based program verification" LECTURE NOTES IN COMPUTER SCIENCE Volume 7041, (2011): 138-154. [link]
  2. NAZARENO AGUIRRE, VALERIA BENGOLEA, MARCELO FRIAS, JUAN PABLO GALEOTTI. "Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs" LECTURE NOTES IN COMPUTER SCIENCE Volume 6706, (2011): 15-32. [link]
  3. JUAN PABLO GALEOTTI. "Análisis modular y recuperación de contraejemplos en TACO" XVII Congreso Argentino de Ciencias de la Computación , (2011).

2010

  1. Nicolas D'Ippolito, Marcelo Frias, Juan Pablo Galeotti, Esteban Lanzarotti, Sergio Mera. "Alloy+HotCore: A Fast Approximation to Unsat Core" LECTURE NOTES IN COMPUTER SCIENCE Volume 5977, (2010): 160-173. [link]
  2. Nicolas Rosner, Juan Pablo Galeotti, Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models" LECTURE NOTES IN COMPUTER SCIENCE Volume 5977, (2010): 396-397.
  3. Juan Pablo Galeotti, Nicolas Rosner, Carlos G. Lopez Pombo, Marcelo F. Frias. "TACO: Analysis of Invariants for Efficient Bounded Verification" ISSTA 2010 -- International Symposium on Software Testing and Analysis , (2010).

2009

  1. SHUVENDU K. LAHIRI, SHAZ QADEER, JUAN PABLO GALEOTTI, JAN W. WOUNG, THOMAS WIES. "Intra-module Inference" LECTURE NOTES IN COMPUTER SCIENCE Volume 5643, (2009): 493-508.
  2. JUAN PABLO GALEOTTI, NICOLAS ROSNER, CARLOS LOPEZ POMBO, MARCELO FRIAS. "Distributed SAT-Based Analysis of Object Oriented Code" Symposium on Automatic Program Verification , (2009).

2008

  1. NAZARENO AGUIRRE, MARCELO FRIAS, PABLO PONZIO, BRIAN CARDIFF, JUAN PABLO GALEOTTI, GERMAN REGIS. "Towards Abstraction for DynAlloy Specifications" LECTURE NOTES IN COMPUTER SCIENCE Volume 5256, (2008): 207-225.
  2. ANTONIO BUCCHIARONE, JUAN PABLO GALEOTTI. "Dynamic Software Architectures Verification using DynAlloy" 7th International Workshop on Graph Transformation and Visual Modeling Techniques , (2008).

2006

  1. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo, Juan Pablo Galeotti, Nazareno M. Aguirre. "Efficient Analysis of DynAlloy Specifications" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 17, no. 1 (2006): 1-34.
  2. JUAN PABLO GALEOTTI, MARCELO FRIAS. "Dynalloy as a formal method for the analysis of Java programs" SPRINGER Software Engineering Techniques: Design for Quality , SPRINGER, (2006): 249-260.
  3. MARCELO FRIAS, JUAN PABLO GALEOTTI. "Faster SAT-Based Analysis of OO-Programs by Separation of Mutant and Non Mutant Objects" 1st Alloy Workshop (colocated with the Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering) , (2006).

2005

  1. MARCELO FRIAS, JUAN PABLO GALEOTTI, CARLOS LOPEZ POMBO, MARIO ROMAN. "Fork Algebras as a Formalism to Reason Across Behavioral Specifications (Extended Abstract)" 8th International Conference on Relational Methods in Computer Science , (2005).
  2. MARCELO FRIAS, JUAN PABLO GALEOTTI, CARLOS LOPEZ POMBO, NAZARENO AGUIRRE. "DynAlloy: Upgrading Alloy with Actions (Extended Abstract)" 8th International Conference on Relational Methods in Computer Science , (2005).
  3. Marcelo Fabián Frias, Juan Pablo Galeotti, Carlos Gustavo Lopez Pombo, Nazareno M. Aguirre. "DynAlloy: upgrading Alloy with actions" ICSE 2005: 27th International Conference on Software Engineering , (2005).