Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pablo Ponzio
conf.researchr.org general profile
ASE 2019 profile
ASE 2022 profile
ECOOP and ISSTA 2023 profile
ETAPS 2019 profile
ICSE 2019 profile
ICSE 2021 profile
ICSE 2024 profile
ISSTA 2020 profile
SPLASH 2014 profile
Not registered as user yet
Name:
Pablo Ponzio
Affiliation:
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
Contributions
2024
KLEE
Author of Automated Generation of Database Mocks with Symbolic Execution within the KLEE 2024-track
Author of Precise Lazy Initialization for Programs with Complex Heap Inputs within the KLEE 2024-track
2023
ISSTA
Author of EvoSpex: A Search-based Tool for Postcondition Inference within the Tool Demonstrations-track
2022
ASE
Author of LISSA: Lazy Initialization with Specialized Solver Aid within the Artifact Evaluation-track
Author of LISSA: Lazy Initialization with Specialized Solver Aid within the Research Papers-track
2021
ICSE
Author of EvoSpex: An Evolutionary Algorithm for Learning Postconditions within the AE - Artifact Evaluation-track
Author of EvoSpex: An Evolutionary Algorithm for Learning Postconditions within the Technical Track-track
2020
ISSTA
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2019
ASE
Author of Efficient Test Generation Guided by Field Coverage Criteria within the Research Papers-track
ICSE
Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track
ETAPS
Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track
FASE
Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track
2014
SPLASH
Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track
Share
x
Fri 19 Apr 16:00