[IEEE 29th Annual IEEE/NASA Software Engineering Workshop - Greenbelt, MD, USA (06-07 April 2005)] 29th Annual IEEE/NASA Software Engineering Workshop - Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis

• 作者Stewart, M.E.M.
• 文件大小393.42KB
• 发表时间2005
• DOI10.1109/SEW.2005.46
• 页码89-96