Follow
Juan Pablo Galeotti
Title
Cited by
Cited by
Year
DynAlloy: upgrading alloy with actions
MF Frias, JP Galeotti, CG López Pombo, NM Aguirre
Proceedings of the 27th international conference on Software engineering …, 2005
1582005
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
1192013
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
1132010
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
852014
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
792013
How do automatically generated unit tests influence software maintenance?
S Shamshiri, JM Rojas, JP Galeotti, N Walkinshaw, G Fraser
2018 IEEE 11th international conference on software testing, verification …, 2018
482018
Handling SQL databases in automated system test generation
A Arcuri, JP Galeotti
ACM Transactions on Software Engineering and Methodology (TOSEM) 29 (4), 1-31, 2020
452020
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
452013
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
412015
Dynamic software architectures verification using dynalloy
A Bucchiarone, JP Galeotti
Electronic Communications of the EASST 10, 2008
352008
EvoMaster: A search-based system test generation tool
A Arcuri, JP Galeotti, B Marculescu, M Zhang
Journal of Open Source Software, 2021
342021
Enhancing search-based testing with testability transformations for existing APIs
A Arcuri, JP Galeotti
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (1), 1-34, 2021
322021
Efficient analysis of DynAlloy specifications
MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 1-34, 2007
312007
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
302014
Unit testing tool competition: round four
U Rueda, R Just, JP Galeotti, TEJ Vos
Proceedings of the 9th International Workshop on Search-Based Software …, 2016
282016
Dynalloy as a formal method for the analysis of java programs
JP Galeotti, MF Frias
Software engineering techniques: Design for quality, 249-260, 2006
282006
Intra-module inference
SK Lahiri, S Qadeer, JP Galeotti, JW Voung, T Wies
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
272009
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
252015
Testability transformations for existing APIs
A Arcuri, JP Galeotti
2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020
222020
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
G Regis, C Cornejo, S Gutiérrez Brida, M Politano, F Raverta, P Ponzio, ...
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
222017
The system can't perform the operation now. Try again later.
Articles 1–20