Agustín Mista

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Datalog Queries

Security Systems

Abstract Data Types

Top Venues

ICSE (Companion Volume)

Publications

Agustín Mista, Alejandro Russo
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations. ICST (2023)
Agustín Mista
MUTAGEN: Faster Mutation-Based Random Testing. ICSE (Companion Volume) (2021)
Matthías Páll Gissurarson, Agustín Mista
Short Paper: Weak Runtime-Irrelevant Typing for Security. PLAS@CCS (2020)
Agustín Mista, Alejandro Russo
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs. TFP (2020)
Agustín Mista, Alejandro Russo
Deriving compositional random generators. IFL (2019)
Agustín Mista, Alejandro Russo
Generating random structurally rich algebraic data type values. AST@ICSE (2019)
Agustín Mista, Alejandro Russo, John Hughes
Branching Processes for QuickCheck Generators. CoRR (2018)
Agustín Mista, Alejandro Russo, John Hughes
Branching processes for QuickCheck generators. Haskell@ICFP (2018)
Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras
QuickFuzz testing for fun and profit. J. Syst. Softw. 134 (2017)