☆14Jan 8, 2023Updated 3 years ago
Alternatives and similar repositories for bug-localizer
Users that are interested in bug-localizer are comparing it to the libraries listed below
Sorting:
- ☆14Jan 13, 2023Updated 3 years ago
- ☆11Jun 14, 2024Updated last year
- american fuzzy lop - a security-oriented fuzzer☆11Updated this week
- ☆48Nov 25, 2025Updated 3 months ago
- ☆11Nov 23, 2024Updated last year
- ☆55Dec 19, 2025Updated 2 months ago
- ☆62Feb 11, 2026Updated 2 weeks ago
- ☆39Dec 7, 2021Updated 4 years ago
- ☆28Aug 14, 2023Updated 2 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆13Nov 17, 2022Updated 3 years ago
- ☆10Sep 10, 2022Updated 3 years ago
- BuGL - A Cross-Language Dataset for Bug Localization☆10Feb 8, 2020Updated 6 years ago
- Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)☆10Dec 31, 2025Updated 2 months ago
- Deep Program Structure Modeling ThroughMulti-Relational Graph-based Learning☆10May 24, 2021Updated 4 years ago
- ☆11Jan 21, 2025Updated last year
- convert ASTs between Shift and SpiderMonkey formats☆18Aug 13, 2020Updated 5 years ago
- ☆14Dec 13, 2021Updated 4 years ago
- ☆11Apr 5, 2022Updated 3 years ago
- ☆11Dec 14, 2020Updated 5 years ago
- NODE-SELECT: A Graph Neural Network Based On A Selective Propagation Technique☆21May 4, 2022Updated 3 years ago
- Formal Analysis of TEE Applications using TEE Formal Spec.☆10Dec 26, 2025Updated 2 months ago
- ☆16Nov 10, 2025Updated 3 months ago
- Use python scrapy build crawler for real-time Taiwan NEWS website.☆13Dec 5, 2025Updated 2 months ago
- Bug Report driven Program Repair☆17Feb 15, 2020Updated 6 years ago
- ☆13Jul 6, 2023Updated 2 years ago
- Kervolutional neural networks☆16May 8, 2019Updated 6 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- ☆15Oct 11, 2023Updated 2 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- ☆19Nov 5, 2023Updated 2 years ago
- A Data Set of Software-related Developer Chat Conversations on Slack☆20Apr 23, 2020Updated 5 years ago
- A Comparative Study of Various Code Embeddings in Software Semantic Matching☆18Dec 8, 2022Updated 3 years ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆20Aug 28, 2024Updated last year
- A curated list of awesome open source libraries to deploy, monitor, version and scale your machine learning☆16Jul 20, 2020Updated 5 years ago
- ☆16Apr 26, 2021Updated 4 years ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆18Oct 12, 2020Updated 5 years ago
- ☆19Jun 17, 2024Updated last year
- A Survey of Deep Learning Models for Structural Code Understanding☆21May 12, 2022Updated 3 years ago
- Neural Style Transfer☆21Jun 19, 2023Updated 2 years ago