TESTING PROGRAMS WITH AID OF A COMPILER

被引：288
|
作者：
HAMLET, RG [1 ]
机构：
[1] UNIV MARYLAND,COLLEGE PK,MD 20742
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1977年 / 3卷 / 04期
关键词：
D O I：
10.1109/TSE.1977.231145
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：279 / 290
页数：12
相关论文
共 50 条
  • [31] LIBRARIES AS PROGRAMS PRESERVED WITHIN COMPILER CONTINUATIONS
    WELLS, MB
    SILVER, R
    SIGPLAN NOTICES, 1985, 20 (07): : 83 - 92
  • [32] A Verified Compiler for Synchronous Programs with Local Declarations
    Schneider, Klaus
    Brandt, Jens
    Schuele, Tobias
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 153 (04) : 71 - 97
  • [33] AN HETEROGENEOUS COMPILER OF DATAFLOW PROGRAMS FOR ZYNQ PLATFORMS
    Bezati, Endri
    Casale-Brunet, Simone
    Mosqueron, Romuald
    Mattavelli, Marco
    2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2019, : 1537 - 1541
  • [34] Compiler Testing with Relaxed Memory Models
    Geeson, Luke
    Smith, Lee
    2024 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, CGO, 2024, : 334 - 348
  • [35] Using ASM specifications for compiler testing
    Kalinov, A
    Kossatchev, A
    Petrenko, A
    Posypkin, M
    Shishkov, V
    ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS, 2003, 2589 : 415 - 415
  • [36] TESTING C-COMPILER PERFORMANCE
    BETZ, D
    DR DOBBS JOURNAL, 1991, 16 (08): : 80 - &
  • [37] Shaping aid programs
    Anon
    Chronicle of Higher Education, 2002, 48 (23)
  • [38] Compiler testing: a systematic literature analysis
    Yixuan Tang
    Zhilei Ren
    Weiqiang Kong
    He Jiang
    Frontiers of Computer Science, 2020, 14 : 1 - 20
  • [39] COMPILER TESTING USING A SENTENCE GENERATOR
    CELENTANO, A
    CRESPIREGHIZZI, S
    DELLAVIGNA, P
    GHEZZI, C
    GRANATA, G
    SAVORETTI, F
    SOFTWARE-PRACTICE & EXPERIENCE, 1980, 10 (11): : 897 - 918
  • [40] Compiler testing: a systematic literature analysis
    Tang, Yixuan
    Ren, Zhilei
    Kong, Weiqiang
    Jiang, He
    FRONTIERS OF COMPUTER SCIENCE, 2020, 14 (01) : 1 - 20
12345