Juan Pablo Galeotti
TitleCited byYear
DynAlloy: upgrading alloy with actions
MR Frias, JP Galeotti, CGL Pombo, NM Aguirre
Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005
1192005
Analysis of invariants for efficient bounded verification
JP Galeotti, N Rosner, CG López Pombo, MF Frias
Proceedings of the 19th international symposium on Software testing and …, 2010
802010
Improving search-based test suite generation with dynamic symbolic execution
JP Galeotti, G Fraser, A Arcuri
2013 ieee 24th international symposium on software reliability engineering …, 2013
702013
TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds
JP Galeotti, N Rosner, CGL Pombo, MF Frias
IEEE Transactions on Software Engineering 39 (9), 1283-1307, 2013
432013
Automated unit test generation for classes with environment dependencies
A Arcuri, G Fraser, JP Galeotti
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
342014
Improving test generation under rich contracts by tight bounds and incremental SAT solving
P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ...
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
292013
Intra-module inference
SK Lahiri, S Qadeer, JP Galeotti, JW Voung, T Wies
International Conference on Computer Aided Verification, 493-508, 2009
232009
Efficient analysis of DynAlloy specifications
MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 4, 2007
232007
Dynalloy as a formal method for the analysis of java programs
JP Galeotti, MF Frias
Software engineering techniques: Design for quality, 249-260, 2006
232006
Extending a search-based test generator with adaptive dynamic symbolic execution
JP Galeotti, G Fraser, A Arcuri
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
182014
Unit testing tool competition—round four
U Rueda, R Just, JP Galeotti, TEJ Vos
2016 IEEE/ACM 9th International Workshop on Search-Based Software Testing …, 2016
172016
XMLMate: evolutionary XML test generation
N Havrikov, M Höschele, JP Galeotti, A Zeller
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
162014
Dynamic software architectures verification using DynAlloy
A Bucchiarone, JP Galeotti
Electronic Communications of the EASST 10, 2008
162008
Inferring loop invariants by mutation, dynamic analysis, and static checking
JP Galeotti, CA Furia, E May, G Fraser, A Zeller
IEEE Transactions on Software Engineering 41 (10), 1019-1037, 2015
152015
Using dynamic symbolic execution to generate inputs in search-based GUI testing
K Salvesen, JP Galeotti, F Gross, G Fraser, A Zeller
Proceedings of the Eighth International Workshop on Search-Based Software …, 2015
142015
Alloy+ hotcore: A fast approximation to unsat core
N D’Ippolito, MF Frias, JP Galeotti, E Lanzarotti, S Mera
International Conference on Abstract State Machines, Alloy, B and Z, 160-173, 2010
142010
Generating TCP/UDP network data for automated unit test generation
A Arcuri, G Fraser, JP Galeotti
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
102015
Software verification using alloy
JP Galeotti
PhD thesis, University of Buenos Aires, 2010
102010
Dynamate: Dynamically inferring loop invariants for automatic full functional verification
JP Galeotti, CA Furia, E May, G Fraser, A Zeller
Haifa Verification Conference, 48-53, 2014
92014
ParAlloy: towards a framework for efficient parallel analysis of alloy models
N Rosner, JP Galeotti, CG Lopez Pombo, MF Frias
Proceedings of the Second international conference on Abstract State …, 2010
82010
The system can't perform the operation now. Try again later.
Articles 1–20