共 50 条
- [31] Model-based automatic test case generation for automotive embedded software testing [J]. International Journal of Automotive Technology, 2018, 19 : 107 - 119
- [34] Automatic Generation of Monitoring Code for Model Based Analysis of Runtime Behaviour [J]. 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 660 - 665
- [35] ISTA: Automatic Test Case Generation and Optimization for Intelligent Systems based on Coverage Analysis [J]. 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING, SANER, 2023, : 758 - 762
- [37] A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL [J]. 2012 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC), 2012, : 61 - 69
- [38] Model-based automatic test generation for event-driven embedded systems using model checkers [J]. DEPCOS-RELCOMEX 2006, 2006, : 191 - +
- [39] Automatic business process model deep generation based on ordered neurons long short term memory [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2022, 28 (10): : 3225 - 3237