Alternatives and similar repositories for SBSEcourse:

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

• gintool / gin
  GI in No Time - a Simple Microframework for Genetic Improvement
  ☆43Updated last month
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 3 years ago
• yyxhdy / arja
  Multi-Objective GP for Automated Repair of Java
  ☆44Updated 2 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
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆41Updated last week
• kanonizo / kanonizo
  Automated Tool for Prioritizing JUnit Test Suites
  ☆11Updated 2 years ago
• caterinaurban / Libra
  ☆23Updated 3 years ago
• moji1 / tp_rl
  ☆11Updated 3 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆22Updated 2 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆77Updated 4 months ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆39Updated 11 months ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• Ahmadreza-SY / TCP-CI
  Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts
  ☆16Updated 2 years ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆69Updated last year
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆28Updated 9 months ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• timm / sbse14
  search-based software engineering
  ☆16Updated 10 years ago
• caterinaurban / Lyra
  ☆30Updated 5 months ago
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆13Updated 4 months ago
• bvasiles / empirical-methods
  Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University
  ☆125Updated 10 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 6 months ago
• TestRoots / travistorrent-tools
  Tools used to create the data on TravisTorrent (http://travistorrent.testroots.org).
  ☆43Updated 2 years ago
• program-repair / defects4j-dissection
  Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset
  ☆60Updated last year
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• icse18-FAST / FAST
  "FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.
  ☆13Updated 6 years ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆32Updated this week
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆19Updated last year
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆59Updated 3 years ago
• randriu / synthesis
  ☆22Updated this week