|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Mark E. M. Stewart, "Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis," 2012 35th Annual IEEE Software Engineering Workshop, 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 ={2012 35th Annual IEEE Software Engineering Workshop}, 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 - 2012 35th Annual IEEE Software Engineering Workshop 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 - 2012 35th Annual IEEE Software Engineering Workshop ER - | |||
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.