[ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
☆12Jan 7, 2025Updated last year
Alternatives and similar repositories for UniTSyn
Users that are interested in UniTSyn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Dec 28, 2024Updated last year
- ☆16Oct 15, 2025Updated last year
- ☆175Jul 25, 2025Updated last year
- ☆11Apr 16, 2025Updated last year
- ☆32May 30, 2026Updated 4 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An implementation of ChatTester//arxiv.org/abs/2305.04207☆16Nov 25, 2024Updated last year
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 5 years ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 3 years ago
- A DL compiler fuzzer☆15Nov 1, 2024Updated last year
- System for verifying the correctness of generated Copilot programs☆20May 8, 2025Updated last year
- ☆10Oct 22, 2026Updated last week
- CUHKSZ 香港中文大学（深圳） 课程笔记分享☆12Jul 5, 2022Updated 4 years ago
- ☆14Sep 12, 2024Updated 2 years ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆39Jul 19, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 我的前后端通用模板，既可以自动变成jQuery插件,也可以单独为一个前端模板,亦可以是独立的node.js模板☆13Jul 26, 2013Updated 13 years ago
- A personal repository of SUSTech course CS304 software engineering☆11Jun 22, 2018Updated 8 years ago
- 南方科技大学数据库原理课程资料: 期末试卷, project, cp, 课件, 笔记 (lecture note, lab note, projects, cheating paper and final exam)☆13May 22, 2023Updated 3 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Apr 28, 2026Updated 6 months ago
- 南方科技大学数字逻辑课程资料: notes, assignments and project☆17Mar 13, 2023Updated 3 years ago
- Notification skill for Agent (e.g., Claude and Codex).☆16Jan 7, 2026Updated 9 months ago
- ☆73Mar 19, 2026Updated 7 months ago
- (1120/1100) Labs of CS208 2023 Spring: Algorithm Design and Analysis (ADA), SUSTech. Taught by Prof. Yuhui SHI.☆11Jun 4, 2023Updated 3 years ago
- Real-time multi-language unit test generation tool via LSP☆43May 14, 2026Updated 5 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Large Language Model in combination with Large Vision Model for the task of code generation given design sketch.☆11Apr 29, 2025Updated last year
- ☆20Mar 4, 2026Updated 7 months ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- methods2test is a supervised dataset consisting of Test Cases and their corresponding Focal Methods from a set of Java software repositor…☆174Dec 4, 2023Updated 2 years ago
- A tool based on python to parse C/C++ code into code property graph☆17Nov 4, 2022Updated 3 years ago
- Vim distribution☆10Sep 2, 2014Updated 12 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆33Nov 13, 2023Updated 2 years ago
- ☆12Jan 22, 2026Updated 9 months ago
- 1st OpenSource Digital Employee Breeding Factory☆16May 1, 2026Updated 5 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆26Dec 16, 2023Updated 2 years ago
- ☆32Oct 28, 2023Updated 3 years ago
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆24Dec 3, 2024Updated last year
- Dataflow-guided retrieval augmentation for repository-level code completion, ACL 2024 (main)☆34Mar 24, 2025Updated last year
- 微信官方授权Bot SDK,开箱即用， 高度可扩展，支持自定义插件和消息处理☆19Mar 27, 2026Updated 7 months ago
- A Source Code Tokenizer☆13Oct 30, 2024Updated last year
- mini lab - firebolt project☆17Sep 7, 2025Updated last year