Testing MIXAL programs by symbolic execution

被引：0
|
作者：
Ermakov, G.V.
机构：
来源：
Programming and computer software | 1988年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
10
引用
收藏
页码：1 / 6
相关论文
共 50 条
  • [31] Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs
    Zhang, Haitao
    Pu, Bowen
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 205 - 219
  • [32] Dynamic Symbolic Execution Tool for Python']Python Programs
    Ding, Xuefeng
    Huang, Wanyu
    Liu, Ying
    Chen Wantao
    Ding Xuyang
    2016 INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION, BIG DATA & SMART CITY (ICITBS), 2017, : 212 - 217
  • [33] A Formal Model for Detecting Bugs by Symbolic Execution of Programs
    Gerasimov, A. Yu.
    Kuts, D. O.
    Novikov, A. A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2020, 46 (08) : 731 - 736
  • [34] Shadow Symbolic Execution for Testing Software Patches
    Kuchta, Tomasz
    Palikareva, Hristina
    Cadar, Cristian
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2018, 27 (03)
  • [35] Generalized symbolic execution for model checking and testing
    Khurshid, S
    Pasareanu, CS
    Visser, W
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 553 - 568
  • [36] Loop Extended Symbolic Execution on List Manipulating Programs
    Li, Renjian
    Wang, Zhaofei
    Dong, Longming
    MECHANICAL AND ELECTRONICS ENGINEERING III, PTS 1-5, 2012, 130-134 : 3010 - 3014
  • [37] Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
    Hensel, Jera
    Giesl, Juergen
    Frohn, Florian
    Stroeder, Thomas
    SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016, 2016, 9763 : 234 - 252
  • [38] AUTOMATED REGRESSION TESTING USING SYMBOLIC EXECUTION
    Barisas, Dominykas
    Milasius, Tomas
    Bareisa, Eduardas
    INFORMATION TECHNOLOGIES' 2011, 2011, : 117 - 124
  • [39] Dynamic Symbolic Execution for Testing Distributed Objects
    Griesmayer, Andreas
    Aichernig, Bernhard
    Johnsen, Einar Broch
    Schlatte, Rudolf
    TESTS AND PROOFS, PROCEEDINGS, 2009, 5668 : 105 - 120
  • [40] Hybrid Testing Based on Symbolic Execution and Fuzzing
    Xie X.-F.
    Li X.-H.
    Chen X.
    Meng G.-Z.
    Liu Y.
    Ruan Jian Xue Bao/Journal of Software, 2019, 30 (10): : 3071 - 3089
12345