BinaryRTS is a research tool for regression test selection of C++ binaries based on dynamic binary instrumentation

Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot

Learning from what we know: How to perform vulnerability prediction using noisy historical data, Empirical Software Engineering (EMSE)

DIRTS: Dependency Injection Aware Regression Test Selection

The Citation File Format lets you provide citation metadata for software or datasets in plaintext files that are easy to read by both humans and machines.

Command line program to validate and convert CITATION.cff files.

Maat is a framework that mines VirusTotal scan reports to extract various information about the correctness, completeness, and consistency of scanners. It can also be used to train threshold-based …

web-based thesaurus search and management

Exercises for the Cognitive Systems lecture at KIT

LanguageTool (https://languagetool.org/) is a nice tool to check your text for typos and grammar errors. One main advantage above Grammarly is that LanguageTool also supports German and you can set…

Script to check local folders for GDPR-relevant information in the TUM context

Major CS conference publication stats (including accepted and submitted) by year.

LTeX Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others

Enabling Efficient Assertion Inference, 34th IEEE International Symposium on Software Reliability Engineering (ISSRE 2023)

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.