Esteban Pavese

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 8

Top Topics

Formal Semantics

Regular Expressions

Probabilistic Approaches

Deterministic Finite Automata

Top Venues

IEEE Trans. Software Eng.

Fundam. Informaticae

Publications

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