Automated generation of test cases for compilers

被引：0
|
作者：
Burgess, Colin J. [1 ]
机构：
[1] Univ of Bristol, Bristol, United Kingdom
来源：
Software Testing Verification and Reliability | 1994年 / 4卷 / 02期
关键词：
Automated testing - Semantics - Syntax - Test cases;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：81 / 99
相关论文
共 50 条
  • [31] An automated approach to reducing test suites for testing retargeted C compilers for embedded systems
    Chae, Heung Seok
    Woo, Gyun
    Kim, Tae Yeon
    Bae, Jung Ho
    Kim, Won-Young
    JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (12) : 2053 - 2064
  • [32] Random Testing of C Compilers Based on Test Program Generation by Equivalence Transformation
    Nakamura, Kazuhiro
    Isihiura, Nagisa
    2016 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS (APCCAS), 2016, : 676 - 679
  • [33] Automated Modularization of GUI Test Cases
    Yandrapally, Rahulkrishna
    Sridhara, Giriprasad
    Sinha, Saurabh
    2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1, 2015, : 44 - 54
  • [34] Automated Bug Localization in JIT Compilers
    Lim, HeuiChan
    Debray, Saumya
    PROCEEDINGS OF THE 17TH ACM SIGPLAN/SIGOPS INTERNATIONAL CONFERENCE ON VIRTUAL EXECUTION ENVIRONMENTS (VEE '21), 2021, : 153 - 164
  • [35] AUTOMATIC GENERATION OF TEST CASES
    HANFORD, KV
    IBM SYSTEMS JOURNAL, 1970, 9 (04) : 242 - &
  • [36] Automated testing of graphics shader compilers
    Donaldson A.F.
    Evrard H.
    Lascu A.
    Thomson P.
    Proceedings of the ACM on Programming Languages, 2017, 1 (OOPSLA):
  • [37] GECOLL, SYSTEM FOR GENERATION OF COMPILERS
    NARANCIO, JV
    PELEGRI, E
    PUENTE, A
    ACTA CIENTIFICA VENEZOLANA, 1977, 28 : 40 - 40
  • [38] Test Agents: The Next Generation of Test Cases
    Enoiu, Eduard
    Frasheri, Mirgita
    2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), 2019, : 305 - 308
  • [39] A METHOD OF AUTOMATIC GENERATION OF COMPILERS
    FUJINO, K
    NEC RESEARCH & DEVELOPMENT, 1970, (16): : 86 - &
  • [40] Automated test generation and verified software
    Rushby, John
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 161 - 172
12345