Alternatives and similar repositories for se2thesis

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

• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• se2p / FlaPy
  A Tool for Mining Flaky Tests at Scale
  ☆16Updated 6 months ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆320Updated last week
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆33Updated 6 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆64Updated 4 years ago
• fandango-fuzzer / fandango
  FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse s…
  ☆97Updated last week
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆42Updated 3 weeks ago
• blingenf / copydetect
  Code plagiarism detection tool
  ☆318Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated 2 weeks ago
• department-of-reuse / DoR
  The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)
  ☆17Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆81Updated this week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆230Updated this week
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆33Updated last week
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 7 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆119Updated 3 months ago
• 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…
  ☆33Updated 3 years ago
• hub-se / BeDivFuzz
  ☆17Updated 6 months ago
• cuhk-s3 / Creal
  ☆36Updated 5 months ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆71Updated this week
• dante-ev / dtk-bibliography
  Bibliografie für die TeXnische Komödie von DANTE e.V.
  ☆13Updated 2 months ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆25Updated last year
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆24Updated 4 years ago
• Witiko / expltools
  Development tools for expl3 programmers
  ☆18Updated last week
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆86Updated last year
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆31Updated 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
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆27Updated 5 years ago