Pinned Repositories
ARES
AuDoscore
AuDoscore is an extension of JUnit that is used to evaluate Java programming exercises.
bitdep
Repository for the research paper "Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible"
sesame
Repository accompanying the paper "SeSaMe: A Data Set of Semantically Similar Java Methods"
StarSmith
This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Programs" published at ICST'20.
FAU-University-Press-LaTeX-Formatvorlage
Die LaTex-Vorlage des Verlags FAU University Press (https://www.university-press.fau.de/) dient der leichteren Formatierung aller Einzeltitel und Bände der Buchreihen. Einzige Ausnahme ist die Reihe „FAU Studien aus dem Maschinenbau“, für diese existiert eine eigene Mustervorlage: https://github.com/UBEN-Webteam/FAU-Studien-aus-dem-Maschinenbau-LaTeX-Formatvorlage. Bitte beachten Sie auch alle weiteren Informationen unter https://www.university-press.fau.de/publizieren/informationen-und-downloads-fuer-autoren.shtml.
libcdio-paranoia
CD paranoia on top of libcdio
StarSmith
This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Programs" published at ICST'20.
libcdio-paranoia
CD paranoia on top of libcdio
FAU-University-Press-LaTeX-Formatvorlage
Die LaTex-Vorlage des Verlags FAU University Press (https://www.university-press.fau.de/) dient der leichteren Formatierung aller Einzeltitel und Bände der Buchreihen. Einzige Ausnahme ist die Reihe „FAU Studien aus dem Maschinenbau“, für diese existiert eine eigene Mustervorlage: https://github.com/UBEN-Webteam/FAU-Studien-aus-dem-Maschinenbau-LaTeX-Formatvorlage. Bitte beachten Sie auch alle weiteren Informationen unter https://www.university-press.fau.de/publizieren/informationen-und-downloads-fuer-autoren.shtml.
mskamp's Repositories
mskamp/FAU-University-Press-LaTeX-Formatvorlage
Die LaTex-Vorlage des Verlags FAU University Press (https://www.university-press.fau.de/) dient der leichteren Formatierung aller Einzeltitel und Bände der Buchreihen. Einzige Ausnahme ist die Reihe „FAU Studien aus dem Maschinenbau“, für diese existiert eine eigene Mustervorlage: https://github.com/UBEN-Webteam/FAU-Studien-aus-dem-Maschinenbau-LaTeX-Formatvorlage. Bitte beachten Sie auch alle weiteren Informationen unter https://www.university-press.fau.de/publizieren/informationen-und-downloads-fuer-autoren.shtml.
mskamp/libcdio-paranoia
CD paranoia on top of libcdio
mskamp/StarSmith
This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Programs" published at ICST'20.
mskamp/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.