Testing MIXAL programs by symbolic execution

被引：0
|
作者：
Ermakov, G.V.
机构：
来源：
Programming and computer software | 1988年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
10
引用
收藏
页码：1 / 6
相关论文
共 50 条
  • [41] Symbolic Execution Proofs for Higher Order Store Programs
    Bernhard Reus
    Nathaniel Charlton
    Ben Horsfall
    Journal of Automated Reasoning, 2015, 54 : 199 - 284
  • [42] A Formal Model for Detecting Bugs by Symbolic Execution of Programs
    A. Yu. Gerasimov
    D. O. Kuts
    A. A. Novikov
    Programming and Computer Software, 2020, 46 : 731 - 736
  • [43] VALIDATION OF CONCURRENT ADA PROGRAMS USING SYMBOLIC EXECUTION
    MORASCA, S
    PEZZE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 387 : 467 - 486
  • [44] Use of symbolic program execution in program testing
    Markoski, Branko
    Ivankovic, Zdravko
    Radosav, Dragica
    Milosevic, Zoran
    Obradovic, Borislav
    TECHNICS TECHNOLOGIES EDUCATION MANAGEMENT-TTEM, 2011, 6 (03): : 836 - 840
  • [45] Symbolic Execution Proofs for Higher Order Store Programs
    Reus, Bernhard
    Charlton, Nathaniel
    Horsfall, Ben
    JOURNAL OF AUTOMATED REASONING, 2015, 54 (03) : 199 - 284
  • [46] USING SYMBOLIC EXECUTION FOR VERIFICATION OF ADA TASKING PROGRAMS
    DILLON, LK
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (04): : 643 - 669
  • [47] Automated Regression Testing using Symbolic Execution
    Barisas, D.
    Milasius, T.
    Bareisa, E.
    ELEKTRONIKA IR ELEKTROTECHNIKA, 2011, (06) : 101 - 105
  • [48] CSEFuzz: Fuzz Testing Based on Symbolic Execution
    Xie, Zhangwei
    Cui, Zhanqi
    Zhang, Jiaming
    Liu, Xiulei
    Zheng, Liwei
    IEEE ACCESS, 2020, 8 : 187564 - 187574
  • [49] Android Testing via Synthetic Symbolic Execution
    Gao, Xiang
    Tan, Shin Hwei
    Dong, Zhen
    Roychoudhury, Abhik
    PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 419 - 429
  • [50] Loop-Extended Symbolic Execution on Binary Programs
    Saxena, Prateek
    Poosankam, Pongsin
    McCamant, Stephen
    Song, Dawn
    ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2009, : 225 - 235
12345