Testing MIXAL programs by symbolic execution

被引：0
|
作者：
Ermakov, G.V.
机构：
来源：
Programming and computer software | 1988年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
10
引用
收藏
页码：1 / 6
相关论文
共 50 条
  • [1] TESTING MIXAL PROGRAMS BY SYMBOLIC EXECUTION
    ERMAKOV, GV
    PROGRAMMING AND COMPUTER SOFTWARE, 1988, 14 (01) : 1 - 6
  • [2] AUTOMATIC TESTING SYSTEM FOR MIXAL PROGRAMS
    KATKOV, VL
    ERMAKOV, GV
    PROGRAMMING AND COMPUTER SOFTWARE, 1985, 11 (03) : 157 - 164
  • [3] Testing multithreaded programs with contextual unfoldings and dynamic symbolic execution
    Kahkonen, Kari
    Heljanko, Keijo
    Proceedings - International Conference on Application of Concurrency to System Design, ACSD, 2014, 2015-January (January): : 142 - 151
  • [4] SYMBOLIC EXECUTION AND TESTING
    COWARD, PD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 53 - 64
  • [5] Symbolic Execution for Randomized Programs
    Susag, Zachary
    Lahiri, Sumit
    Hsu, Justin
    Roy, Subhajit
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [6] Symbolic execution of programs with strings
    Redelinghuys, Gideon
    Visser, Willem
    Geldenhuys, Jaco
    PROCEEDINGS OF THE SOUTH AFRICAN INSTITUTE FOR COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS CONFERENCE, 2012, : 139 - 148
  • [7] On Symbolic Execution of Decompiled Programs
    Korencik, Lukas
    Rockai, Petr
    Lauko, Henrich
    Barnat, Jiri
    2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS 2020), 2020, : 265 - 272
  • [8] Symbolic Execution of MPI Programs
    Fu, Xianjin
    Chen, Zhenbang
    Yu, Hengbiao
    Huang, Chun
    Dong, Wei
    Wang, Ji
    2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol 2, 2015, : 809 - 810
  • [9] SPOT: Testing Stream Processing Programs with Symbolic Execution and Stream Synthesizing
    Ye, Qian
    Lu, Minyan
    APPLIED SCIENCES-BASEL, 2021, 11 (17):
  • [10] Relational symbolic execution of SQL code for unit testing of database programs
    Marcozzi, Michael
    Vanhoof, Wim
    Hainaut, Jean-Luc
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 105 : 44 - 72
12345