Software-Engineering Group at the University of Trier

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.

async-profiler

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

calfuzzer

chapters

Perspectives on Data Science for Software Engineering

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

FixExamples

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-bugs

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.

SDRaytracer

Implementation of a very simple raytracer, used for teaching purposes in lectures of the software engineering group.

symbiosis

Symbiosis - Concurrency Debugging via Differential Schedule Projections

tandem