共 50 条
- [21] Automatic Generation of DO-178 Test Procedures NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 399 - 415
- [23] Test data generation based on automatic division of path Liao, Wei-Zhi (weizhiliao2002@aliyun.com), 1600, Chinese Institute of Electronics (44): : 2254 - 2261
- [25] An approach of test case design and its application in software automatic testing teaching ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, PROCEEDINGS, 2007, : 1234 - 1238
- [26] A Novel Approach For Combinatorial Test Case Generation Using Multi Objective Optimization PROCEEDINGS OF THE 2017 7TH INTERNATIONAL CONFERENCE ON COMPUTER AND KNOWLEDGE ENGINEERING (ICCKE), 2017, : 411 - 418
- [27] Deriving Combinatorial Test Design Model from UML Activity Diagram IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 331 - 337
- [29] Automatic test generation using checkpoint encoding and antirandom testing EIGHTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 1997, : 84 - 95