Suchergebnisse - Testing and Debugging— Debugging aids General Terms Reliability

Automatic test case generation from Simulink/Stateflow models using model checking von Mohalik, Swarup, Gadkari, Ambar A., Yeolekar, Anand, Shashidhar, K.C., Ramesh, S.

“… ‐life case studies at General Motors. This paper outlines the test generation methodology of AutoMOTGen and gives a comparative study with a commercial, primarily random input …”
Volltext

Towards Better Fault Localization: A Crosstab-Based Statistical Approach von Wong, W. E., Debroy, V., Dianxiang Xu

“… It is becoming prohibitively expensive and time consuming, as well as tedious and error-prone, to perform debugging manually …”
Volltext