共 50 条
- [1] TEST-GENERATION FOR MICROPROCESSORS [J]. IEEE TRANSACTIONS ON COMPUTERS, 1980, 29 (06) : 429 - 441
- [3] TEST-GENERATION FOR PROCESSING CONTROL [J]. AUTOMATION AND REMOTE CONTROL, 1992, 53 (10) : 1623 - 1630
- [4] ON THE ACCELERATION OF TEST-GENERATION ALGORITHMS [J]. IEEE TRANSACTIONS ON COMPUTERS, 1983, 32 (12) : 1137 - 1144
- [5] TEST-GENERATION FOR CURRENT TESTING [J]. IEEE DESIGN & TEST OF COMPUTERS, 1990, 7 (01): : 26 - 38
- [6] Automatic test-generation for predicates [J]. IEEE TRANSACTIONS ON RELIABILITY, 1996, 45 (04) : 515 - 530
- [8] AUTOMATIC SOFTWARE TEST-GENERATION [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (05) : 337 - 346
- [9] A PROTOCOL TEST-GENERATION PROCEDURE [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1988, 15 (04): : 285 - 297