- 論文誌
- [1] 小林和貴, 佐々木幸広, 岡野浩三, 楠本真二, "PDGとSMTソルバを利用した表明自動導出手法の提案と評価," 電子情報通信学会論文誌D, volume J96-D, number 11, pages 2657-2668, 2013年11月.
- 国際会議
- [1] Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, Kozo Okano, Shinji Kusumoto, , and Kazuki Yoshioka, "Variable Coverage: a Metric to Evaluate the Exhaustiveness for Program Specifications Based on Dbc," International Workshop on Informatics 2013, pages 123-132, 2013. [main.pdf]
- [2] Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto, "Verification of Safety Property of Line Tracer Program Using Timed Automaton Model," International Workshop on Informatics 2012, pages 136-142, September 2012. [iwin2012.pdf]
- 国内会議(査読付き)
- [1] 佐々木 幸広, 岡野 浩三, 楠本 真二, "SMTソルバと統計解析を用いたJavaプログラム解析器の提案," ソフトウェア工学の基礎XX(日本ソフトウェア科学会FOSE 2013), 2013年11月.
- [2] 佐々木 幸広, 岡野 浩三, 楠本 真二, "SMTを活用したJava プログラム解析器の設計," ソフトウェア工学の基礎XIX, pages 33-38, 2012年12月. [fose2012.pdf]
- 研究会・全国大会等
- [1] 佐々木 幸広, 岡野 浩三, 楠本 真二, PDGとSMTソルバを用いたJavaプログラム解析器の提案, SESワークショップ2013, 2013年.
- [2] 佐々木幸広, 小林和貴, 岡野浩三, 楠本真二, "SMTソルバーとPDG作成ツールを用いた Java のテストケース自動導出手法の提案," 電子情報通信学会技術研究報告 , volume 111 , number 481, pages 55-60, 2012年2月. [Sigss2012.pdf]
- 学位論文
- [1] 佐々木 幸広, "プログラム解析を目的としたループ実行前後の変数間に成り立つ写像導出," 修士学位論文, 2014年2月.
- [2] 佐々木幸広, "Java の実行パスからパス実行可能性判定式への変換と SMTソルバによる求解," , 2012年2月. [document.pdf]