Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper).

Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, Martin Leucker

Browse the full DX paper archive.