@inproceedings{weko_152030_1, author = "上芝,貴也 and 王,〓涛 and 芳賀,博英", title = "B-028 記号実行を用いた等価ミュータント検出手法の提案(B分野:ソフトウェア,一般論文)", booktitle = "情報科学技術フォーラム講演論文集", year = "2013", volume = "12", number = "1", pages = "285--286", month = "aug" }