Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis.

Mark E. M. Stewart

Browse the full SEW paper archive.