Language-Based Techniques and Stochastic Models for Automated Testing
Agustín Mista
Chalmers University of Technology (2023)
Ph.D. thesis

MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations
Agustín Mista and Alejandro Russo
16th IEEE International Conference on Software Testing, Verification and Validation (2023)

MUTAGEN: Faster Mutation-Based Random Testing (extended abstract)
Agustín Mista
43rd International Conference on Software Engineering (Student Research Competition) (2021)

Short Paper: Weak Runtime-Irrelevant Typing for Security
Matthías Páll Gissurarson and Agustín Mista
ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security (2020)

Automated Derivation of Random Generators for Algebraic Data Types
Agustín Mista
Chalmers University of Technology (2020)
Licentiate thesis

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
Agustín Mista and Alejandro Russo
21st International Symposium on Trends in Functional Programming (2020)

Deriving Compositional Random Generators
Agustín Mista and Alejandro Russo
31st Symposium on Implementation and Application of Functional Languages (2019)

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)

Branching Processes for QuickCheck Generators
Agustín Mista, Alejandro Russo and John Hughes
ACM SIGPLAN Haskell Symposium (2018)

Modelando Generadores de Datos Aleatorios Mediante Procesos Estocásticos
Agustín Mista
National University of Rosario (2018)
Licentiate thesis (in Spanish)

QuickFuzz testing for fun and profit
Gustavo Grieco, Martin Ceresa, Agustín Mista and Pablo Buiras
Journal of Systems and Software (2017)