Automated test generation and static analysis

被引：0
|
作者：
Chernonozhkin, S.K.
机构：
来源：
Programmirovanie | 2001年 / 27卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：47 / 60
相关论文
共 50 条
  • [1] Automated test generation and static analysis
    Chernonozhkin, SK
    PROGRAMMING AND COMPUTER SOFTWARE, 2001, 27 (02) : 86 - 94
  • [2] Automated Test Generation and Static Analysis
    S. K. Chernonozhkin
    Programming and Computer Software, 2001, 27 : 86 - 94
  • [3] A static approach to automated test data generation in the presence of pointers
    Chung, I
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 887 - 896
  • [4] Using static analysis to improve automatic test generation
    Bozga, M
    Fernandez, JC
    Ghirvu, L
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 235 - 250
  • [5] Using static analysis to improve automatic test generation
    Marius Bozga
    Jean-Claude Fernandez
    Lucian Ghirvu
    International Journal on Software Tools for Technology Transfer, 2003, 4 (2) : 142 - 152
  • [6] Automated Test Case Generation based on Coverage Analysis
    Majchrzak, Tim A.
    Kuchen, Herbert
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 259 - 266
  • [7] Combining Static Analysis and Test Generation for C Program Debugging
    Chebaro, Omar
    Kosmatov, Nikolai
    Giorgetti, Alain
    Julliand, Jacques
    TEST AND PROOFS, PROCEEDINGS, 2010, 6143 : 94 - +
  • [8] Automated Test Data Generation for Programs with Procedures Analysis (ISSTA)
    Korel, B.
    Software Engineering Notes, 1996, 21 (03)
  • [9] LIMSoft: Automated tool for sensitivity analysis and test vector generation
    Saab, K
    Marche, D
    Hamida, NB
    Kaminska, B
    IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS, 1996, 143 (06): : 386 - 392
  • [10] Static Probability Analysis Guided RTL Hardware Trojan Test Generation
    Wang, Haoyi
    Zhou, Qiang
    Cai, Yici
    2023 28TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC, 2023, : 510 - 515
12345