"江?政哉,小林隆志","値観測に基づく表明違反原因推定を用いた対話的欠陥箇所特定","IEICE ソフトウェアサイエンス研究専門委員会 2025年3月研究会","電子情報通信学会技術研究報告",,"Vol. 124","No. 429","pp. 146-151",2025,Mar.