Claudio Agustin Mista
Visar 10 publikationer
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations
Language-Based Techniques and Stochastic Models for Automated Testing
MUTAGEN: Faster Mutation-Based Random Testing
Short Paper: Weak Runtime-Irrelevant Typing for Security
Automated Derivation of Random Generators for Algebraic Data Types
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
Generating Random Structurally Rich Algebraic Data Type Values
Deriving Compositional Random Generators
Branching Processes for QuickCheck Generators
QuickFuzz testing for fun and profit
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.