共 50 条
- [31] Automatic test set generation for function block based systems using model checking 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2014, : 216 - 225
- [34] Automatic Generation of Monitoring Code for Model Based Analysis of Runtime Behaviour 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 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 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 DEPCOS-RELCOMEX 2006, 2006, : 191 - +
- [39] Automatic business process model deep generation based on ordered neurons long short term memory Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2022, 28 (10): : 3225 - 3237