DeepXplore: Automated Whitebox Testing of Deep Learning Systems https://arxiv.org/abs/1705.06640 DNNのテストのために、複数のDNNで予測結果が異なる、もしくは各ニューロンが活性化したかどうかで定義されるニューロンカバレッジを増やすようなテストケースの生成を行うというもの。 「あるDNNだけ予測結果が異なる」ことと「まだ活性化したことのないニューロンが活性化する」ことの2つを組み合わせた目的関数で勾配法で最適化する(ただし、それだとあり得ない入力を生成してしまうので、勾配をそのまま適用する代わりにドメインの制約を反映した形に変更したうえで適用してる)。 DNNの振る舞いのコーナーケースを突くような入力の生成という意味では、敵対的サンプル(adversarial example)を生成などもあっ