2 results found Sort:

ltlfuzzer
LTL-Fuzzer ltlfuzzer
6
53
apache-2.0
4
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
fuzzing testing test-oracles model-checker testing-tools model-checking network-fuzzer protocol-fuzzing runtime-verification
Created 2022-01-22
6 commits to main branch, last one 2 years ago
dsfuzz
mallory dsfuzz
4
40
apache-2.0
3
Greybox Fuzzing of Distributed Systems (CCS'23)
fuzzing testing network-fuzzer protocol-fuzzing distributed-systems distributed-system-fuzzing distributed-system-testing
Created 2023-08-12
10 commits to main branch, last one about a year ago