カッシア ジ ソウザ カルヴァーリョ, 状態遷移テストにおけるカバレッジ基準の提案とモデル検査を用いたテストケース生成について
カッシア ジ ソウザ カルヴァーリョ, 状態遷移テストにおけるカバレッジ基準の提案とモデル検査を用いたテストケース生成について
复制标题
Cassia Gi Souza Carvalho，使用模型检查进行状态转换测试和测试用例生成的覆盖标准的提案
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
土屋達弘
中科院分区：
文献类型：
--
作者：
永元雄宙;小島英春;土屋達弘;土屋達弘
