SymAnalyzer: A Symbolic Analysis Tool for Program Comprehension

被引：0
|
作者：
Laitila, Erkki [1 ]
机构：
[1] Univ Jyvaskyla, Jyvaskyla 40520, Finland
来源：
13TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: CSMR 2009, PROCEEDINGS | 2009年
关键词：
D O I：
10.1109/CSMR.2009.56
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we present a program comprehension tool, called SymAnalyzer, which uses symbolic analysis as its main mechanism to help software engineers understand symbolic flows of the the most relevant sequences. Captured information is useful in troubleshooting and familiarization.
引用
收藏
页码：325 / 326
页数：2
相关论文
共 50 条
  • [21] COMPREHENSION OF SYMBOLIC GESTURES IN APHASIA
    GAINOTTI, G
    LEMMO, MA
    [J]. BRAIN AND LANGUAGE, 1976, 3 (03) : 451 - 460
  • [22] A contribution to program comprehension by program analysis: Application to numerical programs
    AitAmeur, Y
    [J]. AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 134 - 141
  • [23] NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
    Usman, Muhammad
    Noller, Yannic
    Pasareanu, Corina S.
    Sun, Youcheng
    Gopinath, Divya
    [J]. 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021), 2021, : 25 - 28
  • [24] Trend Analysis on the Metadata of Program Comprehension Papers
    Sulir, Matus
    Porubaen, Jaroslav
    [J]. 2015 13TH INTERNATIONAL CONFERENCE ON ENGINEERING OF MODERN ELECTRIC SYSTEMS (EMES), 2015,
  • [25] A Visualization Tool for 3D Graphics Program Comprehension and Debugging
    Podila, Sahithi
    Zhu, Ying
    [J]. 2016 IEEE WORKING CONFERENCE ON SOFTWARE VISUALIZATION, 2016, : 111 - 115
  • [26] 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
  • [27] Program comprehension experiences with GXL; comprehension for comprehension
    Knight, C
    Munro, M
    [J]. 10TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2002, : 147 - 156
  • [28] Symbolic analysis for increased program execution performance
    Psarris, Kleanthis
    [J]. ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PROCEEDINGS, 2008, 5022 : 318 - 318
  • [29] Program Analysis via Efficient Symbolic Abstraction
    Yao, Peisen
    Shi, Qingkai
    Huang, Heqing
    Zhang, Charles
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
  • [30] Symbolic Computation and Automated Reasoning for Program Analysis
    Kovacs, Laura
    [J]. INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 20 - 27
12345