loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual IEEE/NASA Software Engineering Workshop
Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis
Greenbelt, Maryland
April 06-April 07
ISBN: 0-7695-2306-4
ASCII Text
x 
 
Mark E. M. Stewart, "Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 89-96, 29th Annual IEEE/NASA Software Engineering Workshop, 2005.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2005.46,
author = {Mark E. M. Stewart},
title = {Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2005},
isbn = {0-7695-2306-4},
pages = {89-96},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2005.46},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis
SN - 0-7695-2306-4
SP89
EP96
A1 - Mark E. M. Stewart,
PY - 2005
KW - null
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
Mark E. M. Stewart, QSS Group Inc. at NASA Glenn Research Center Brook Park, Ohio, USA

This paper presents an implementation and critical analysis of a technique for automated, rigorous scientific program comprehension and error detection. The procedure involves taking a user?s existing code, adding semantic declarations for some primitive variables, symbolically executing the user?s code, and recognizing semantic concepts from the symbolic expressions generated. This analysis provides high-level, semantic information and detects errors in a user?s code. Symbolic execution of a 5k line of code (LOC) scientific code demonstrates implementation of a practical symbolic execution / semantic analysis tool. Despite the promise of this technique, one key challenge is examined, namely ensuring reliability during the symbolic execution / semantic analysis procedure.

Citation:
Mark E. M. Stewart, "Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis," sew, pp.89-96, 29th Annual IEEE/NASA Software Engineering Workshop, 2005
Usage of this product signifies your acceptance of the Terms of Use.