Software-Engineering Group at the University of Trier
- 1 follower
- Trier, Germany
- https://www.st.uni-trier.de
- diehl@uni-trier.de
Popular repositories
-
codesparks-pmd-demo
codesparks-pmd-demo PublicThis is a demo implementation of a CodeSparks plugin for the IntelliJ IDEA.
Java 2
-
codesparks-framework
codesparks-framework PublicThe CodeSparks framework aims to facilitate the integration of software analysis tools into the IDE such that their results are shown as glyph-based visualizations in the source code.
Java 2
-
SDRaytracer
SDRaytracer PublicImplementation of a very simple raytracer, used for teaching purposes in lectures of the software engineering group.
Java 19
-
chapters
chapters PublicForked from ds4se/chapters
Perspectives on Data Science for Software Engineering
Makefile
-
concurrency_bug_subjects
concurrency_bug_subjects PublicForked from tomowind/concurrency_bug_subjects
Multi-threaded Java/C/C++ subject programs
Java
-
concBugsFinder
concBugsFinder PublicForked from vongosling/concBugsFinder
Concurrency Bugs Finder, continue to develop from findthread project
Java
Repositories
- codesparks-pmd-demo Public
This is a demo implementation of a CodeSparks plugin for the IntelliJ IDEA.
- codesparks-framework Public
The CodeSparks framework aims to facilitate the integration of software analysis tools into the IDE such that their results are shown as glyph-based visualizations in the source code.
- marytts Public Forked from marytts/marytts
MARY TTS -- an open-source, multilingual text-to-speech synthesis system written in pure java
-
- async-profiler Public Forked from async-profiler/async-profiler
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
- jpf-core Public Forked from javapathfinder/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
-
- honest-profiler Public Forked from jvm-profiling-tools/honest-profiler
A sampling JVM profiler without the safepoint sample bias
- java-fork-join-example Public Forked from albertattard/java-fork-join-example
Java Creed - Java Fork Join Example
-
