Software-Engineering Group at the University of Trier's repositories
codesparks-framework
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.
codesparks-pmd-demo
This is a demo implementation of a CodeSparks plugin for the IntelliJ IDEA.
SDRaytracer
Implementation of a very simple raytracer, used for teaching purposes in lectures of the software engineering group.
async-profiler
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
collectionSwitch
A runtime framework for efficient selection of Java collections
ComRaDe
ComRade: A Tool For Evaluating Race Detectors
concurrencytest-simple
Describes a bug in Cayenne that occurs when doing threaded stuff with a connection pool
cortex-tool
Cortex -- Production-guided Concurrency Debugging
honest-profiler
A sampling JVM profiler without the safepoint sample bias
java-fork-join-example
Java Creed - Java Fork Join Example
marytts
MARY TTS -- an open-source, multilingual text-to-speech synthesis system written in pure java
Multithreaded-Simulations
Academic assignments of the Foundations of Parallel, Concurrent, and Multithreaded Programming course
renaissance
The Renaissance Benchmark Suite
concBugsFinder
Concurrency Bugs Finder, continue to develop from findthread project
concurrency_bug_subjects
Multi-threaded Java/C/C++ subject programs
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.