SYMBOLIC TESTING AND DISSECT SYMBOLIC EVALUATION SYSTEM

被引：94
|
作者：
HOWDEN, WE [1 ]
机构：
[1] UNIV CALIF SAN DIEGO,LA JOLLA,CA 92037
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1977年 / 3卷 / 04期
关键词：
D O I：
10.1109/TSE.1977.231144
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：266 / 278
页数：13
相关论文
共 50 条
  • [1] DISSECT - SYMBOLIC EVALUATION AND PROGRAM TESTING SYSTEM
    HOWDEN, WE
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (01) : 70 - 73
  • [2] EVALUATION OF EFFECTIVENESS OF SYMBOLIC TESTING
    HOWDEN, WE
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1978, 8 (04): : 381 - 397
  • [3] Symbolic Execution Enhanced System Testing
    Davies, Misty
    Pasareanu, Corina S.
    Raman, Vishwanath
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 294 - +
  • [4] AN EXPERIMENTAL EVALUATION OF A SYMBOLIC EXECUTION SYSTEM
    GIRGIS, MR
    [J]. SOFTWARE ENGINEERING JOURNAL, 1992, 7 (04): : 285 - 290
  • [5] SYMBOLIC EVALUATION WITH STRUCTURAL RECURSIVE SYMBOLIC CONSTANTS
    GIANNOTTI, F
    MATTEUCCI, A
    PEDRESCHI, D
    TURINI, F
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1987, 9 (02) : 161 - 177
  • [6] SYMBOLIC EXECUTION AND TESTING
    COWARD, PD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 53 - 64
  • [7] SYMBOLIC EXECUTION AND PROGRAM TESTING
    KING, JC
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (07) : 385 - 394
  • [8] LINDENMAYER GRAMMARS AND SYMBOLIC TESTING
    HOWDEN, WE
    [J]. INFORMATION PROCESSING LETTERS, 1978, 7 (01) : 36 - 39
  • [9] Symbolic Testing for C and Rust
    Tomb, Aaron
    Pernsteiner, Stuart
    Dodds, Mike
    [J]. 2020 IEEE SECURE DEVELOPMENT (SECDEV 2020), 2020, : 33 - 33
  • [10] Symbolic functional evaluation
    Day, NA
    Joyce, JY
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 1999, 1690 : 341 - 358
12345