EVALUATION OF EFFECTIVENESS OF SYMBOLIC TESTING

被引：26
|
作者：
HOWDEN, WE
机构：
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1978年 / 8卷 / 04期
关键词：
D O I：
10.1002/spe.4380080402
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：381 / 397
页数：17
相关论文
共 50 条
  • [1] SYMBOLIC TESTING AND DISSECT SYMBOLIC EVALUATION SYSTEM
    HOWDEN, WE
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (04) : 266 - 278
  • [2] DISSECT - SYMBOLIC EVALUATION AND PROGRAM TESTING SYSTEM
    HOWDEN, WE
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (01) : 70 - 73
  • [3] EVALUATION OF THE TESTING PROCEDURE FOR THE EFFECTIVENESS OF DENTURE ADHESIVES
    MEHRA, R
    APPELBAUM, E
    DICKINSON, FS
    [J]. JOURNAL OF DENTAL RESEARCH, 1987, 66 : 260 - 260
  • [4] Test Image Generation using Segmental Symbolic Evaluation for Unit Testing
    Jameel, Tahir
    Lin, Mengxiang
    Li, He
    Hou, Xiaomei
    [J]. 2014 15TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2014, : 275 - 280
  • [5] SYMBOLIC EXECUTION AND TESTING
    COWARD, PD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 53 - 64
  • [6] BODY AND ANTHROPOLOGY, SYMBOLIC EFFECTIVENESS
    LEBRETON, D
    [J]. DIOGENES, 1991, (153) : 85 - 100
  • [7] Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
    Bishop, S
    Fairbairn, M
    Norrish, M
    Sewell, P
    Smith, M
    Wansbrough, K
    [J]. ACM SIGPLAN NOTICES, 2006, 41 (01) : 55 - 66
  • [8] Development of a testing protocol for oil solidifier effectiveness evaluation
    Sundaravadivelu, Devi
    Suidan, Makram T.
    Venosa, Albert D.
    Rosales, Pablo I.
    Campo-Moreno, Pablo
    Conmy, Robyn N.
    [J]. CLEAN TECHNOLOGIES AND ENVIRONMENTAL POLICY, 2016, 18 (04) : 1141 - 1150
  • [9] Development of a testing protocol for oil solidifier effectiveness evaluation
    Devi Sundaravadivelu
    Makram T. Suidan
    Albert D. Venosa
    Pablo I. Rosales
    Pablo Campo-Moreno
    Robyn N. Conmy
    [J]. Clean Technologies and Environmental Policy, 2016, 18 : 1141 - 1150
  • [10] SYMBOLIC EXECUTION AND PROGRAM TESTING
    KING, JC
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (07) : 385 - 394
12345