@techreport{weko_178403_1, author = "山本,大祐 and 大森,洋一 and 荒木,啓二郎", title = "テストを用いた形式仕様と実装の不整合検出", year = "2017", institution = "九州大学工学部電気情報工学科, 九州大学システム情報科学研究院, 九州大学システム情報科学研究院", number = "27", month = "mar" }