• DocumentCode
    3129173
  • Title

    SymAnalyzer: A Symbolic Analysis Tool for Program Comprehension

  • Author

    Laitila, Erkki

  • Author_Institution
    Jyvaskyla Univ. & SwMaster Ltd., Jyvaskyla
  • fYear
    2009
  • fDate
    24-27 March 2009
  • Firstpage
    325
  • Lastpage
    326
  • Abstract
    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.
  • Keywords
    program diagnostics; software tools; SymAnalyzer; program comprehension tool; software engineering; symbolic analysis tool; Analytical models; Computational modeling; Data mining; Information analysis; Logic programming; Software maintenance; Software systems; Software tools; Space technology; Tin; Program comprehension; symbolic analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Maintenance and Reengineering, 2009. CSMR '09. 13th European Conference on
  • Conference_Location
    Kaiserslautern
  • ISSN
    1534-5351
  • Print_ISBN
    978-0-7695-3589-0
  • Type

    conf

  • DOI
    10.1109/CSMR.2009.56
  • Filename
    4812787