Accelerated robustness testing of state-based components using reverse execution.

Patrick Heckeler, Bastian Schlich, Thomas Kropf

Browse the full SAC paper archive.