BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ponzio:Pablo

Contributed to:

FM 20142014
OOPSLA 20142014
TAP 20112011
FSE 20162016
ESEC/FSE 20172017
ASE 20192019
FASE 20172017
FASE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.