Esteban Pavese

11 papers A* 1C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Inputs From Hell.
IEEE Trans. Software Eng.
Ezekiel O. Soremekun, Esteban Pavese, Nikolas Havrikov, Lars Grunske, Andreas Zeller
2021 C conf
Probabilistic Grammar-based Test Generation.
Software Engineering
Ezekiel O. Soremekun, Esteban Pavese, Nikolas Havrikov, Lars Grunske, Andreas Zeller
2021 J jnl
Quantitative Verification of Stochastic Regular Expressions.
Fundam. Informaticae
Sinem Getir Yaman, Esteban Pavese, Lars Grunske
2018 — conf
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.
CS&P
Sinem Getir, Esteban Pavese, Lars Grunske
2018 J jnl
Inputs from Hell: Generating Uncommon Inputs from Common Samples.
CoRR
Esteban Pavese, Ezekiel O. Soremekun, Nikolas Havrikov, Lars Grunske, Andreas Zeller
2017 — conf
High-Coverage Testing of Navigation Models in Android Applications.
AST@ICSE
Fernando Paulovsky, Esteban Pavese, Diego Garbervetsky
2016 J jnl
Less is More: Estimating Probabilistic Rewards over Partial System Explorations.
ACM Trans. Softw. Eng. Methodol.
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2016 J jnl
Probabilistic Interface Automata.
IEEE Trans. Software Eng.
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2013 A* conf
Automated reliability estimation over partial systematic explorations.
ICSE
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2010 — conf
My model checker died!: how well did it do?
QUOVADIS@ICSE
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2009 — conf
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.
ESEC/SIGSOFT FSE
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel