tum-i4 / deadlinesLinks
Deadline countdowns for academic conferences relevant to the SSE chair.
☆12Updated 2 months ago
Alternatives and similar repositories for deadlines
Users that are interested in deadlines are comparing it to the libraries listed below
Sorting:
- ☆59Updated 2 years ago
- ☆24Updated 4 years ago
- A vulnerability patch gathering tool☆44Updated 7 years ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆63Updated last year
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆39Updated 3 years ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆28Updated last year
- User Guided API Misuse Detection☆30Updated 3 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆51Updated last year
- ☆90Updated 2 months ago
- ☆26Updated this week
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- ☆17Updated 6 months ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 7 years ago
- 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
- ☆16Updated 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
- ☆102Updated last year
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆102Updated 2 years ago
- Lifting network implementation to precise format specification☆23Updated 9 months ago
- 20 benchmark programs☆52Updated 4 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 10 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated 2 weeks ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆15Updated 3 years ago
- ☆36Updated 3 years ago
- ☆43Updated 2 years ago
- ☆48Updated last year
- This is the replication package of V-SZZ, which has been accepted by ICSE2022☆16Updated last month
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆56Updated 11 months ago
- ☆15Updated 2 years ago
- Program Vulnerability Repair via Inductive Inference☆20Updated 2 years ago