共 50 条
- [41] Model-based test case automatic generation of CTCS-3 train control system Xinan Jiaotong Daxue Xuebao, 5 (917-927):
- [42] AUTOMATIC GENERATION OF GLOBAL AGENT-BASED MODEL OF MIGRATORY WATERFOWL FOR EPIDEMIOLOGICAL ANALYSIS EUROPEAN SIMULATION AND MODELLING CONFERENCE 2013, 2013, : 21 - +
- [43] Towards an Automatic Test Generation Method for Systems of Systems Based on Fault Injection and Model-Based Systems Engineering APPLIED SCIENCES-BASEL, 2022, 12 (22):
- [45] Prototype of Test Cases Automatic Generation Tool BWDM Based on Boundary Value Analysis with VDM plus ICAROB 2017: PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS, 2017, : P275 - P278
- [46] A Simulation-Based Learning Method for Automatic Dynamic Event Tree Model Generation and Analysis 2022 4TH INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY ENGINEERING, SRSE, 2022, : 122 - 127
- [47] Model-Based Test Suite Generation Using Mutation Analysis for Fault Localization APPLIED SCIENCES-BASEL, 2019, 9 (17):
- [48] Mutation Model-Based Test Case Generation of Chinese Train Control System with Automatic Train Operation Function 2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
- [49] Singularity: A methodology for automatic unit test data generation for C plus plus applications based on Model Checking counterexamples SAST 2019: PROCEEDINGS OF THE IV BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING, 2019, : 72 - 79
- [50] A Framework of Automatic Ontology Construction based on Scene Graph Generation Model for Analysis of Story Video Contents Trans. Korean Inst. Electr. Eng., 2022, 9 (1286-1292): : 1286 - 1292