Seguir
Juan Pablo Galeotti
Título
Citado por
Citado por
Ano
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
1602005
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
1242013
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
1182010
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
842014
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
772013
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
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
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
442020
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
402015
Dynamic software architectures verification using dynalloy
A Bucchiarone, JP Galeotti
Electronic Communications of the EASST 10, 2008
372008
EvoMaster: A search-based system test generation tool
A Arcuri, JP Galeotti, B Marculescu, M Zhang
Journal of Open Source Software, 2021
332021
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
312021
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
292016
Intra-module inference
SK Lahiri, S Qadeer, JP Galeotti, JW Voung, T Wies
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
282009
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
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
242015
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
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
222014
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20