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
  ☆61Updated 3 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆69Updated 5 months ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated 2 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 6 months ago
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆78Updated 8 months ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆33Updated 2 years ago
• squaresLab / SOAR
  Synthesis API Refactor
  ☆11Updated 2 years ago
• 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
• awsm-research / PyExplainer
  PyExplainer: A Local Rule-Based Model-Agnostic Technique (Explainable AI)
  ☆30Updated 10 months ago
• UCL-CREST / Siamese
  Siamese: a scalable code clone search engine
  ☆35Updated 9 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 6 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 (…
  ☆25Updated 3 years ago
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆36Updated 2 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆210Updated last month
• soarsmu / BugsInPy
  BugsInPy: Benchmarking Bugs in Python Projects
  ☆96Updated 9 months ago
• hchasestevens / fault-localization
  A fault localization tool for Python's pytest testing framework
  ☆25Updated 5 years ago
• ASSERT-KTH / assert-gold-mine
  This is an informal repo for ASSERT teammates to share awesome stuff.
  ☆21Updated last week
• Spirals-Team / IntroClassJava
  A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass
  ☆14Updated 3 years ago
• TestRoots / travistorrent-tools
  Tools used to create the data on TravisTorrent (http://travistorrent.testroots.org).
  ☆43Updated 2 years ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆11Updated last year
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆34Updated last year
• coinse / pyggi
  Python General Framework for Genetic Improvement [Version 2]
  ☆29Updated last year
• jodavimehran / code-tracker
  ☆20Updated 3 months ago
• atom-sw / fauxpy
  An automated fault localization tool for Python programs.
  ☆24Updated 3 weeks ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 9 months ago
• TruX-DTF / AVATAR
  AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
  ☆27Updated 4 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆40Updated last year