Travelled to:1 × Singapore
1 × Switzerland
1 × USA
Collaborated with:N.Aguirre M.F.Frias V.S.Bengolea N.Rosner G.Regis M.Politano R.Degiovanni W.Visser A.Godio M.F.Frias M.Uva S.A.Khalek S.Khurshid C.Cornejo S.G.Brida F.Raverta J.P.Galeotti
Talks about:test (4) generat (3) specif (3) field (3) base (3) exhaust (2) effici (2) bound (2) autom (2) alloy (2)
Person: Pablo Ponzio
DBLP: Ponzio:Pablo
Contributed to:
2014
2014
2011
2016
2017
2019
20172019Wrote 8 papers:
- FM-2014-PonzioRAF #bound #performance
- Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
- OOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant
- Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
- TAP-2011-DegiovanniPAF #abstraction #automation #generative #requirements #specification #testing
- Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
- FSE-2016-PonzioAFV #testing
- Field-exhaustive testing (PP, NA, MFF, WV), pp. 908–919.
- 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.
- ASE-2019-GodioBPAF #generative #performance #test coverage #testing
- Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
- FASE-2017-UvaPRAF #automation #java #satisfiability #specification
- Automated Workarounds from Java Program Specifications Based on SAT Solving (MU, PP, GR, NA, MFF), pp. 356–373.
- FASE-2019-PonzioBPAF #api #automation #identification
- Automatically Identifying Sufficient Object Builders from Module APIs (PP, VSB, MP, NA, MFF), pp. 427–444.