[ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs
☆14Jul 27, 2025Updated last year
Alternatives and similar repositories for LISP
Users that are interested in LISP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Sep 12, 2024Updated 2 years ago
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 5 years ago
- ☆12Aug 5, 2026Updated 2 months ago
- TestGenEval A Real World Unit Test Generation and Test Completion Benchmark☆37Mar 12, 2026Updated 7 months ago
- ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents☆164Sep 8, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated last year
- VS Code extension to access https://chat.deepseek.com/ within VS code sidebar. Both DeepSeekChat and code in the same editor, side by sid…☆16Jan 21, 2025Updated last year
- BGraph is a tool designed to generate dependencies graphs from Android.bp soong files.☆20Sep 19, 2025Updated last year
- Hybrid Program Analysis-Guided Test Generation☆11Jun 15, 2026Updated 4 months ago
- ☆10Apr 24, 2024Updated 2 years ago
- Comparing Machine Learning Algorithms for Python Source Code Vulnerability Detection☆10Mar 29, 2024Updated 2 years ago
- Code for ICSE'24 Paper☆14Apr 21, 2024Updated 2 years ago
- A constraint solver abstraction layer for Java☆13Updated this week
- Lifting network implementation to precise format specification☆23Apr 21, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- jConstraints abstraction layer for Z3☆10Oct 6, 2016Updated 10 years ago
- Dynamic taint analysis for Python.☆11Jul 20, 2024Updated 2 years ago
- 使用书生Intern大模型，以科技赋能投资决策☆10Feb 13, 2025Updated last year
- ☆11Jul 11, 2023Updated 3 years ago
- ☆165Updated this week
- 🎮 142 playable browser games in one repo. Click and play instantly — no installs, no signups. Built with Phaser, Three.js, and vanilla J…☆29Apr 26, 2026Updated 6 months ago
- ☆23Nov 22, 2023Updated 2 years ago
- ☆39Jan 27, 2025Updated last year
- This is a repository of all the can-be-made-public notes and assignments during my undergraduate studies in Computer Science and Technolo…☆11Nov 13, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Pipeline for automatic test generation assessment☆11Mar 10, 2025Updated last year
- 全国大学生软件测试大赛题库(2016~2024)，包含国际赛和国内赛全过程题目，学生自行整理，存在缺漏☆13Nov 17, 2024Updated last year
- 这是一个基于 React + Vite + Tailwind CSS 构建的 Web 端全沉浸式视觉小说（GalGame）风格 AI 聊天应用。它不仅是一个聊天窗口，更是一个集成了 **Live2D 动态同步**、**长期记忆流**、**隐式日程管家**机制的赛博私人助理。☆31Jul 24, 2026Updated 3 months ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Oct 26, 2026Updated last week
- This is a JLU-SNL-COMPILER project☆13Oct 6, 2023Updated 3 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Apr 28, 2026Updated 6 months ago
- Fuzzing Coreutils with AFL on kubernetes☆13Apr 25, 2019Updated 7 years ago
- TopSeed : Learning Seed Selection Strategies for Symbolic Execution from Scratch☆15Feb 19, 2025Updated last year
- Lab for fudan program analysis 2024 autumn☆11Nov 24, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ProfMal is a detection tool designed for identifying malicious NPM packages, combining static analysis and dynamic analysis.☆14Jun 22, 2026Updated 4 months ago
- ☆175Jul 25, 2025Updated last year
- enchmarking Large Language Models' Resistance to Malicious Code☆20Apr 23, 2026Updated 6 months ago
- Coverage based JVM Fuzz testing tool.☆19Sep 27, 2019Updated 7 years ago
- A VSCode extension that allows you to use ChatGPT inside the IDE☆23Feb 22, 2024Updated 2 years ago
- ☆19Mar 22, 2026Updated 7 months ago
- A verification tool for ensuring parallelization equivalence in distributed model training.☆14Sep 17, 2025Updated last year