Search Results - Testing and Debugging— Debugging aids General Terms Reliability

Automatic test case generation from Simulink/Stateflow models using model checking by 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…”
Get full text

Towards Better Fault Localization: A Crosstab-Based Statistical Approach by 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…”
Get full text