"長田晃太朗,荒堀喜貴,権藤克彦","動的バイナリ計装に基づく正確なヒープ検査","日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ",,,,,,2016,Dec.