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 条
  • [1] Shadow Symbolic Execution for Testing Software Patches
    Kuchta, Tomasz
    Palikareva, Hristina
    Cadar, Cristian
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2018, 27 (03)
  • [2] Distributed Symbolic Execution for Binary Software Testing
    Wu, Bo
    Li, Mengjun
    Zhang, Bin
    Zhang, Quan
    Tang, Chaojing
    [J]. 2014 IEEE WORKSHOP ON ELECTRONICS, COMPUTER AND APPLICATIONS, 2014, : 618 - 621
  • [3] Mutation-inspired symbolic execution for software testing
    Valle-Gomez, Kevin J.
    Garcia-Dominguez, Antonio
    Delgado-Perez, Pedro
    Medina-Bulo, Inmaculada
    [J]. IET SOFTWARE, 2022, 16 (05) : 478 - 492
  • [4] Symbolic Execution for Software Testing in Practice - Preliminary Assessment
    Cadar, Cristian
    Godefroid, Patrice
    Khurshid, Sarfraz
    Pasareanu, Corina S.
    Sen, Koushik
    Tillmann, Nikolai
    Visser, Willem
    [J]. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1066 - 1071
  • [5] Shadow Symbolic Execution for Better Testing of Evolving Software
    Cadar, Cristian
    Palikareva, Hristina
    [J]. 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 432 - 435
  • [6] Symbolic Execution for Software Testing: Three Decades Later
    Cadar, Cristian
    Sen, Koushik
    [J]. COMMUNICATIONS OF THE ACM, 2013, 56 (02) : 82 - 90
  • [7] Symbolic Execution of Network Software Based on Unit Testing
    Zhou Lin
    Liu Fei
    Gan Shuitao
    Qin Xiaojun
    Han Wenbao
    [J]. 2014 9TH IEEE INTERNATIONAL CONFERENCE ON NETWORKING, ARCHITECTURE, AND STORAGE (NAS), 2014, : 128 - 132
  • [8] Testing Network Protocol Binary Software with Selective Symbolic Execution
    Wen, Shameng
    Feng, Chao
    Meng, Qingkun
    Zhang, Bin
    Wu, Ligeng
    Tang, Chaojing
    [J]. PROCEEDINGS OF 2016 12TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2016, : 318 - 322
  • [9] A survey of new trends in symbolic execution for software testing and analysis
    Corina S. Păsăreanu
    Willem Visser
    [J]. International Journal on Software Tools for Technology Transfer, 2009, 11 (4) : 339 - 353
  • [10] SYMBOLIC EXECUTION AND TESTING
    COWARD, PD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 53 - 64
12345