TSE Paper Resources:

—> Public Domain Models: Cruise Controller model and Modified version of Clutch Lockup Controller (CLC) model

—> Fault Patterns: List of Simulink faults used in our experiments

—> ResultFiles: Data Files of Experiments 1 to 3, including the FR, Oracle and NTE values (in JMP format)

—> SignalFeatures & Functions: Signal feature classification and the corresponding feature functions

—> SimCoTest-TestPlan: List of test cases executed on SimCoTest

—> SimCoTestSource: Source code of the SimCoTest tool, including all the Matlab Scripts called by the tool

—> SLDV-Reactis-TestGenerationReport: Our experience report on test generation with SLDV and Reactis to violate the asserted Stability behavior