gai4se / GAI4SE-Course
☆15Updated this week
Related projects ⓘ
Alternatives and complementary repositories for GAI4SE-Course
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆11Updated 9 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 2 years ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Updated last year
- RepairAgent is an autonomous LLM-based agent for software repair.☆21Updated 4 months ago
- An empirical study on patch correctness☆15Updated 2 years ago
- A Reproducible Benchmark of Recent Java Bugs☆27Updated 2 weeks ago
- This is the repository for the paper titled "ThinkRepair: Self-Directed Automated Program Repair" accepted by ISSTA'24.☆11Updated 4 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- ☆40Updated last year
- ☆11Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆37Updated 8 months ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆27Updated 5 months ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆13Updated 5 months ago
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆67Updated last year
- ☆18Updated this week
- A Mining Approach towards Automating Regression Dataset Construction from Code Evolution History☆35Updated this week
- ☆33Updated 2 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 8 months ago
- ☆11Updated last year
- ☆55Updated 11 months ago
- A vulnerability patch gathering tool☆40Updated 5 years ago
- TeCo: an ML+Execution model for test completion☆29Updated 5 months ago
- Collections of research, benchmarks and tools towards more robust and reliable language models for code; LM4Code; LM4SE; reliable LLM; L…☆22Updated 11 months ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated 8 months ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆67Updated 2 months ago
- Dianshu-Liao / AAA-Code-Generation-Framework-for-Code-Repository-Local-Aware-Global-Aware-Third-Party-Aware☆12Updated 11 months ago
- ☆23Updated 9 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆31Updated last week
- ☆15Updated 11 months ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 3 years ago