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
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
1182013
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
832014
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
472018
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
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
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
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
302021
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
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
Using dynamic symbolic execution to generate inputs in search-based GUI testing
K Salvesen, JP Galeotti, F Gross, G Fraser, A Zeller
2015 IEEE/ACM 8th International Workshop on Search-Based Software Testing, 32-35, 2015
222015
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20