査読有り 責任著者 2020年5月 Test Input Data Generation for Choiceless Program Nets ECTI Trans. Computer and Information Technology B. Wu, Q.W. Ge 巻 14 号 1 開始ページ 37 終了ページ 45 記述言語 英語 掲載種別 研究論文(学術雑誌) エクスポート BibTeX RIS