@article{oai:ipsj.ixsq.nii.ac.jp:00008209,
 author = {菅野, 文友 and Kanno, Ayatomo},
 issue = {5},
 journal = {情報処理},
 month = {May},
 title = {ソフトウェアの検査の考え方},
 volume = {13},
 year = {1972}
}