Spirals-Team/defects4j-presentation-urls external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Spirals-Team/defects4j-presentation-urls

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Spirals-Team/defects4j-presentation-urls)

Close

Spirals-Team / defects4j-presentation-urlsView on GitHubMore

• External links
• Readme badge

URls for pointing to Defect4J bugs and diffs

☆17Jan 17, 2018Updated 8 years ago

Alternatives and similar repositories for defects4j-presentation-urls

Users that are interested in defects4j-presentation-urls are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• nhjclxc / java-callgraph-spoon

  View on GitHub
  java-callgraph-spoon，使用静态分析工具spoon构造方法调用图callgraph ，源代码方法级别
  ☆15Oct 31, 2023Updated 2 years ago
• markuswagnergithub / SBSEcourse

  View on GitHub
  Search-Based Software Engineering Course
  ☆13Oct 25, 2022Updated 3 years ago
• maldil / RefactoringMiner

  View on GitHub
  ☆16Jun 9, 2022Updated 3 years ago
• TruX-DTF / FL-VS-APR

  View on GitHub
  ☆16Apr 26, 2021Updated 5 years ago
• 0xarcher / yiyexy

  View on GitHub
  西电一页校园是一个校校园团队，致力于设计垂直化的校园服务系统，本项目分为三个模块(拼车、美食、驾校)，这个代码库用于把之前的代码重构，基于 Spring Boot + Spring + Mybatis 的主流框架，redis 提供缓存支持，设计较之前比较规范化。
  ☆16May 10, 2017Updated 9 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• mstn / Petrix

  View on GitHub
  Building Petri Nets in Javascript using Interaction Category semantics
  ☆14Feb 1, 2017Updated 9 years ago
• kupl / npex

  View on GitHub
  ☆15Oct 11, 2023Updated 2 years ago
• CocaColf / coderfly

  View on GitHub
  Find function-level association impacts of code changes
  ☆17Jul 19, 2022Updated 3 years ago
• Berkeley-Correctness-Group / Jalangi-Berkeley

  View on GitHub
  Doing research on top of Jalangi
  ☆12Sep 9, 2016Updated 9 years ago
• TruX-DTF / AVATAR

  View on GitHub
  AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
  ☆26Apr 26, 2021Updated 5 years ago
• rjust / defects4j

  View on GitHub
  A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
  ☆967Apr 7, 2026Updated last month
• Shimmer93 / Deephunter-backup

  View on GitHub
  ☆22Jun 7, 2022Updated 3 years ago
• Awhisper / antlrDemo

  View on GitHub
  ☆10Sep 23, 2016Updated 9 years ago
• SEKE-Adversary / CARROT

  View on GitHub
  Towards Robustness of Deep Program Processing Models – Detection, Estimation and Enhancement
  ☆22Oct 29, 2022Updated 3 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• coinse / pyggi

  View on GitHub
  Python General Framework for Genetic Improvement [Version 2]
  ☆30Nov 28, 2023Updated 2 years ago
• li-xiao-qing / hpsocket-demo

  View on GitHub
  基于 HP-Socket 实现的 Client / Server
  ☆15Jan 4, 2024Updated 2 years ago
• haochengxia / conference-template

  View on GitHub
  ☆41Mar 30, 2021Updated 5 years ago
• prapr / prapr

  View on GitHub
  Practical Program Repair via Bytecode Mutation
  ☆66Jun 20, 2022Updated 3 years ago
• beijingrb / dockerfile2bash

  View on GitHub
  Parse and Convert a Dockerfile to Bash script.
  ☆11Apr 20, 2018Updated 8 years ago
• jiangyanjie / Deep-Learning-Based-Software-Engineering

  View on GitHub
  ☆25Oct 2, 2024Updated last year
• yychdu / short-term

  View on GitHub
  基本实现要求所有功能 下位机 （主控stm32f103c8t6） 上位机（QT）物联网云（Gizwits）
  ☆12May 31, 2020Updated 5 years ago
• srcML / pylibsrcml

  View on GitHub
  Python bindings for libsrcml
  ☆17Aug 25, 2025Updated 9 months ago
• sorra / TraceSonar

  View on GitHub
  Call graph analyzer for Java
  ☆44Oct 22, 2020Updated 5 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• LASER-UMASS / AutomatedRepairApplicabilityData

  View on GitHub
  Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.
  ☆16Dec 10, 2017Updated 8 years ago
• ASSERT-KTH / sequencer

  View on GitHub
  Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo. http://arxiv.org/pdf/1901.01808
  ☆87Jun 9, 2023Updated 2 years ago
• ICSE-2019-AUTOFIX / ICSE-2019-AUTOFIX

  View on GitHub
  ☆30Oct 30, 2020Updated 5 years ago
• howardlau1999 / ucxpp

  View on GitHub
  ☆21May 11, 2026Updated 2 weeks ago
• Ringbo / CCT5

  View on GitHub
  ☆34Feb 24, 2024Updated 2 years ago
• ichorid / ringsat

  View on GitHub
  CDCL SAT-solver for GPUs
  ☆12May 5, 2017Updated 9 years ago
• didinj / ionic3-angular4-charts-example

  View on GitHub
  Example of Beautiful Charts using Ionic 3 and Angular 4
  ☆15Nov 21, 2017Updated 8 years ago
• TruX-DTF / TBar

  View on GitHub
  Template-based Automated Program Repair
  ☆55Feb 7, 2024Updated 2 years ago
• bleo181-dev / deepseek-chatbot

  View on GitHub
  A step-by-step guide to setting up and running DeepSeek locally using Ollama, making it accessible via a browser as an offline chatbot.
  ☆10Jan 30, 2025Updated last year
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• fivethree-team / ionic-fastlane-plugin

  View on GitHub
  🧩 fastlane plugin for Ionic 4+
  ☆14May 20, 2020Updated 6 years ago
• srcML / srcUML

  View on GitHub
  UML Class diagram reverse engineering tool
  ☆14Apr 8, 2026Updated last month
• GrowingData / hyper-model

  View on GitHub
  Hyper Model helps take Machine Learning to production
  ☆10Feb 15, 2021Updated 5 years ago
• larytet / dockerfile-generator

  View on GitHub
  ☆11Oct 10, 2018Updated 7 years ago
• STAR-RG / shipwright

  View on GitHub
  ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
  ☆23May 11, 2021Updated 5 years ago
• di-unipi-socc / DockerFinder

  View on GitHub
  DockerFinder permits searching for images based on multiple attributes.
  ☆11Jul 10, 2018Updated 7 years ago
• qfiard / cuda-sat-solver

  View on GitHub
  An implementation of a SAT solver using the CUDA library
  ☆15Dec 23, 2017Updated 8 years ago