Software

Software Testing Tools

• EDHOC-Fuzzer: Protocol State Machine Learner and Fuzzer for EDHOC Implementations

• DTLS-Fuzzer: Protocol State Machine Learner and Fuzzer for DTLS Implementations

• Nidhugg: Stateless Model Checking tool finding bugs caused by concurrency and relaxed memory consistency in C/pthread programs

• PropEr: Property-Based Testing tool including support for Targeted Property-Based Testing

• SMBugFinder: Automata-based State Machine Bug Finder for Network Protocol Implementations

Software Artifacts

• Artifact for the ISSTA’24 paper SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs

• Artifact for the ARES’24 paper Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution

• Artifact for the CAV 2024 paper Parsimonious Optimal Dynamic Parial Order Reduction

• Artifact for the TACAS 2024 paper Scalable Tree-based Register Automata Learning

• Artifact for the NDSS’2023 paper Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations

• Artifact for the ASE 2022 paper So Many Fuzzers, So Little Time - Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack

• Replication material for the ICST 2022 paper Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification

• Artifact for the USENIX 2020 paper Analysis of DTLS Implementations Using Protocol State Fuzzing