Publication date
March 2023
DOIAbstract
This is the artifact for "Accelerating Fuzzing through Prefix-Guided Execution", published in SPLASH/OOPSLA 2023. All instructions can be found in the zip file
This is the artifact for "Accelerating Fuzzing through Prefix-Guided Execution", published in SPLASH/OOPSLA 2023. All instructions can be found in the zip file
Our computers, phones, and other smart devices are running a vast and ever increasing amount of soft...
This deposit maintains the inputs generated by DifuzzRTL and MorFuzz binaries. Following is the pap...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is the artifact for "Towards Better Semantics Exploration for Browser Fuzzing", published in SP...
The artifact goes through the 3 main steps of evaluating fuzzers with FixReverter and RevBugBench: F...
This is the artifact code for the paper NSFuzz: Towards Efficient and State-Aware Network Service Fu...
Fuzzing is one of the most widely deployed techniques to discover software security vulnerabilities....
This is an Artificial Evaluation package of Automated Program Repair from Fuzzing Perspective. * Ou...
Fuzzing, a technique for negative testing of programs using randomly mutated or gen?erated input dat...
Mutational input testing (fuzzing, and in particular dumb fuzzing) is an effective technique for dis...
artifact for the paper "ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
This artifact is for the paper "Demystifying the Dependency Challenge in Kernel Fuzzing" in ICSE 202...
Artifact for the paper submitted to TACAS 2023 - FuzzBtor2: A Random Generator of Word-Level Model C...
Our computers, phones, and other smart devices are running a vast and ever increasing amount of soft...
This deposit maintains the inputs generated by DifuzzRTL and MorFuzz binaries. Following is the pap...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is the artifact for "Towards Better Semantics Exploration for Browser Fuzzing", published in SP...
The artifact goes through the 3 main steps of evaluating fuzzers with FixReverter and RevBugBench: F...
This is the artifact code for the paper NSFuzz: Towards Efficient and State-Aware Network Service Fu...
Fuzzing is one of the most widely deployed techniques to discover software security vulnerabilities....
This is an Artificial Evaluation package of Automated Program Repair from Fuzzing Perspective. * Ou...
Fuzzing, a technique for negative testing of programs using randomly mutated or gen?erated input dat...
Mutational input testing (fuzzing, and in particular dumb fuzzing) is an effective technique for dis...
artifact for the paper "ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
This artifact is for the paper "Demystifying the Dependency Challenge in Kernel Fuzzing" in ICSE 202...
Artifact for the paper submitted to TACAS 2023 - FuzzBtor2: A Random Generator of Word-Level Model C...
Our computers, phones, and other smart devices are running a vast and ever increasing amount of soft...
This deposit maintains the inputs generated by DifuzzRTL and MorFuzz binaries. Following is the pap...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Add to ORKG