QuickFuzz testing for fun and profit G Grieco, M Ceresa, A Mista, P Buiras Journal of Systems and Software 134, 340-354, 2017 | 34 | 2017 |
Branching processes for quickcheck generators A Mista, A Russo, J Hughes ACM SIGPLAN Notices 53 (7), 1-13, 2018 | 19 | 2018 |
Generating random structurally rich algebraic data type values A Mista, A Russo 2019 IEEE/ACM 14th International Workshop on Automation of Software Test …, 2019 | 7 | 2019 |
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs A Mista, A Russo International Symposium on Trends in Functional Programming, 25-46, 2020 | 3 | 2020 |
Mutagen: Faster mutation-based random testing A Mista 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 2 | 2021 |
Deriving compositional random generators A Mista, A Russo Proceedings of the 31st Symposium on Implementation and Application of …, 2019 | 2 | 2019 |
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations A Mista, A Russo 2023 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2023 | | 2023 |
Language-Based Techniques and Stochastic Models for Automated Testing A Mista PQDT-Global, 2023 | | 2023 |
Short Paper: Weak Runtime-Irrelevant Typing for Security MP Gissurarson, A Mista Proceedings of the 15th Workshop on Programming Languages and Analysis for …, 2020 | | 2020 |
Automated Derivation of Random Generators for Algebraic Data Types AC Mista PQDT-Global, 2020 | | 2020 |
Modelando Generadores de Datos Aleatorios Mediante Procesos Estocásticos CA Mista Universidad Nacional de Rosario, 2018 | | 2018 |
Generating Structurally Rich Random Algebraic Data Type Values A Mista, A Russo | | |
Automated Penetration Testing with QuickCheck A Mista, A Russo | | |