共 50 条
- [21] A Compact Set of Seeds for LFSR-Based Test Generation from a Fully-Specified Compact Test Set 2016 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2016, : 361 - 366
- [22] Multiple test set generation method for LFSR-Based BIST ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2003, : 863 - 868
- [23] Test Generation by Constraint Solving and FSM Mutant Killing TESTING SOFTWARE AND SYSTEMS, ICTSS 2016, 2016, 9976 : 36 - 51
- [24] Automated test set generation for statecharts APPLIED FORMAL METHODS - FM-TRENDS 98, 1999, 1641 : 107 - 121
- [26] Constraint-Based Automated Generation of Test Data SOFTWARE QUALITY: MODEL-BASED APPROACHES FOR ADVANCED SOFTWARE AND SYSTEMS ENGINEERING, 2014, 166 : 199 - 213
- [28] Test data generation based on automatic division of path Liao, Wei-Zhi (weizhiliao2002@aliyun.com), 1600, Chinese Institute of Electronics (44): : 2254 - 2261
- [29] Forward Slicing Algorithm based Test Data Generation PROCEEDINGS OF 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (ICCSIT 2010), VOL 8, 2010, : 270 - 274