@inproceedings{weko_102886_1, author = "青木,善貴 and 松浦,佐江子", title = "モデル検査を利用した仕様とソースコード間におけるシステムの振舞いの不一致発見", booktitle = "ソフトウェアエンジニアリングシンポジウム2014論文集", year = "2014", volume = "2014", number = "", pages = "212--213", month = "aug" }