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 条
  • [41] Symbolic small-signal analysis (SSA)tool
    Aksin, D
    Maloberti, F
    [J]. 2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, 2005, : 3007 - 3010
  • [42] A Systematic Survey of Program Comprehension through Dynamic Analysis
    Cornelissen, Bas
    Zaidman, Andy
    van Deursen, Arie
    Moonen, Leon
    Koschke, Rainer
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2009, 35 (05) : 684 - 702
  • [43] BEST: A symbolic testing tool for predicting multi-threaded program failures
    NEC Labs. America, Princeton, NJ, United States
    不详
    [J]. IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE, Proc., (596-599):
  • [44] Aiding program comprehension by static and dynamic feature analysis
    Eisenbarth, T
    Koschke, R
    Simon, D
    [J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 602 - 611
  • [45] Scalability solutions for program comprehension through dynamic analysis
    Zaidman, Andy
    [J]. 10TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2006, : 325 - +
  • [46] SSCNAP - A PROGRAM FOR SYMBOLIC ANALYSIS OF SWITCHED CAPACITOR CIRCUITS
    LI, BX
    GU, DR
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (03) : 334 - 340
  • [47] Symbolic analysis of electric circuits using the program SALEC
    Tosic, DV
    Reljin, BD
    [J]. SOFTWARE FOR ELECTRICAL ENGINEERING ANALYSIS AND DESIGN, 1996, : 135 - 144
  • [48] A symbolic approach to Bernstein expansion for program analysis and optimization
    Clauss, P
    Tchoupaeva, I
    [J]. COMPILER CONSTRUCTION, PROCEEDINGS, 2004, 2985 : 120 - 133
  • [49] SYMBOLIC PROGRAM ANALYSIS IN ALMOST-LINEAR TIME
    REIF, JH
    TARJAN, RE
    [J]. SIAM JOURNAL ON COMPUTING, 1982, 11 (01) : 81 - 93
  • [50] Symbolic Program Analysis using Term Rewriting and Generalization
    Sinha, Nishant
    [J]. 2008 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2008, : 144 - 152
12345