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 条
  • [1] Symbolic Reductionist Model for Program Comprehension
    Laitila, Erkki
    Legrand, Steve
    [J]. MICAI 2007: SIXTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, : 363 - 372
  • [2] A program visualization tool for program comprehension
    Ohki, M
    Hosaka, Y
    [J]. 200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 263 - 265
  • [3] MAPLE program as a tool for symbolic analysis of digital filters
    Ticha, Dasa
    Martinek, Pravoslav
    [J]. 2007 17TH INTERNATIONAL CONFERENCE RADIOELEKTRONIKA, VOLS 1 AND 2, 2007, : 95 - +
  • [4] SFAC, a tool for program comprehension by specialization
    Blazy, Sandrine
    Facon, Philippe
    [J]. Program Comprehension, Workshop Proceedings, 1994, : 162 - 167
  • [5] Towards a tool for rigorous, automated code comprehension using symbolic execution and semantic analysis
    Stewart, MEM
    [J]. 29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 89 - 96
  • [6] COSPEX: A Program Comprehension Tool for Novice Programmers
    Gupta, Nakshatra
    Rajput, Ashutosh
    Chimalakonda, Sridhar
    [J]. 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), 2022, : 41 - 45
  • [7] CodeCrawler - An information visualization tool for program comprehension
    Lanza, M
    Ducasse, S
    Gall, H
    Pinzger, M
    [J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 672 - 673
  • [8] JRipples: A tool for program comprehension during incremental change
    Buckner, J
    Buchta, J
    Petrenko, M
    Rajlich, V
    [J]. 13TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2005, : 149 - 152
  • [9] Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag
    Colange, M.
    Baarir, S.
    Kordon, F.
    Thierry-Mieg, Y.
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, 2011, 6709 : 338 - 347
  • [10] A comment analysis approach for program comprehension
    Departamento de Informatica, Universidade do Minho, Braga, Portugal
    [J]. Proc. IEEE Softw. Eng. Workshop, SEW, (11-20):
12345