FUNCTIONAL TEST-GENERATION USING BINARY DECISION DIAGRAMS

被引：1

作者：

ABADIR, MS ^{[1
]}

REGHBATI, HK ^{[1
]}

机构：

[1] SIMON FRASER UNIV,SCH COMP SCI,BURNABY V5A 1S6,BC,CANADA

来源：

COMPUTERS & MATHEMATICS WITH APPLICATIONS | 1987年 / 13卷 / 5-6期

关键词：

D O I：

10.1016/0898-1221(87)90072-1

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：413 / 430

页数：18

共 50 条

[31] A TEST-GENERATION SYSTEM USING A LOGIC SIMULATION ENGINE
TAKAYAMA, K
HIROSE, F
KAWATO, N
FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 1991, 27 (03): : 285 - 289
[32] SEMIAUTOMATIC TEST-GENERATION USING A RANDOM SIGNAL GENERATOR
ANDRJUKHIN, AI
BARASHKO, AS
CHEREVKO, NV
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1988, (01): : 93 - 94
[33] Automatic test-generation for predicates
Paradkar, A
Tai, KC
Vouk, MA
IEEE TRANSACTIONS ON RELIABILITY, 1996, 45 (04) : 515 - 530
[34] A TOOL FOR HIERARCHICAL TEST-GENERATION
KRUGER, G
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1991, 10 (04) : 519 - 524
[35] AUTOMATIC SOFTWARE TEST-GENERATION
CAMUFFO, M
MAIOCCHI, M
MORSELLI, M
INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (05) : 337 - 346
[36] A PROTOCOL TEST-GENERATION PROCEDURE
SABNANI, K
DAHBURA, A
COMPUTER NETWORKS AND ISDN SYSTEMS, 1988, 15 (04): : 285 - 297
[37] HIERARCHICAL TEST-GENERATION USING PRECOMPUTED TESTS FOR MODULES
MURRAY, BT
HAYES, JP
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1990, 9 (06) : 594 - 603
[38] Outlier detection using binary decision diagrams
Kutsuna, Takuro
Yamamoto, Akihiro
DATA MINING AND KNOWLEDGE DISCOVERY, 2017, 31 (02) : 548 - 572
[39] Terminal reliability using binary decision diagrams
Singh, H
Vaithilingam, S
Anne, RK
Anneberg, L
MICROELECTRONICS AND RELIABILITY, 1996, 36 (03): : 363 - 365
[40] Outlier detection using binary decision diagrams
Takuro Kutsuna
Akihiro Yamamoto
Data Mining and Knowledge Discovery, 2017, 31 : 548 - 572

← 1 2 3 4 5 →