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.

• JoranHonig / tarantula

  View on GitHub
  Implementation of the tarantula fault localisation algorithm
  ☆13May 10, 2021Updated 5 years ago
• Spirals-Team / defects4j-repair

  View on GitHub
  Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
  ☆37Nov 12, 2025Updated 7 months ago
• nhjclxc / java-callgraph-spoon

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

  View on GitHub
  junit tools contest infrastructure
  ☆13Feb 9, 2024Updated 2 years ago
• maldil / RefactoringMiner

  View on GitHub
  ☆16Jun 9, 2022Updated 4 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• 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
• 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
• lukingroup / pylabnet

  View on GitHub
  Client-server, python-based laboratory software
  ☆19May 27, 2026Updated last month
• CocaColf / coderfly

  View on GitHub
  Find function-level association impacts of code changes
  ☆17Jul 19, 2022Updated 3 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
  ☆974Apr 7, 2026Updated 3 months ago
• Shimmer93 / Deephunter-backup

  View on GitHub
  ☆22Jun 7, 2022Updated 4 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.
• SEKE-Adversary / CARROT

  View on GitHub
  Towards Robustness of Deep Program Processing Models – Detection, Estimation and Enhancement
  ☆21Oct 29, 2022Updated 3 years ago
• prapr / prapr

  View on GitHub
  Practical Program Repair via Bytecode Mutation
  ☆66Jun 20, 2022Updated 4 years ago
• jiangyanjie / Deep-Learning-Based-Software-Engineering

  View on GitHub
  ☆25Oct 2, 2024Updated last year
• stg-tud / MUDetect

  View on GitHub
  ☆25Oct 13, 2020Updated 5 years ago
• Veri-Q / Benchmark

  View on GitHub
  ☆30May 14, 2026Updated last month
• BluewhaleRobot / udp_test

  View on GitHub
  rosudp example
  ☆12Jul 12, 2019Updated 6 years ago
• sealuzh / msr18-docker-dataset

  View on GitHub
  Structured Information on State and Evolution of Dockerfiles - Online Appendix
  ☆10Mar 16, 2018Updated 8 years ago
• dvarrazzo / italian_fts

  View on GitHub
  Italian full-text search dictionary and configuration for PostgreSQL
  ☆14Nov 26, 2020Updated 5 years ago
• srcML / pylibsrcml

  View on GitHub
  Python bindings for libsrcml
  ☆18Aug 25, 2025Updated 10 months ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• rsln-s / IEEE_QW_2020

  View on GitHub
  Materials for the tutorial "Combinatorial Optimization on Quantum Computers"
  ☆25Oct 15, 2020Updated 5 years ago
• 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
• ICSE-2019-AUTOFIX / ICSE-2019-AUTOFIX

  View on GitHub
  ☆30Oct 30, 2020Updated 5 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 3 years ago
• howardlau1999 / ucxpp

  View on GitHub
  ☆21May 11, 2026Updated last month
• 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
• sameerreddy13 / rlcheck

  View on GitHub
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆48Sep 20, 2021Updated 4 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• 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
• jayphelps / sweet-async-await

  View on GitHub
  Sweet.js macros to support the async/await ES7 proposed feature
  ☆36Jul 31, 2014Updated 11 years ago
• crop-repo / crop

  View on GitHub
  The repository for the Code Review Open Platform (CROP)
  ☆13Apr 29, 2018Updated 8 years ago
• di-unipi-socc / DockerFinder

  View on GitHub
  DockerFinder permits searching for images based on multiple attributes.
  ☆11Jul 10, 2018Updated 8 years ago
• pkuzqh / Recoder

  View on GitHub
  ☆60Dec 21, 2022Updated 3 years ago
• vegard / clsat

  View on GitHub
  OpenCL SAT solver
  ☆16Jul 15, 2011Updated 14 years ago