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 条
  • [21] TESTING MIXAL PROGRAMS BY SYMBOLIC EXECUTION
    ERMAKOV, GV
    PROGRAMMING AND COMPUTER SOFTWARE, 1988, 14 (01) : 1 - 6
  • [22] Symbolic Execution Enhanced System Testing
    Davies, Misty
    Pasareanu, Corina S.
    Raman, Vishwanath
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 294 - +
  • [23] Testing MIXAL programs by symbolic execution
    Ermakov, G.V.
    Programming and computer software, 1988, : 1 - 6
  • [24] Symbolic execution techniques for refinement testing
    Le Gall, Pascale
    Rapin, Nicolas
    Touil, Assia
    TESTS AND PROOFS, 2007, 4454 : 131 - +
  • [25] Efficient Loop Navigation for Symbolic Execution
    Obdrzalek, Jan
    Trtik, Marek
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 453 - 462
  • [26] Efficient State Merging in Symbolic Execution
    Kuznetsov, Volodymyr
    Kinder, Johannes
    Bucur, Stefan
    Candea, George
    ACM SIGPLAN NOTICES, 2012, 47 (06) : 193 - 204
  • [27] Efficient and formal generalized symbolic execution
    Xianghua Deng
    Jooyong Lee
    Automated Software Engineering, 2012, 19 : 233 - 301
  • [28] Efficient and formal generalized symbolic execution
    Deng, Xianghua
    Lee, Jooyong
    Robby
    AUTOMATED SOFTWARE ENGINEERING, 2012, 19 (03) : 233 - 301
  • [29] Generalized symbolic execution for model checking and testing
    Khurshid, S
    Pasareanu, CS
    Visser, W
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 553 - 568
  • [30] AUTOMATED REGRESSION TESTING USING SYMBOLIC EXECUTION
    Barisas, Dominykas
    Milasius, Tomas
    Bareisa, Eduardas
    INFORMATION TECHNOLOGIES' 2011, 2011, : 117 - 124
12345