Evosuite++: an enhancement for Evosuite framework supporting new features like optimal object construction and gradient recovering
☆42Dec 11, 2023Updated 2 years ago
Alternatives and similar repositories for evosuite-plus-plus
Users that are interested in evosuite-plus-plus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DeepVisualInsight (DVI) is a time-travelling visualization solution for how the classification boundaries of a learned model is trained i…☆37May 6, 2024Updated 2 years ago
- Analyze execution trace to find regression bug☆41Jun 2, 2024Updated 2 years ago
- A feedback-based debugger for interactively recommending suspicious step in buggy program execution.☆56Mar 11, 2024Updated 2 years ago
- A Clone-Based Approach for Recommending Modification on Pasted Code☆12Jun 10, 2017Updated 9 years ago
- A project for computing differences of multiple clone instances.☆17Nov 4, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Mining Approach towards Automating Regression Dataset Construction from Code Evolution History☆34Dec 29, 2024Updated last year
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆25Dec 17, 2020Updated 5 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- Dynaphish: A complementary module for any reference-based phishing detector with BrandKnowledgeExpansion and WebInteraction☆20Sep 11, 2025Updated 10 months ago
- ☆15Oct 15, 2025Updated 9 months ago
- DeepLocalize: Fault Localization for Deep NeuralNetworks☆27Feb 23, 2021Updated 5 years ago
- A java library to output logs for debugging. It is available in Java 8 or later.☆11Jul 26, 2025Updated 11 months ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- ☆10May 1, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Dataset for ICSE 2020 paper "Repairing Deep Neural Networks: Fix Patterns and Challenges"☆10Feb 10, 2020Updated 6 years ago
- ☆38Jun 4, 2026Updated last month
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆15Oct 16, 2022Updated 3 years ago
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 4 years ago
- An PyTorch implementation of "Importance Weighted Actor-Learner Architectures" https://arxiv.org/abs/1802.01561☆12Jan 6, 2021Updated 5 years ago
- A DL compiler fuzzer☆15Nov 1, 2024Updated last year
- Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.☆47Oct 12, 2021Updated 4 years ago
- ☆13Sep 12, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Apr 28, 2026Updated 2 months ago
- ☆12Nov 7, 2019Updated 6 years ago
- ☆40Nov 13, 2025Updated 8 months ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 3 years ago
- ☆11Jun 14, 2024Updated 2 years ago
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated last year
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆15Sep 21, 2025Updated 10 months ago
- Some tooling to help to migrate from Eclipse 3 to Eclipse 4☆13Jul 14, 2025Updated last year
- Notification skill for Agent (e.g., Claude and Codex).☆15Jan 7, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Overview of Clone Detection Tools for Java☆14Aug 23, 2025Updated 10 months ago
- Resources for recent AI systems (deployment concerns, cost and accessibility). -- closed☆12May 29, 2021Updated 5 years ago
- ☆17Oct 30, 2023Updated 2 years ago
- [NeurIPS 2022] Explaining Graph Neural Networks with Structure-Aware Cooperative Games (GStarX)☆14Oct 20, 2022Updated 3 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- ☆13May 19, 2024Updated 2 years ago