共 50 条
- [11] On the Use of Test Cases in Model-Based Software Product Line Development 18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1, 2014, : 247 - 251
- [12] FormTester: Effective Integration of Model-Based and Manually Specified Test Cases 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 745 - 748
- [13] On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-based Testing 2013 27TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2013), 2013, : 119 - 128
- [14] Building enterprise reuse program - A model-based approach SCIENCE IN CHINA SERIES F, 2002, 45 (03): : 161 - 173
- [15] Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 879 - 882
- [16] A model-based testing framework with reduced set of test cases for programmable controllers 2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 944 - 949
- [18] CFAULTS: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases FORMAL METHODS, PT I, FM 2024, 2025, 14933 : 463 - 481