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] Dynamic Symbolic Execution for Testing Distributed Objects
    Griesmayer, Andreas
    Aichernig, Bernhard
    Johnsen, Einar Broch
    Schlatte, Rudolf
    TESTS AND PROOFS, PROCEEDINGS, 2009, 5668 : 105 - 120
  • [32] 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
  • [33] 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
  • [34] Automated Regression Testing using Symbolic Execution
    Barisas, D.
    Milasius, T.
    Bareisa, E.
    ELEKTRONIKA IR ELEKTROTECHNIKA, 2011, (06) : 101 - 105
  • [35] CSEFuzz: Fuzz Testing Based on Symbolic Execution
    Xie, Zhangwei
    Cui, Zhanqi
    Zhang, Jiaming
    Liu, Xiulei
    Zheng, Liwei
    IEEE ACCESS, 2020, 8 : 187564 - 187574
  • [36] 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
  • [37] Automating Differential Testing with Overapproximate Symbolic Execution
    Rutledge, Richard
    Orso, Alessandro
    2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 256 - 266
  • [38] PROGRAM TESTING USING SYMBOLIC EXECUTION.
    Borzov, Yu.V.
    Programming and Computer Software (English Translation of Programmirovanie), 1980, 6 (01): : 39 - 45
  • [39] Quantification of Software Changes through Probabilistic Symbolic Execution
    Filieri, Antonio
    Pasareanu, Corina S.
    Yang, Guowei
    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
    2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 2021, : 1169 - 1170
12345