TEST GENERATION USING EQUIVALENT NORMAL FORMS.

被引：0

作者：

Hayes, John P.

机构：

来源：

Journal of Design Automation & Fault-Tolerant Computing | 1600年 / 3卷 / 3-4期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

LOGIC CIRCUITS

引用

页码：131 / 154

共 50 条

[1] GENERATION OF COMPLETE DIAGNOSTIC TESTS FOR COMBINATION DEVICES BY THE METHOD OF MAXIMUM COVERING OF EQUIVALENT FORMS.
Abraitis, L.B.
Sheinauskas, R.I.
Targamadze, A.E.
Automatic Control and Computer Sciences, 1980, 14 (06) : 35 - 39
[2] STRIPPING FREEWAY OVERPASS FORMS.
Anon
Western Construction, 1974, 49 (03): : 30 - 31
[3] Constructing Dataset of Functionally Equivalent Java Methods Using Automated Test Generation Techniques
Higo, Yoshiki
SSRN, 2023,
[4] TURBULENCE STIMULATION AND THE INITIAL BOUNDARY-LAYER DEVELOPMENT ON TWO SHIP FORMS.
SMITS, A.J.
1982, V 26 (N 3): : 166 - 175
[5] INDUCED DRAG IDEAL EFFICIENCY FACTOR OF ARBITRARY LATERAL-VERTICAL WING FORMS.
DeYoung, John
NASA Contractor Reports, 1980, (3357):
[6] Improving algorithm for test pattern generation using satisfiability
Zeng, Chengbi
Chen, Guangju
Chengdu Kejidaxue Xuebao/Journal of Chengdu University of Science and Technology, 2000, 32 (03): : 54 - 57
[7] Automatic software test case generation
Department of Computer Engineering, Alzahra University of Tehran, Vanak St., Tehran, Iran
不详
J. Softw. Eng., 3 (91-101):
[8] FLAT SLAB ANALYSIS USING EQUIVALENT BEAMS
ELIAS, ZM
GEORGIADIS, C
JOURNAL OF THE AMERICAN CONCRETE INSTITUTE, 1979, 76 (10): : 1063 - 1078
[9] FUNCTIONAL BANDPASS FILTER USING EQUIVALENT GYRATOR
MIURA, M
YONEDA, S
KASAI, T
ELECTRONICS & COMMUNICATIONS IN JAPAN, 1978, 61 (07): : 79 - 86
[10] Dynamic test input generation for web applications
Wassermann, Gary
Yu, Dachuan
Chander, Ajay
Dhurjati, Dinakar
Inamura, Hiroshi
Su, Zhendong
ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008, 2008, : 249 - 259

← 1 2 3 4 5 →