Search of article List
2017年 総合大会
| 講演番号 | 題目/著者 |
|---|---|
| D-3-1 | モデル検査を用いたOTS/CafeOBJ仕様からのテストケース自動生成手法 ○森 隆晴, 中村正樹, |
| D-3-2 | 難読化されたプログラムに含まれる「目立つ基本ブロック」の検出 ◎西 陽太, 神崎雄一郎, |
| 講演番号 | 題目/著者 |
|---|---|
| D-3-1 | モデル検査を用いたOTS/CafeOBJ仕様からのテストケース自動生成手法 ○森 隆晴, 中村正樹, |
| D-3-2 | 難読化されたプログラムに含まれる「目立つ基本ブロック」の検出 ◎西 陽太, 神崎雄一郎, |