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 条
  • [21] Using symbolic execution of a parallel program to estimate its scalability
    Ivannikov, V
    Gaissaryan, S
    Avetisyan, A
    Padaryan, V
    [J]. PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4, 2003, : 1741 - 1744
  • [22] Guided Symbolic Execution in Real-World Binary Program
    Park, Sung Hyun
    Noh, Bong Nam
    [J]. INFORMATION SCIENCE AND APPLICATIONS, 2020, 621 : 387 - 396
  • [23] Scope-tree: a program representation for symbolic worst-case execution time analysis
    Colin, A
    Bernat, G
    [J]. EUROMICRO RTS 2002: 14TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2002, : 50 - 59
  • [24] Tuning parallel symbolic execution engine for better performance
    Karna, Anil Kumar
    Du, Jinbo
    Shen, Haihao
    Zhong, Hao
    Gong, Jiong
    Yu, Haibo
    Ma, Xiangning
    Zhao, Jianjun
    [J]. FRONTIERS OF COMPUTER SCIENCE, 2018, 12 (01) : 86 - 100
  • [25] Tuning parallel symbolic execution engine for better performance
    Anil Kumar Karna
    Jinbo Du
    Haihao Shen
    Hao Zhong
    Jiong Gong
    Haibo Yu
    Xiangning Ma
    Jianjun Zhao
    [J]. Frontiers of Computer Science, 2018, 12 : 86 - 100
  • [26] Generating Performance Distributions via Probabilistic Symbolic Execution
    Chen, Bihuan
    Liu, Yang
    Le, Wei
    [J]. 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2016, : 49 - 60
  • [27] Scaling Symbolic Execution using Ranged Analysis
    Siddiqui, Junaid Haroon
    Khurshid, Sarfraz
    [J]. ACM SIGPLAN NOTICES, 2012, 47 (10) : 523 - 535
  • [28] Differential Fault Analysis Using Symbolic Execution
    van Woudenberg, Jasper
    Breunesse, Cees-Bart
    Velegalati, Rajesh
    Yalla, Panasayya
    Gonzalez, Sergio
    [J]. PROCEEDINGS OF THE 7TH SOFTWARE SECURITY, PROTECTION, AND REVERSE ENGINEERING WORKSHOP 2017 (SSPREW), 2017,
  • [29] Badger: Complexity Analysis with Fuzzing and Symbolic Execution
    Noller, Yannic
    Kersten, Rody
    Pasareanu, Corina S.
    [J]. ISSTA'18: PROCEEDINGS OF THE 27TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2018, : 322 - 332
  • [30] COMBINING STATIC CONCURRENCY ANALYSIS WITH SYMBOLIC EXECUTION
    YOUNG, M
    TAYLOR, RN
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (10) : 1499 - 1511
12345