Mark E. M. Stewart

Self-Checking Spreadsheets: Recognition of Semantics

Mark E. M. Stewart, M. Stewart, 2013, ICCS.

An experiment in scientific program understanding

Mark E. M. Stewart, 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

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

Mark E. M. Stewart, M. Stewart, 2005, 29th Annual IEEE/NASA Software Engineering Workshop.

Automated analysis of scientific and engineering semantics

Mark E. M. Stewart, 2001, Proceedings 9th International Workshop on Program Comprehension. IWPC 2001.