se2p / se2thesisLinks
A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany
☆13Updated 3 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
- A Tool for Mining Flaky Tests at Scale☆16Updated last month
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated 10 months ago
- Bibliografie für die TeXnische Komödie von DANTE e.V.☆13Updated 3 weeks ago
- 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
- junit tools contest infrastructure☆13Updated last year
- The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)☆17Updated 9 months ago
- FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse s…☆78Updated this week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- Dynamic analysis framework for Python☆76Updated 2 months ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆11Updated 3 weeks ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆63Updated this week
- Project page for "The Debugging Book"☆248Updated this week
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆63Updated 3 years ago
- JavaSMT - Unified Java API for SMT solvers.☆228Updated this week
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆25Updated this week
- ☆34Updated last month
- Tools and standards for conducting and evaluating research in software engineering☆312Updated 2 weeks ago
- eXercise Sheets IMproved☆76Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆269Updated last week
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- 🐧 Penguins in LaTeX with TikZ☆82Updated 3 weeks ago
- ☆13Updated 3 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆33Updated last week
- An Automata Learning Library Written in Python☆192Updated this week
- ☆388Updated 2 years ago
- Static Python call graph generator☆352Updated last year