tum-i4 / deadlinesLinks
Deadline countdowns for academic conferences relevant to the SSE chair.
☆11Updated 2 weeks ago
Alternatives and similar repositories for deadlines
Users that are interested in deadlines are comparing it to the libraries listed below
Sorting:
- ☆26Updated 3 weeks ago
- ☆79Updated last month
- ☆24Updated 4 years ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- PTABen: Micro-benchmark Suite for Pointer Analysis☆79Updated 3 weeks ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆37Updated 3 years ago
- ☆16Updated 2 months ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆63Updated last year
- User Guided API Misuse Detection☆29Updated 2 years ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆74Updated 3 years ago
- ☆58Updated last year
- A vulnerability patch gathering tool☆43Updated 6 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆25Updated last year
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆318Updated 3 months ago
- ☆14Updated 2 years ago
- This is the replication package of V-SZZ, which has been accepted by ICSE2022☆15Updated last month
- ☆58Updated last year
- Pre-built bitcode files for the Linux kernel☆22Updated 6 years ago
- ☆46Updated 10 months ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 7 years ago
- ☆41Updated 2 years ago
- ☆32Updated last year
- No description yet☆11Updated 2 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆33Updated 6 months ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆43Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆56Updated 7 months ago
- Symbolic PathFinder☆156Updated 2 weeks ago
- ☆41Updated 2 years ago
- PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software (ISSTA 2024)☆20Updated 5 months ago
- KLEE with floating point support (unmaintained)☆19Updated 3 years ago