Microsoft Researchによるソフトウェアテストの論文が日経エレクトロニクス2009年4月20日号に載っていた。自動テスト生成の方法として静的テスト生成と動的テスト生成の2つがあるが、前者は複雑な命令文（ポインタ等）やOSのシステムコール等の制約のせいで…