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

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)
PDF CITE

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

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)
PDF CITE

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

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

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

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 CITE

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