Agustín Mista

According to our database, Agustín Mista authored at least 8 papers between 2017 and 2023.

Collaborative distances:

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

2023

MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations.

Agustín Mista, Alejandro Russo

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2021

MUTAGEN: Faster Mutation-Based Random Testing.

Agustín Mista

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs.

Agustín Mista, Alejandro Russo

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

Short Paper: Weak Runtime-Irrelevant Typing for Security.

Matthías Páll Gissurarson, Agustín Mista

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

2019

Deriving compositional random generators.

Agustín Mista, Alejandro Russo

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Generating random structurally rich algebraic data type values.

Agustín Mista, Alejandro Russo

Proceedings of the 14th International Workshop on Automation of Software Test, 2019

2018

Branching processes for QuickCheck generators.

Agustín Mista, Alejandro Russo, John Hughes

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017

QuickFuzz testing for fun and profit.

Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras

J. Syst. Softw., 2017