stephanlukasczyk
Informatikkaufmann (IHK); M.Sc. Comp Sci; Research Assistant & PhD Student at University of Passau
University of Passau, @se2p Passau, Germany
Pinned Repositories
pynguin
The PYthoN General UnIt Test geNerator is a test-generation tool for Python
se2thesis
A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany
ba-thesis-benchmarks
Benchmark files for by Bachelor thesis, additional to the SV-COMP benchmarks
beamer-uni-passau
Inofficial Universität Passau LaTeX Beamer Theme
BugsInPy
BugsInPy: Benchmarking Bugs in Python Projects
deeplearning
ART.T458: "Machine Learning" in Tokyo Institute of Technology
dotfiles
Personal configuration files
inconsolata-nerd-font
Convenience LaTeX package to use the Inconsolata Nerd Font with XeTeX or LuaTeX
latex-thesis-template
A thesis template based on ideas from the classicthesis template
vim-syntax-specautomata
A Vim Syntax Highlighting Plugin for CPAchecker's Specification Automata
stephanlukasczyk's Repositories
stephanlukasczyk/latex-thesis-template
A thesis template based on ideas from the classicthesis template
stephanlukasczyk/inconsolata-nerd-font
Convenience LaTeX package to use the Inconsolata Nerd Font with XeTeX or LuaTeX
stephanlukasczyk/vim-syntax-specautomata
A Vim Syntax Highlighting Plugin for CPAchecker's Specification Automata
stephanlukasczyk/ba-thesis-benchmarks
Benchmark files for by Bachelor thesis, additional to the SV-COMP benchmarks
stephanlukasczyk/beamer-uni-passau
Inofficial Universität Passau LaTeX Beamer Theme
stephanlukasczyk/BugsInPy
BugsInPy: Benchmarking Bugs in Python Projects
stephanlukasczyk/deeplearning
ART.T458: "Machine Learning" in Tokyo Institute of Technology
stephanlukasczyk/dotfiles
Personal configuration files
stephanlukasczyk/evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
stephanlukasczyk/help.jabref.org
Help of JabRef
stephanlukasczyk/jabref
Graphical Java application for managing BibTeX and biblatex (.bib) databases
stephanlukasczyk/junit5-gradle-jacoco-test
A small Java dummy project to keep everything together needed for JUnit 5, Gradle, Jacoco, and JDK 10.
stephanlukasczyk/LaTeX
Some personal LaTeX style files
stephanlukasczyk/latex3
The expl3 (LaTeX3) Development Repository
stephanlukasczyk/Launch.nvim
🚀 Launch.nvim is modular starter for Neovim.
stephanlukasczyk/mutpy
MutPy is a mutation testing tool for Python 3.x source code
stephanlukasczyk/nvim-config
My Lua NeoVIM configuration
stephanlukasczyk/PyExZ3
Python Exploration with Z3
stephanlukasczyk/pynguin
The PYthoN General UnIt Test geNerator is a test-generation tool for Python
stephanlukasczyk/python-test-driven-development-example
A small example to illustrate the Test-Driven Development process in Python
stephanlukasczyk/stephanlukasczyk
stephanlukasczyk/TestSmellDetector
Tool to detect test smells in Java (primarily Android) projects that utilize JUnit as the testing framework
stephanlukasczyk/TestSpark
TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in the IDE. Started by SERG TU Delft. Currently under implementation by JetBrains Research (Software Testing Research) for research purposes.