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 条
  • [31] Symbolic execution techniques for refinement testing
    Le Gall, Pascale
    Rapin, Nicolas
    Touil, Assia
    [J]. TESTS AND PROOFS, 2007, 4454 : 131 - +
  • [32] Strengthening invariants by symbolic consistency testing
    Abu-Haimed, H
    Berezin, S
    Dill, DL
    [J]. COMPUTER AIDED VERIFICATION, 2003, 2725 : 407 - 419
  • [33] Nonlinear and symbolic data dependence testing
    Blume, W
    Eigenmann, R
    [J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1998, 9 (12) : 1180 - 1194
  • [34] Evaluation of mixing energy in laboratory flasks used for dispersant effectiveness testing
    Kaku, VJ
    Boufadel, MC
    Venosa, AD
    [J]. JOURNAL OF ENVIRONMENTAL ENGINEERING, 2006, 132 (01) : 93 - 101
  • [35] Linking generalisability and effectiveness: Evaluation of testing accommodations for English language learners
    Solano-Flores, Guillermo
    Wang, Chao
    Khanh Nguyen-Le
    [J]. INTERNATIONAL JOURNAL OF PSYCHOLOGY, 2012, 47 : 36 - 36
  • [36] Effectiveness of nondestructive testing for the evaluation of alkali-silica reaction in concrete
    Sargolzahi, Maryam
    Kodjo, Serge A.
    Rivard, Patrice
    Rhazi, Jamal
    [J]. CONSTRUCTION AND BUILDING MATERIALS, 2010, 24 (08) : 1398 - 1403
  • [37] An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs
    Brito, Maria A. S.
    Souza, Simone R. S.
    Souza, Paulo S. L.
    [J]. 2013 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, 2013, 18 : 250 - 259
  • [38] A TESTING PROCEDURE FOR A QUANTITATIVE-EVALUATION OF THE EFFECTIVENESS OF ANTISCALE-AGENTS
    BORTEL, E
    KOCHANOWSKI, A
    KOWALSKI, A
    [J]. CHEMISCHE TECHNIK, 1993, 45 (02): : 116 - 119
  • [39] EVALUATION OF THE COST-EFFECTIVENESS OF AN AUTOMATED MULTIPHASIC HEALTH TESTING SYSTEM
    CAREL, RS
    LESHEM, G
    [J]. PREVENTIVE MEDICINE, 1980, 9 (05) : 689 - 697
  • [40] An introduction to symbolic trajectory evaluation
    Claessen, Koen
    Roorda, Jan-Willem
    [J]. FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 56 - 77
12345