Parallel symbolic execution for structural test generation

被引：0
|
作者：
Dept. of Computer Science and Eng., University of Minnesota, United States [1 ]
不详 [2 ]
机构：
来源：
ISSTA - Proc. Int. Symp. Softw. Test. Anal. | / 183-193期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Java programming language
引用
收藏
相关论文
共 50 条
  • [21] Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution
    Hussein, Soha
    McCamant, Stephen
    Sherman, Elena
    Sharma, Vaibhav
    Whalen, Mike
    2023 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, 2023, : 79 - 89
  • [22] Parallel Property Checking with Staged Symbolic Execution
    Wen, Junye
    Yang, Guowei
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1802 - 1809
  • [23] Loop Invariant Symbolic Execution for Parallel Programs
    Siegel, Stephen F.
    Zirkel, Timothy K.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 412 - 427
  • [24] Parallel SMT Solving and Concurrent Symbolic Execution
    Rakadjiev, Emil
    Shimosawa, Taku
    Mine, Hiroshi
    Oshima, Satoshi
    2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 17 - 26
  • [25] Symbolic execution based test-patterns generation algorithm for hardware Trojan detection
    Shen, Lixiang
    Mu, Dejun
    Cao, Guo
    Qin, Maoyuan
    Blackstone, Jeremy
    Kastner, Ryan
    COMPUTERS & SECURITY, 2018, 78 : 267 - 280
  • [26] Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution
    Su, Ting
    Pu, Geguang
    Fang, Bin
    He, Jifeng
    Yan, Jun
    Jiang, Siyuan
    Zhao, Jianjun
    2014 EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY, 2014, : 98 - 107
  • [27] Unit Test Data Generation for C Using Rule-Directed Symbolic Execution
    Zhang, Ming-Zhe
    Gong, Yun-Zhan
    Wang, Ya-Wen
    Jin, Da-Hai
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2019, 34 (03) : 670 - 689
  • [28] Tackling the Path Explosion Problem in Symbolic Execution-driven Test Generation for Programs
    Krishnamoorthy, Saparya
    Hsiao, Michael S.
    Lingappan, Loganathan
    2010 19TH IEEE ASIAN TEST SYMPOSIUM (ATS 2010), 2010, : 59 - 64
  • [29] Automatic Test Generation for C and C plus plus Programs, Using Symbolic Execution
    Yoshida, Hiroaki
    Li, Guodong
    Kamiya, Takuki
    Ghosh, Indradeep
    Rajan, Sreeranga
    Tokumoto, Susumu
    Munakata, Kazuki
    Uehara, Tadahiro
    IEEE SOFTWARE, 2017, 34 (05) : 30 - 37
  • [30] Automatic Test Pattern Generation for Virtual Hardware Model using Constrained Symbolic Execution
    Mohamed, Nahla
    Safar, Mona
    Wahba, Ayman
    Salem, Ashraf
    2015 10TH INTERNATIONAL DESIGN & TEST SYMPOSIUM (IDT), 2015, : 149 - 150
12345