Symbolic analysis for increased program execution performance

被引：0
|
作者：
Psarris, Kleanthis [1 ]
机构：
[1] Univ Texas San Antonio, Dept Comp Sci, San Antonio, TX 78249 USA
来源：
ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PROCEEDINGS | 2008年 / 5022卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：318 / 318
页数：1
相关论文
共 50 条
  • [1] Improving the Efficiency of Program Analysis with Symbolic Execution
    Fedorov, Alexey
    Kokin, Vitaliy
    Andrianov, Andrey
    Vysochkin, Alexey
    [J]. PROCEEDINGS OF THE 2017 IEEE RUSSIA SECTION YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING CONFERENCE (2017 ELCONRUS), 2017, : 390 - 393
  • [2] Differential Program Analysis with Fuzzing and Symbolic Execution
    Noller, Yannic
    [J]. PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 944 - 947
  • [3] SYMBOLIC EXECUTION AND PROGRAM TESTING
    KING, JC
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (07) : 385 - 394
  • [4] Facilitating program performance profiling via evolutionary symbolic execution
    Aquino, Andrea
    Braione, Pietro
    Denaro, Giovanni
    Salza, Pasquale
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2020, 30 (02):
  • [5] Use of symbolic program execution in program testing
    Markoski, Branko
    Ivankovic, Zdravko
    Radosav, Dragica
    Milosevic, Zoran
    Obradovic, Borislav
    [J]. TECHNICS TECHNOLOGIES EDUCATION MANAGEMENT-TTEM, 2011, 6 (03): : 836 - 840
  • [6] Type-dependence analysis and program transformation for symbolic execution
    Anand, Saswat
    Orso, Alessandro
    Harrold, Mary Jean
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 117 - +
  • [7] Research on Parallel Symbolic Execution through Program Dependence Analysis
    Cao, Yan
    Wei, Qiang
    Wang, Qingxian
    [J]. 2012 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2012), VOL 2, 2012, : 222 - 226
  • [8] APPLICATIONS OF SYMBOLIC EXECUTION TO PROGRAM TESTING
    DARRINGER, JA
    KING, JC
    [J]. COMPUTER, 1978, 11 (04) : 51 - 59
  • [9] Targeted Program Transformations for Symbolic Execution
    Cadar, Cristian
    [J]. 2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS, 2015, : 906 - 909
  • [10] A NOVEL SYMBOLIC EXECUTION FRAMEWORK FOR MULTI-PROCEDURE PROGRAM ANALYSIS
    Fan Wenqing
    Liang Hongling
    Yang Yixian
    Xu Guoai
    [J]. PROCEEDINGS OF 2009 2ND IEEE INTERNATIONAL CONFERENCE ON BROADBAND NETWORK & MULTIMEDIA TECHNOLOGY, 2009, : 858 - 863
12345