Test und Fehlersuche in komplexen Autonomen Systemen. - Thomas Preußer; Albert Schulz; Alexander Weiss; Martin Heininger; Martin Leucker; Malte Schmitz 001; Torben Scheffel; Daniel Thoma (Echtzeit, 2019)

Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper). - Alexander Weiss; Albert Schulz; Martin Heininger; Martin Sachenbacher; Martin Leucker (DX, 2024)