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 4 months ago
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆318Updated 3 months ago
• fandango-fuzzer / fandango
  FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse s…
  ☆93Updated last week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated last year
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 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)
  ☆42Updated last 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…
  ☆33Updated 3 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆80Updated 5 months ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆66Updated this week
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆65Updated 4 years 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…
  ☆75Updated last year
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆33Updated last week
• SeUniVr / RestTestGen
  A framework for automated black-box testing of RESTful APIs.
  ☆62Updated 3 weeks ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated this week
• department-of-reuse / DoR
  The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)
  ☆17Updated 11 months ago
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 5 years ago
• bvasiles / empirical-methods
  Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University
  ☆140Updated last year
• andreas-bauer / rejoinderoo
  Rejoinderoo creates a rejoinder (response to reviewers) LaTeX document based on a spreadsheet file.
  ☆24Updated last week
• cuhk-s3 / Creal
  ☆36Updated 3 months ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated last month
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆86Updated last year
• tum-i4 / deadlines
  Deadline countdowns for academic conferences relevant to the SSE chair.
  ☆11Updated 3 weeks ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆13Updated last year
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆236Updated this week
• STAMP-project / test-runner
  test driver to run JUnit tests isolated in a new JVM
  ☆16Updated last year
• srcML / srcML
  srcML Toolkit
  ☆150Updated this week
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆240Updated this week