tum-i4 / deadlinesLinks
Deadline countdowns for academic conferences relevant to the SSE chair.
☆12Updated last month
Alternatives and similar repositories for deadlines
Users that are interested in deadlines are comparing it to the libraries listed below
Sorting:
- A vulnerability patch gathering tool☆44Updated 6 years ago
- ☆17Updated 5 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated last week
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Updated 3 years ago
- ☆90Updated 2 months ago
- Static Analysis Course☆81Updated 2 weeks ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆38Updated 3 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 9 months ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆25Updated last year
- ☆26Updated last month
- ☆59Updated 2 years ago
- User Guided API Misuse Detection☆30Updated 3 years ago
- ☆24Updated 4 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆56Updated 10 months ago
- ☆15Updated 2 years ago
- ☆75Updated 2 years ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆73Updated 3 years ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆115Updated 3 months ago
- Lightweight tool for slicing☆35Updated last week
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 5 years ago
- ☆90Updated 2 years ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆28Updated last year
- This is the replication package of V-SZZ, which has been accepted by ICSE2022☆15Updated 3 weeks ago
- ☆42Updated 2 years ago
- ☆48Updated last year
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆62Updated last year
- ☆100Updated 9 months ago
- ☆42Updated 3 years ago
- Lifting network implementation to precise format specification☆23Updated 8 months ago
- The ISLa (Input Specification Language) language & solver.☆72Updated last year