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 条
  • [11] Basic compiler algorithms for parallel programs
    Lee, Jaejin
    Padua, David A.
    Midkiff, Samuel P.
    Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, 1999, : 1 - 12
  • [12] ANALYSIS OF PASCAL PROGRAMS IN COMPILER WRITING
    SHIMASAKI, M
    FUKAYA, S
    IKEDA, K
    KIYONO, T
    SOFTWARE-PRACTICE & EXPERIENCE, 1980, 10 (02): : 149 - 157
  • [13] Basic compiler algorithms for parallel programs
    Lee, J
    Padua, DA
    Midkiff, SP
    ACM SIGPLAN NOTICES, 1999, 34 (08) : 1 - 12
  • [14] AID PROGRAMS
    TAYLER, C
    NEW SOCIETY, 1986, 76 (1220): : 29 - 29
  • [15] IMPROVEMENT OF GARBAGE COLLECTION BY AID OF COMPILER.
    Ono, Kiyoshi
    Suzuki, Masayuki
    Goto, Eiichi
    Journal of Information Processing, 1981, 4 (01) : 26 - 34
  • [16] Learning to Accelerate Compiler Testing
    Chen, Junjie
    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 472 - 475
  • [17] Survey of compiler testing methods
    Kossatchev, AS
    Posypkin, MA
    PROGRAMMING AND COMPUTER SOFTWARE, 2005, 31 (01) : 10 - 19
  • [18] Survey of compiler testing methods
    Kossatchev A.S.
    Posypkin M.A.
    Programming and Computer Software, 2005, 31 (1) : 10 - 19
  • [19] AN AUTOMATIC GENERATOR FOR COMPILER TESTING
    BAZZICHI, F
    SPADAFORA, I
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (04) : 343 - 353
  • [20] Testing a Formally Verified Compiler
    Monniaux, David
    Gourdin, Leo
    Boulme, Sylvain
    Lebeltel, Olivier
    TESTS AND PROOFS, TAP 2023, 2023, 14066 : 40 - 48
12345