Folgen
Agustin Mista
Titel
Zitiert von
Zitiert von
Jahr
QuickFuzz testing for fun and profit
G Grieco, M Ceresa, A Mista, P Buiras
Journal of Systems and Software 134, 340-354, 2017
312017
Branching processes for quickcheck generators
A Mista, A Russo, J Hughes
ACM SIGPLAN Notices 53 (7), 1-13, 2018
182018
Generating random structurally rich algebraic data type values
A Mista, A Russo
2019 IEEE/ACM 14th International Workshop on Automation of Software Test …, 2019
72019
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
A Mista, A Russo
International Symposium on Trends in Functional Programming, 25-46, 2020
32020
Mutagen: Faster mutation-based random testing
A Mista
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
22021
Deriving compositional random generators
A Mista, A Russo
Proceedings of the 31st Symposium on Implementation and Application of …, 2019
22019
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13