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 条
  • [21] Survey of compiler testing methods
    A. S. Kossatchev
    M. A. Posypkin
    Programming and Computer Software, 2005, 31 : 10 - 19
  • [22] Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level
    Harir, Farah
    Shi, August
    Converse, Hayes
    Khurshid, Sarfraz
    Marinov, Darko
    2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2016, : 105 - 115
  • [23] Design and Evaluation of a Compiler for Embedded Stream Programs
    Newton, Ryan R.
    Girod, Lewis D.
    Craig, Michael B.
    Madden, Samuel R.
    Morrisett, J. Greg
    LCTES'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN-SIGBED CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, 2008, : 131 - 140
  • [24] Proofs of numerical programs when the compiler optimizes
    Boldo, Sylvie
    Thi Minh Tuyen Nguyen
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2011, 7 (02) : 151 - 160
  • [25] An Extensible, Optimizing Compiler for Secure Distributed Programs
    Acay, Cosku
    Recto, Rolph
    Gancher, Joshua
    Myers, Andrew C.
    Shi, Elaine
    PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 740 - 755
  • [26] A compiler for parallel Unity programs using OpenMp
    Couturier, R
    Couturier, B
    Méry, D
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 1992 - 1998
  • [27] COMPILER AND UTILITY PROGRAMS IN SIEMENS EDS SYSTEM
    WENISCH, R
    SIEMENS ZEITSCHRIFT, 1977, 51 (03): : 159 - 164
  • [28] Design and evaluation of a compiler for embedded stream programs
    Newton, Ryan R.
    Girod, Lewis D.
    Craig, Michael B.
    Madden, Samuel R.
    Morrisett, J. Greg
    ACM SIGPLAN NOTICES, 2008, 43 (07) : 131 - 140
  • [29] Checkpointing OpenSHMEM Programs Using Compiler Analysis
    Bari, Md Abdullah Shahneous
    Basu, Debasmita
    Lu, Wenbin
    Curtis, Tony
    Chapman, Barbara
    PROCEEDINGS OF 2020 IEEE/ACM 10TH WORKSHOP ON FAULT TOLERANCE FOR HPC AT EXTREME SCALE (FTXS 2020), 2020, : 51 - 60
  • [30] A compiler for exploiting nested parallelism in OpenMP programs
    Tian, XM
    Hoeflinger, JP
    Haab, G
    Chen, YK
    Girkar, M
    Shah, S
    PARALLEL COMPUTING, 2005, 31 (10-12) : 960 - 983
12345