| 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 | 158 | 2005 |
| 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 | 117 | 2013 |
| 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 | 113 | 2010 |
| 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 | 84 | 2014 |
| 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 | 78 | 2013 |
| 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 | 47 | 2018 |
| 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 | 45 | 2013 |
| 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 | 43 | 2020 |
| 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 | 41 | 2015 |
| Dynamic software architectures verification using dynalloy A Bucchiarone, JP Galeotti Electronic Communications of the EASST 10, 2008 | 35 | 2008 |
| 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 | 31 | 2007 |
| 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 | 30 | 2014 |
| 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 | 29 | 2021 |
| EvoMaster: A search-based system test generation tool A Arcuri, JP Galeotti, B Marculescu, M Zhang Journal of Open Source Software, 2021 | 29 | 2021 |
| 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 | 28 | 2016 |
| Dynalloy as a formal method for the analysis of java programs JP Galeotti, MF Frias Software engineering techniques: Design for quality, 249-260, 2006 | 28 | 2006 |
| Intra-module inference SK Lahiri, S Qadeer, JP Galeotti, JW Voung, T Wies Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 27 | 2009 |
| 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 | 24 | 2015 |
| 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 | 22 | 2017 |
| 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 | 22 | 2015 |
Marcelo FriasThe University of Texas at El PasoVerified email at utep.edu
