Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (ESEC/SIGSOFT FSE, 2009)

My model checker died!: how well did it do? - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (QUOVADIS@ICSE, 2010)

Automated reliability estimation over partial systematic explorations. - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (ICSE, 2013)

Less is More: Estimating Probabilistic Rewards over Partial System Explorations. - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (ACM Trans. Softw. Eng. Methodol., 2016)

Probabilistic Interface Automata. - Esteban Pavese; Víctor A. Braberman; Sebastián Uchitel (IEEE Trans. Software Eng., 2016)

High-Coverage Testing of Navigation Models in Android Applications. - Fernando Paulovsky; Esteban Pavese; Diego Garbervetsky (AST@ICSE, 2017)

Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. - Sinem Getir; Esteban Pavese; Lars Grunske (CS&P, 2018)

Inputs from Hell: Generating Uncommon Inputs from Common Samples. - Esteban Pavese; Ezekiel O. Soremekun; Nikolas Havrikov; Lars Grunske; Andreas Zeller (CoRR, 2018)

Probabilistic Grammar-based Test Generation. - Ezekiel O. Soremekun; Esteban Pavese; Nikolas Havrikov; Lars Grunske; Andreas Zeller (Software Engineering, 2021)

Quantitative Verification of Stochastic Regular Expressions. - Sinem Getir Yaman; Esteban Pavese; Lars Grunske (Fundam. Informaticae, 2021)

Inputs From Hell. - Ezekiel O. Soremekun; Esteban Pavese; Nikolas Havrikov; Lars Grunske; Andreas Zeller (IEEE Trans. Software Eng., 2022)