| 不具合履歴に基づくソフトウェア IV&V 活動の定量的見える化手法 | まつ本 真佑 他 | 電子情報通信学会論文誌 D Vol.J92–D No. 12 pp. 2195〜2206 電子情報通信学会 2009 | [添付] | ☆☆☆ |
| モデル検査による設計検証 | 吉岡 信和 他 | コンピュータソフトウェア, Vol31, No.4(2014), pp.40~65. | [添付] | |
| ソフトウェアの品質向上のための開発現場におけるモデル検査技術を用いたソースコード検証の研究 | 青木 善貴 | 芝浦工業大学大学院 博士学位論文 2014 | [添付] | |
| コンポーネント指向フレームワークを用いたSPAの画面遷移を対象とするモデル検査手法 | 大嶋 乃斗 他 | 研究報告ソフトウェア工学(SE)2018-03-02 情報処理学会 | [添付] | |
| モデル検査を用いたFRAMモデルの解析 | 青木 善貴 | ウィンターワークショップ2019・イン・福島飯坂 | [添付] | |
| Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review | Rolando P. Reyes Ch. 他 | ICSE 2018 | p1195-reyes.pdf | |
| | | [添付] | |
| | | [添付] | |
| | | [添付] | |