protocol-fuzzing

There are 1 repository under protocol-fuzzing topic.

• ltlfuzzer / LTL-Fuzzer

  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)

  fuzzingmodel-checkermodel-checkingnetwork-fuzzerprotocol-fuzzingruntime-verificationtest-oraclestestingtesting-tools
  Language:C 56

• dsfuzz / mallory

  Greybox Fuzzing of Distributed Systems (CCS'23)

  distributed-systemsfuzzingnetwork-fuzzertestingdistributed-system-fuzzingdistributed-system-testingprotocol-fuzzing
  Language:Clojure 52