Alternatives and similar repositories for dslinter:

Users that are interested in dslinter are comparing it to the libraries listed below

• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated last year
• squaresLab / SOAR
  Synthesis API Refactor
  ☆11Updated 2 years ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆77Updated this week
• ASSERT-KTH / assert-gold-mine
  This is an informal repo for ASSERT teammates to share awesome stuff.
  ☆21Updated 2 weeks ago
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆35Updated 2 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆78Updated 6 months ago
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆34Updated last year
• Spirals-Team / defects4j-repair
  Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
  ☆35Updated 3 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 4 months ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 4 months ago
• nguyenhoan / CPatMiner
  ☆22Updated last year
• xgdsmileboy / GenPat
  This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.
  ☆29Updated 2 years ago
• micheletufano / DeepMutation
  ☆11Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated this week
• SMAT-Lab / SnifferDog
  Restoring Execution Environments of Jupyter Notebooks
  ☆21Updated last year
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆303Updated 11 months ago
• awsm-research / PyExplainer
  PyExplainer: A Local Rule-Based Model-Agnostic Technique (Explainable AI)
  ☆30Updated 8 months ago
• kin-y / miningReviewRepo
  ☆16Updated 4 years ago
• caterinaurban / Lyra
  ☆30Updated 6 months ago
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆114Updated last year
• Ahmadreza-SY / TCP-CI
  Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts
  ☆16Updated 2 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆66Updated 3 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆68Updated last month
• prapr / prapr
  Practical Program Repair via Bytecode Mutation
  ☆64Updated 2 years ago
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated 11 months ago
• yyxhdy / arja
  Multi-Objective GP for Automated Repair of Java
  ☆43Updated 2 years ago
• program-repair / RepairThemAll_experiment
  ☆14Updated last year
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆15Updated last year