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 条
  • [41] MACHINE DESCRIPTION FACILITY FOR COMPILER TESTING
    SAMET, H
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (05) : 343 - 351
  • [42] An Empirical Comparison of Compiler Testing Techniques
    Chen, Junjie
    Hu, Wenxiang
    Hao, Dan
    Xiong, Yingfei
    Zhang, Hongyu
    Zhang, Lu
    Xie, Bing
    2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2016, : 180 - 190
  • [43] Coverage Prediction for Accelerating Compiler Testing
    Chen, Junjie
    Wang, Guancheng
    Hao, Dan
    Xiong, Yingfei
    Zhang, Hongyu
    Zhang, Lu
    Xie, Bing
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2021, 47 (02) : 261 - 278
  • [44] An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique
    Tao, Qiuming
    Wu, Wei
    Zhao, Chen
    Shen, Wuwei
    17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, : 270 - 279
  • [45] Compiler-based tools for analyzing parallel programs
    Armstrong, B
    Kim, SW
    Park, I
    Voss, M
    Eigenmann, R
    PARALLEL COMPUTING, 1998, 24 (3-4) : 401 - 420
  • [46] Barrier synchronization optimizations for compiler-parallelized programs
    Zhang, Ping
    Li, Qingbao
    Zhao, Rongcai
    Pang, Jianmin
    Ma, Hongtu
    DCABES 2006 Proceedings, Vols 1 and 2, 2006, : 246 - 250
  • [47] THE DESIGN OF EXPERIMENTS USING COMPILER LANGUAGE COMPUTER PROGRAMS
    KANE, JV
    NUCLEAR INSTRUMENTS & METHODS, 1964, 31 (01): : 83 - 86
  • [48] Exploiting Global Optimizations for OpenMP Programs in the OpenUH Compiler
    Huang, Lei
    Eachempati, Deepak
    Hervey, Marcus W.
    Chapman, Barbara
    ACM SIGPLAN NOTICES, 2009, 44 (04) : 289 - 290
  • [49] The measured network traffic of compiler-parallelized programs
    Dinda, PA
    Garcia, BM
    Leung, KS
    PROCEEDINGS OF THE 2001 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, 2001, : 175 - 184
  • [50] Linking the meaning of programs to what the compiler can verify
    Boerger, Egon
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 325 - 336
12345