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
    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
    2014 IEEE WORKSHOP ON ELECTRONICS, COMPUTER AND APPLICATIONS, 2014, : 618 - 621
  • [3] Symbolic Execution for Software Testing: Three Decades Later
    Cadar, Cristian
    Sen, Koushik
    COMMUNICATIONS OF THE ACM, 2013, 56 (02) : 82 - 90
  • [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
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1066 - 1071
  • [5] Mutation-inspired symbolic execution for software testing
    Valle-Gomez, Kevin J.
    Garcia-Dominguez, Antonio
    Delgado-Perez, Pedro
    Medina-Bulo, Inmaculada
    IET SOFTWARE, 2022, 16 (05) : 478 - 492
  • [6] Shadow Symbolic Execution for Better Testing of Evolving Software
    Cadar, Cristian
    Palikareva, Hristina
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 432 - 435
  • [7] Symbolic Execution of Network Software Based on Unit Testing
    Zhou Lin
    Liu Fei
    Gan Shuitao
    Qin Xiaojun
    Han Wenbao
    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
    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
    International Journal on Software Tools for Technology Transfer, 2009, 11 (4) : 339 - 353
  • [10] SYMBOLIC EXECUTION AND TESTING
    COWARD, PD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 53 - 64
12345