Claudio Agustin Mista

Showing 10 publications

2023

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

Claudio Agustin Mista, Alejandro Russo
Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023, p. 176-187
Paper in proceeding
2021

MUTAGEN: Faster Mutation-Based Random Testing

Claudio Agustin Mista
Proceedings - International Conference on Software Engineering. Vol. May 2021, p. 120-122
Paper in proceeding
2020

Short Paper: Weak Runtime-Irrelevant Typing for Security

Matthías Páll Gissurarson, Claudio Agustin Mista
PLAS 2020 - Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, p. 13-17
Paper in proceeding
2020

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

Claudio Agustin Mista, Alejandro Russo
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12222 LNCS, p. 25-46
Paper in proceeding
2019

Generating Random Structurally Rich Algebraic Data Type Values

Claudio Agustin Mista, Alejandro Russo
Proceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 2019, p. 48-54
Paper in proceeding
2019

Deriving Compositional Random Generators

Claudio Agustin Mista, Alejandro Russo
ACM International Conference Proceeding Series. Vol. 25 September 2019
Paper in proceeding
2018

Branching Processes for QuickCheck Generators

Claudio Agustin Mista, Alejandro Russo, John Hughes
Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018. Vol. 53 (7), p. 1-13
Paper in proceeding
2017

QuickFuzz testing for fun and profit

Gustavo Grieco, Martín Ceresa, Claudio Agustin Mista et al
Journal of Systems and Software. Vol. 134 (December 2017), p. 340-354
Journal article

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Claudio Agustin Mista participates, but you have to be logged in as a Chalmers employee to see them.