ソフトウェアの振る舞いの可視化についてなされた、過去の研究や実装について教えてください。論文・実装・説明そのものへのリンクがうれしいですが、論文・実装を特定するのに十分な情報があれば結構です。可視化のアイデアや推測などは求めていません。

コードを書くとき、プログラマの頭の中には何らかの(実装言語にある程度依存した)実行モデルがあると思います。

「ソフトウェアの振る舞いの可視化」をする、とは、この実行モデルを可視化することを、ここでは想定しています。

具体例としては、次のようなものがあり得ると考えています。

* ソースコードのステップ毎に、関連するオブジェクトの変更・生成・破棄が可視化される
* ソースコードのステップ毎に、プログラムのフロー中のどこが実行されているかが可視化される
* ソースコードのステップ毎に、コールスタックの変化(return addressが積まれた、引数が積まれたなど)が可視化される。