Juan Pablo Galeotti

DynAlloy

Marcelo F. Frias, Juan Pablo Galeotti, Carlos G. López Pombo et al. · 2005 · 100 citations

Engineering, Verification, Software Engineering +18

Analysis of invariants for efficient bounded verification

Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo et al. · 2010 · 91 citations

Engineering, Verification, Computer-aided Verification +17

Improving search-based test suite generation with dynamic symbolic execution

Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri · 2013 · 77 citations

Engineering, Test Data Generation, Software Engineering +22

Automated unit test generation for classes with environment dependencies

Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti · 2014 · 68 citations

Unit Test Generation, File System, High Code Coverage +13

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds

Juan Pablo Galeotti, Nicolás Rosner, Carlos G. López Pombo et al. · IEEE Transactions on Software Engineering · 2013 · 57 citations

Program Checking, Engineering, Verification +22