| 2005 | ||
|---|---|---|
| 3 | Mark E. M. Stewart: Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis. SEW 2005: 89-96 | |
| 2001 | ||
| 2 | Mark E. M. Stewart: Automated Analysis of Scientific and Engineering Semantics. IWPC 2001: 113-114 | |
| 2000 | ||
| 1 | Mark E. M. Stewart: An Experiment in Scientific Program Understanding. ASE 2000: 281-284 | |