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 条
  • [1] Learning to Prioritize Test Programs for Compiler Testing
    Chen, Junjie
    Bai, Yanwei
    Hao, Dan
    Xiong, Yingfei
    Zhang, Hongyu
    Xie, Bing
    2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2017, : 700 - 711
  • [2] Compiler Testing using Template Java']Java Programs
    Zang, Zhiqiang
    Wiatrek, Nathan
    Gligoric, Milos
    Shi, August
    PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
  • [3] Boosting Compiler Testing via Eliminating Test Programs with Long -Execution -Time
    Wu, Jiangchang
    Yang, Yibiao
    Zhou, Yuming
    2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING, SANER, 2023, : 593 - 603
  • [4] A COMPARISON OF SOME COMPILER PROGRAMS
    HIRSCHMANN, W
    COMMUNICATIONS OF THE ACM, 1960, 3 (07) : 400 - 400
  • [5] Compiler Optimizations for Parallel Programs
    Doerfert, Johannes
    Finkel, Hal
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING (LCPC 2018), 2019, 11882 : 112 - 119
  • [6] A Survey of Compiler Testing
    Chen, Junjie
    Patra, Jibesh
    Pradel, Michael
    Xiong, Yingfei
    Zhang, Hongyu
    Hao, Dan
    Zhang, Lu
    ACM COMPUTING SURVEYS, 2020, 53 (01)
  • [7] Testing of an APL compiler
    Ching, Wai-Mee
    Katz, Alex
    APL Quote Quad, 1993, 24 (01) : 55 - 62
  • [8] Boosting Compiler Testing via Compiler Optimization Exploration
    Chen, Junjie
    Suo, Chenyao
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2022, 31 (04)
  • [9] Shellac: A Compiler Synthesizer for Concurrent Programs
    Chen, Christopher K.
    Seltzer, Margo I.
    Greenstreet, Mark R.
    VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 33 - 51
  • [10] A compiler generator for constraint logic programs
    Craig, SJ
    Leuschel, M
    PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 148 - 161
12345