Artifact for the paper submitted to TACAS 2023 - FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format
The code & data for "What Happens When We Fuzz? Investigating OSS-Fuzz Bug History
A research artifact associated with the paper "Learning Probabilistic Models for Static Analysis Ala...
ICFP 2022 Paper Artifact Paper: "Random Testing of a Higher-Order Blockchain Language (Experience ...
The artifact goes through the 3 main steps of evaluating fuzzers with FixReverter and RevBugBench: F...
Fuzzing, a technique for negative testing of programs using randomly mutated or gen?erated input dat...
This artifact contains the log files and data to replicate the experiments in the paper "Murxla: A M...
© ACM, 2013. This is the author's version of the work. It is posted here by permission of ACM for yo...
Artifacts for FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures Fuzzing has been an impo...
Fuzz Testing is a largely automated testing technique that provides random and unexpected input to a...
This is the artifact code for the paper NSFuzz: Towards Efficient and State-Aware Network Service Fu...
Software bugs remain pervasive in modern software systems. As software becomes increasingly intertwi...
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", accept...
The code & data for "What Happens When We Fuzz? Investigating OSS-Fuzz Bug History
A research artifact associated with the paper "Learning Probabilistic Models for Static Analysis Ala...
ICFP 2022 Paper Artifact Paper: "Random Testing of a Higher-Order Blockchain Language (Experience ...
The artifact goes through the 3 main steps of evaluating fuzzers with FixReverter and RevBugBench: F...
Fuzzing, a technique for negative testing of programs using randomly mutated or gen?erated input dat...
This artifact contains the log files and data to replicate the experiments in the paper "Murxla: A M...
© ACM, 2013. This is the author's version of the work. It is posted here by permission of ACM for yo...
Artifacts for FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures Fuzzing has been an impo...
Fuzz Testing is a largely automated testing technique that provides random and unexpected input to a...
This is the artifact code for the paper NSFuzz: Towards Efficient and State-Aware Network Service Fu...
Software bugs remain pervasive in modern software systems. As software becomes increasingly intertwi...
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", accept...
The code & data for "What Happens When We Fuzz? Investigating OSS-Fuzz Bug History
A research artifact associated with the paper "Learning Probabilistic Models for Static Analysis Ala...
ICFP 2022 Paper Artifact Paper: "Random Testing of a Higher-Order Blockchain Language (Experience ...
DOI
Add to ORKG