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
- A Tool for Mining Flaky Tests at Scale☆16Updated 6 months ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated 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 LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆42Updated this week
- Tools and standards for conducting and evaluating research in software engineering☆321Updated this week
- A free, open-source Java library for automata learning algorithms☆222Updated 2 weeks ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆27Updated 5 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆277Updated last week
- Resources on the Artifact Evaluation (AE) Process☆17Updated 5 years ago
- Bibliografie für die TeXnische Komödie von DANTE e.V.☆13Updated 2 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- An Automata Learning Library Written in Python☆206Updated 3 weeks ago
- Dynamic detection of likely invariants☆244Updated last week
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 4 years ago
- ☆36Updated 5 months ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Updated 2 months ago
- Advice for writing LaTeX documents☆1,267Updated this week
- A higher order mutation testing tool☆58Updated 5 years ago
- A regular expression to SMT-LIB constraint translator☆12Updated 6 months ago
- 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
- Dynamic analysis framework for Python☆81Updated last week
- Static Python call graph generator☆363Updated 2 years ago
- STARTS - A tool for STAtic Regression Test Selection☆31Updated last year
- Material (mostly slides) for a graduate course on (formal) software analysis.☆33Updated 6 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆72Updated 2 weeks ago
- ☆33Updated last year
- ☆38Updated 8 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated this week