@inproceedings{weko_122706_1, author = "伊東,栄典 and 古川,善吾 and 牛島,和夫", title = "Cプログラムのためのプロセス間通信に基づくテスト基準について : 並行処理プログラムにおけるセマフォテスト基準", booktitle = "全国大会講演論文集", year = "1992", volume = "第45回", number = "ソフトウェア工学", pages = "255--256", month = "sep" }