Efficient symbolic execution for software testing

被引：0
|
作者：
Kinder, Johannes [1 ]
机构：
[1] Univ London, Dept Comp Sci Royal Holloway, London, England
来源：
2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD) | 2014年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
  • [31] Android Testing via Synthetic Symbolic Execution
    Gao, Xiang
    Tan, Shin Hwei
    Dong, Zhen
    Roychoudhury, Abhik
    [J]. PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 419 - 429
  • [32] Automated Regression Testing using Symbolic Execution
    Barisas, D.
    Milasius, T.
    Bareisa, E.
    [J]. ELEKTRONIKA IR ELEKTROTECHNIKA, 2011, (06) : 101 - 105
  • [33] CSEFuzz: Fuzz Testing Based on Symbolic Execution
    Xie, Zhangwei
    Cui, Zhanqi
    Zhang, Jiaming
    Liu, Xiulei
    Zheng, Liwei
    [J]. IEEE ACCESS, 2020, 8 : 187564 - 187574
  • [34] AUTOMATED REGRESSION TESTING USING SYMBOLIC EXECUTION
    Barisas, Dominykas
    Milasius, Tomas
    Bareisa, Eduardas
    [J]. INFORMATION TECHNOLOGIES' 2011, 2011, : 117 - 124
  • [35] Hybrid Testing Based on Symbolic Execution and Fuzzing
    Xie, Xiao-Fei
    Li, Xiao-Hong
    Chen, Xiang
    Meng, Guo-Zhu
    Liu, Yang
    [J]. Ruan Jian Xue Bao/Journal of Software, 2019, 30 (10): : 3071 - 3089
  • [36] Dynamic Symbolic Execution for Testing Distributed Objects
    Griesmayer, Andreas
    Aichernig, Bernhard
    Johnsen, Einar Broch
    Schlatte, Rudolf
    [J]. TESTS AND PROOFS, PROCEEDINGS, 2009, 5668 : 105 - 120
  • [37] PROGRAM TESTING USING SYMBOLIC EXECUTION.
    Borzov, Yu.V.
    [J]. Programming and Computer Software (English Translation of Programmirovanie), 1980, 6 (01): : 39 - 45
  • [38] Automating Differential Testing with Overapproximate Symbolic Execution
    Rutledge, Richard
    Orso, Alessandro
    [J]. 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 256 - 266
  • [39] Quantification of Software Changes through Probabilistic Symbolic Execution
    Filieri, Antonio
    Pasareanu, Corina S.
    Yang, Guowei
    [J]. 2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 703 - 708
  • [40] Selective Symbolization Based Efficient Symbolic Execution
    Liu, Yang
    Zhang, Guofeng
    Chen, Zhenbang
    Shuai, Ziqi
    [J]. 2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 2021, : 1169 - 1170
12345