toledosakasa / SMARTFLLinks
Fault Localization via Efficient Probabilistic Modeling of Program Semantics
☆15Updated last year
Alternatives and similar repositories for SMARTFL
Users that are interested in SMARTFL are comparing it to the libraries listed below
Sorting:
- ☆18Updated last year
- ☆85Updated 4 years ago
- ☆212Updated last year
- Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.☆66Updated 10 months ago
- FUNDED is a novel learning framework for building vulnerability detection models.☆130Updated last year
- Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123☆24Updated 2 years ago
- ☆24Updated 3 years ago
- ☆59Updated 2 years ago
- ☆49Updated 2 years ago
- repo of "SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics" (ASE 22) https://oadoi.org/10.1145/3551349.3556926☆27Updated last year
- VulnerabilityDetectionResearch☆89Updated 3 years ago
- ☆35Updated last year
- [ICSE 2024 Industry Challenge Track] Official implementation of "ReposVul: A Repository-Level High-Quality Vulnerability Dataset".☆71Updated 8 months ago
- Template-based Automated Program Repair☆48Updated last year
- ☆13Updated last year
- FSE 2023 RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair☆12Updated 9 months ago
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆110Updated 3 years ago
- ☆51Updated 4 years ago
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆62Updated 2 years ago
- ☆29Updated 3 years ago
- An implementation of Tare.☆12Updated last year
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆55Updated 2 years ago
- Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks☆231Updated last year
- ☆18Updated last year
- Functional clone detection(currently maintained version)☆34Updated 2 years ago
- Labeled vulnerable functions statistics analysis and neural network training☆26Updated 6 years ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆28Updated last year
- Fault localization and automated program repair techniques☆32Updated 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
- ☆75Updated 2 years ago