QuickFuzz testing for fun and profit. - Gustavo Grieco; Martín Ceresa; Agustín Mista; Pablo Buiras (J. Syst. Softw., 2017)

Branching processes for QuickCheck generators. - Agustín Mista; Alejandro Russo; John Hughes 001 (Haskell@ICFP, 2018)

Generating random structurally rich algebraic data type values. - Agustín Mista; Alejandro Russo (AST@ICSE, 2019)

Deriving compositional random generators. - Agustín Mista; Alejandro Russo (IFL, 2019)

Short Paper: Weak Runtime-Irrelevant Typing for Security. - Matthías Páll Gissurarson; Agustín Mista (PLAS@CCS, 2020)

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs. - Agustín Mista; Alejandro Russo (TFP, 2020)

MUTAGEN: Faster Mutation-Based Random Testing. - Agustín Mista (ICSE (Companion Volume), 2021)

MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations. - Agustín Mista; Alejandro Russo (ICST, 2023)