Esteban Pavese

According to our database, Esteban Pavese authored at least 11 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Inputs From Hell.

Ezekiel O. Soremekun, Esteban Pavese, Nikolas Havrikov, Lars Grunske, Andreas Zeller

IEEE Trans. Software Eng., 2022

2021

Quantitative Verification of Stochastic Regular Expressions.

Sinem Getir Yaman, Esteban Pavese, Lars Grunske

Fundam. Informaticae, 2021

Probabilistic Grammar-based Test Generation.

Ezekiel O. Soremekun, Esteban Pavese, Nikolas Havrikov, Lars Grunske, Andreas Zeller

Proceedings of the Software Engineering 2021, 2021

2018

Inputs from Hell: Generating Uncommon Inputs from Common Samples.

Esteban Pavese, Ezekiel O. Soremekun, Nikolas Havrikov, Lars Grunske, Andreas Zeller

CoRR, 2018

Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.

Sinem Getir, Esteban Pavese, Lars Grunske

Proceedings of the 27th International Workshop on Concurrency, 2018

2017

High-Coverage Testing of Navigation Models in Android Applications.

Fernando Paulovsky, Esteban Pavese, Diego Garbervetsky

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

2016

Probabilistic Interface Automata.

Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel

IEEE Trans. Software Eng., 2016

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

2013

Automated reliability estimation over partial systematic explorations.

Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel

Proceedings of the 35th International Conference on Software Engineering, 2013

2010

My model checker died!: how well did it do?

Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

2009

Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.

Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009