se2p / se2thesisLinks
A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany
☆13Updated 6 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
- Tools and standards for conducting and evaluating research in software engineering☆319Updated 4 months ago
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆42Updated last week
- A Tool for Mining Flaky Tests at Scale☆16Updated 5 months ago
- FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse s…☆95Updated last week
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated last year
- Gamification of Mutation Testing☆44Updated 2 weeks ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆67Updated this week
- Bibliografie für die TeXnische Komödie von DANTE e.V.☆13Updated last month
- Dynamic analysis framework for Python☆80Updated 6 months ago
- Unit testing for SQL queries☆25Updated last year
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆276Updated 3 weeks ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆15Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆72Updated last year
- STARTS - A tool for STAtic Regression Test Selection☆31Updated last year
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- `dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: Tens…☆25Updated 3 years ago
- RTS technique for .NET☆12Updated 4 years ago
- test driver to run JUnit tests isolated in a new JVM☆16Updated last year
- 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
- 🐧 Penguins in LaTeX with TikZ☆90Updated 3 weeks ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 4 years ago
- junit tools contest infrastructure☆13Updated last year
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Updated last month
- JavaSMT - Unified Java API for SMT solvers.☆229Updated this week
- Deadline countdowns for academic conferences relevant to the SSE chair.☆12Updated last month
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Updated 3 weeks ago
- Dynamic detection of likely invariants☆243Updated this week