@article{weko_178658_1, author = "丹野,治門", title = "テストケースの事前条件として適切なDB初期状態の状態数とデータサイズを削減する手法の提案", journal = "情報処理学会論文誌", year = "2017", volume = "58", number = "4", pages = "818--832", month = "apr" }