「プログラムに埋め込まれた業務仕様を自動抽出する技術、富士通研が開発」 http://www.itmedia.co.jp/news/articles/1610/11/news087.html 昔似たようなことをやっていたので、ちょっと複雑な気分……

記号実行によるプログラム改造支援技術
http://www.toshiba.co.jp/tech/review/2012/12/67_12pdf/f02.pdf