Travelled to:1 × China
1 × Italy
1 × Sweden
1 × USA
1 × United Kingdom
Collaborated with:A.Arcuri G.Fraser A.Zeller A.Kampmann N.Havrikov M.Höschele G.Regis C.Cornejo S.G.Brida M.Politano F.Raverta P.Ponzio N.Aguirre M.F.Frias
Talks about:generat (5) test (5) execut (2) dynam (2) autom (2) alloy (2) unit (2) xml (2) evolutionari (1) behaviour (1)
Person: Juan Pablo Galeotti
DBLP: Galeotti:Juan_Pablo
Contributed to:
2015
2014
2014
2014
20142017Wrote 6 papers:
- ESEC-FSE-2015-ArcuriFG #automation #generative #network #testing
- Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
- ASE-2014-ArcuriFG #automation #dependence #generative #testing
- Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
- FSE-2014-HavrikovHGZ #generative #named #testing #xml
- XMLMate: evolutionary XML test generation (NH, MH, JPG, AZ), pp. 719–722.
- ISSTA-2014-GaleottiFA #adaptation #execution #generative #search-based #symbolic computation
- Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.
- TAP-2014-KampmannGZ #bound #execution #named #performance #verification
- JTACO: Test Execution for Faster Bounded Verification (AK, JPG, AZ), pp. 134–141.
- ESEC-FSE-2017-RegisCBPRPAGF #alloy #analysis #behaviour #modelling #specification
- DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour (GR, CC, SGB, MP, FR, PP, NA, JPG, MFF), pp. 969–973.