PROGRAM TESTING - SPECIFICATION LANGUAGES AND AUTOMATIC TEST-GENERATION

被引：0

|

作者：

KALNINSH, AA

BORZOV, YV

机构：

来源：

CYBERNETICS | 1985年 / 21卷 / 06期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：753 / 762

页数：10

相关论文

共 50 条

[41] A FRAMEWORK AND METHOD FOR HIERARCHICAL TEST-GENERATION
CALHOUN, JD
BRGLEZ, F
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (01) : 45 - 67
[42] TEST-GENERATION FOR SEQUENTIAL-CIRCUITS
MA, HKT
DEVADAS, S
NEWTON, AR
SANGIOVANNIVINCENTELLI, A
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1988, 7 (10) : 1081 - 1093
[43] CONT - A CONCURRENT TEST-GENERATION SYSTEM
TAKAMATSU, Y
KINOSHITA, K
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1989, 8 (09) : 966 - 972
[44] Computational Complexity in Test-Generation Algorithms
Sziray, Jozsef
2014 9TH INTERNATIONAL DESIGN & TEST SYMPOSIUM (IDT), 2014, : 124 - 129
[45] TEST-GENERATION FROM LOTOS SPECIFICATIONS
TRIPATHY, P
SARIKAYA, B
IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 543 - 552
[46] SIMULATION AND TEST-GENERATION ENVIRONMENTS WORKSHOP
BOZORGUINESBAT, S
LEE, W
IEEE DESIGN & TEST OF COMPUTERS, 1985, 2 (06): : 75 - 76
[47] A TRANSITIVE CLOSURE ALGORITHM FOR TEST-GENERATION
CHAKRADHAR, ST
AGRAWAL, VD
ROTHWEILER, SG
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1993, 12 (07) : 1015 - 1028
[48] ARCHITECTURAL LEVEL TEST-GENERATION FOR MICROPROCESSORS
LEE, JS
PATEL, JH
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (10) : 1288 - 1300
[49] DIGITAL TEST-GENERATION AND DESIGN FOR TESTABILITY
GRASON, J
NAGLE, AW
JOURNAL OF DIGITAL SYSTEMS, 1981, 5 (04): : 319 - 359
[50] TEST-GENERATION THROUGH LOGIC PROGRAMMING
SVANAES, D
AAS, EJ
INTEGRATION-THE VLSI JOURNAL, 1984, 2 (01) : 49 - 67

← 1 2 3 4 5 →