Alternatives and similar repositories for se2thesis

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

• se2p / FlaPy
  A Tool for Mining Flaky Tests at Scale
  ☆16Updated 3 months ago
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆69Updated 6 months ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 6 months ago
• department-of-reuse / DoR
  The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)
  ☆17Updated 4 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆41Updated last week
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 4 years ago
• bajinsheng / bibtidy
  Search, check, and autofix your BibTex files!
  ☆25Updated 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
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• misc0110 / Paper-Linter
  A script to check for common mistakes in LaTeX source files of scientific papers.
  ☆25Updated last year
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆60Updated this week
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆31Updated 2 years ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆308Updated this week
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆63Updated 10 months ago
• dspinellis / alexandria3k
  Fast relational access to openly-available publication data sets
  ☆92Updated last month
• dante-ev / dtk-bibliography
  Bibliografie für die TeXnische Komödie von DANTE e.V.
  ☆11Updated last month
• UniCodeSphere / Creal
  ☆33Updated 6 months ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆69Updated 5 months ago
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated 11 months ago
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆11Updated 6 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆14Updated last year
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆111Updated last month
• tum-i4 / deadlines
  Deadline countdowns for academic conferences relevant to the SSE chair.
  ☆11Updated last week
• rindPHI / islearn
  ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
  ☆16Updated last year
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆18Updated last year
• sola-st / SemSeed
  ☆25Updated 3 years ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆79Updated last month