gai4se / GAI4SE-Course
☆15Updated this week
Related projects ⓘ
Alternatives and complementary repositories for GAI4SE-Course
- For our ICSE 2022 paper EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries☆13Updated last year
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆11Updated 9 months ago
- An empirical study on patch correctness☆15Updated 2 years ago
- A Reproducible Benchmark of Recent Java Bugs☆26Updated this week
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- junit tools contest infrastructure☆11Updated 9 months ago
- BugsInPy: Benchmarking Bugs in Python Projects☆80Updated 4 months ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆13Updated 5 months ago
- ☆118Updated 5 months ago
- Collections of research, benchmarks and tools towards more robust and reliable language models for code; LM4Code; LM4SE; reliable LLM; L…☆23Updated 10 months ago
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆67Updated last year
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆15Updated last month
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆25Updated 3 years ago
- TeCo: an ML+Execution model for test completion☆27Updated 4 months ago
- Dianshu-Liao / AAA-Code-Generation-Framework-for-Code-Repository-Local-Aware-Global-Aware-Third-Party-Aware☆11Updated 10 months ago
- ☆40Updated last year
- ☆31Updated 3 weeks ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆42Updated last month
- ☆33Updated 2 years ago
- ☆22Updated 9 months ago
- A collection of datasets for machine learning for big code☆42Updated 3 years ago
- This is the repository for the paper titled "ThinkRepair: Self-Directed Automated Program Repair" accepted by ISSTA'24.☆10Updated 4 months ago
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 8 months ago
- ☆28Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆20Updated 3 weeks ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 5 years ago
- ☆25Updated 3 years ago
- ☆29Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆31Updated this week
- A vulnerability patch gathering tool☆40Updated 5 years ago