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
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆65Updated 4 years ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆318Updated 3 months ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆322Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆79Updated 5 months ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆71Updated 2 years ago
• awsm-research / PyExplainer
  PyExplainer: A Local Rule-Based Model-Agnostic Technique (Explainable AI)
  ☆30Updated last year
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆75Updated last year
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated 2 years ago
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆31Updated last year
• caterinaurban / Lyra
  ☆31Updated 3 months ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆86Updated last year
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆37Updated 3 years ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆25Updated last year
• vitsalis / PyCG
  Static Python call graph generator
  ☆360Updated 2 years ago
• aliparsai / LittleDarwin
  Java Mutation Testing Framework Written in Python
  ☆23Updated 3 months ago
• xai4se / xai4se.github.io
  Explainable AI for Software Engineering: A Hands-on Guide on How to Make Software Analytics More Practical, Explainable, and Actionable (…
  ☆26Updated 4 years ago
• SpoonLabs / npefix
  Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…
  ☆14Updated last year
• soarsmu / BugsInPy
  BugsInPy: Benchmarking Bugs in Python Projects
  ☆117Updated last week
• jodavimehran / code-tracker
  ☆22Updated last week
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year
• JetBrains-Research / python-change-miner
  A tool for mining graph-based change patterns in Python code
  ☆19Updated last year
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆83Updated 8 months ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated last year
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆128Updated 2 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆44Updated 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 3 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆206Updated 3 years ago