Agustín Mista

Publications

Automated Derivation of Random Generators for Algebraic Data Types
Agustín Mista
Chalmers University of Technology (2020). Licentiate thesis.
[PDF]
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
Agustín Mista and Alejandro Russo
21st International Symposium on Trends in Functional Programming (2020). To appear.
[PDF]
Deriving Compositional Random Generators
Agustín Mista and Alejandro Russo
31st Symposium on Implementation and Application of Functional Languages (2019). To appear.
[PDF]
Generating Random Structurally Rich Algebraic Data Type Values
Agustín Mista and Alejandro Russo
14th IEEE/ACM International Workshop on Automation of Software Test (2019)
[PDF] [cite]
Branching Processes for QuickCheck Generators
Agustín Mista, Alejandro Russo and John Hughes
ACM SIGPLAN Haskell Symposium (2018)
[PDF] [cite]
Modelando Generadores de Datos Aleatorios Mediante Procesos Estocásticos
Agustín Mista
National University of Rosario (2018). Licentiate thesis (in Spanish).
[PDF]
QuickFuzz testing for fun and profit
Gustavo Grieco, Martin Ceresa, Agustín Mista and Pablo Buiras
Journal of Systems and Software (2017)
[PDF] [cite]