TUDelft-CS4110 / syllabusLinks
Syllabus for CS4110 course at TU Delft
☆12Updated 9 years ago
Alternatives and similar repositories for syllabus
Users that are interested in syllabus are comparing it to the libraries listed below
Sorting:
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)☆17Updated 7 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated last year
- Code from MSc thesis on combining learning and fuzzing☆19Updated 6 years ago
- SQL and Bash scripts to import the offical Stack Overflow data dump and the SOTorrent data set, to retrieve Stack Overflow references fro…☆16Updated 3 months ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆19Updated 10 months ago
- Lightweight tool for slicing☆35Updated this week
- Sydr benchmark applications☆17Updated 2 years ago
- search-based software engineering☆16Updated 10 years ago
- A free, open-source Java library for automata learning algorithms☆215Updated last month
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆41Updated last year
- User Guided API Misuse Detection☆29Updated 2 years ago
- ICSE'18: Tuning Smote☆11Updated 6 years ago
- ☆23Updated 4 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- Identifying Open-Source License Violation and 1-day Security Risk at Large Scale☆66Updated 7 years ago
- Static analysis tool to slice python programs☆37Updated 8 years ago
- Research papers on ML for security☆34Updated 4 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆43Updated last year
- Protocol Inspection and State Machine Analysis☆24Updated 7 years ago
- Open-source code for RFCNLP paper.☆59Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- The C parser for GumTree☆13Updated 4 years ago
- Coverage based JVM Fuzz testing tool.☆20Updated 5 years ago
- DARPA Cyber Grand Challenge Linux source code☆17Updated 10 years ago
- A protocol reverse engineer tool written in java.☆29Updated 8 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 5 months ago
- Minimal example of a standalone program that depends on Joern☆10Updated 5 months ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆22Updated 4 years ago