se2p / se2thesisLinks
A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany
☆13Updated 7 months ago
Alternatives and similar repositories for se2thesis
Users that are interested in se2thesis are comparing it to the libraries listed below
Sorting:
- Open science policies for SIGSOFT venues☆13Updated last year
- FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse s…☆102Updated this week
- A Tool for Mining Flaky Tests at Scale☆16Updated 6 months ago
- Tools and standards for conducting and evaluating research in software engineering☆321Updated this week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆33Updated 6 years ago
- The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)☆17Updated last year
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆42Updated this week
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated last year
- Deadline countdowns for academic conferences relevant to the SSE chair.☆12Updated 2 weeks ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 4 years ago
- Dynamic analysis framework for Python☆81Updated last week
- Dynamic detection of likely invariants☆244Updated last week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆72Updated 2 weeks ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆61Updated 2 months ago
- Deadline countdowns for academic conferences in Software Engineering☆71Updated last week
- ☆38Updated 8 months ago
- junit tools contest infrastructure☆13Updated 2 years ago
- srcML Toolkit☆150Updated this week
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆75Updated last year
- SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.☆23Updated last year
- A tool of collecting patch-related commits and parsing patches.☆13Updated 7 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Resources on the Artifact Evaluation (AE) Process☆17Updated 5 years ago
- Gamification of Mutation Testing☆44Updated 3 weeks ago
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆43Updated last year
- Project page for "The Debugging Book"☆270Updated 3 months ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- A script to check for common mistakes in LaTeX source files of scientific papers.☆34Updated 5 months ago
- Lightweight tool for slicing☆35Updated this week
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆86Updated last year