摘要:
## Abstract 本文: DeepTest Task: a systematic testing tool for DNN-driven vehicles Method: 1. generated test cases with real-world changes like rain, fo 阅读全文
摘要:
## Abstract 本文:DeepCT Task: Testing DL Models with Combinatorial Testing Method: 1. 将输出值的空间离散化为区间,以便覆盖每个区间,对不同层内的神经元交互进⾏采样,并减少必须执⾏的测试输⼊的数量。 2. a set o 阅读全文
摘要:
## Abstract 背景: 1. the de facto standard to assess the quality of DNNs in the industry is to check their performance (accuracy) on a collected set of 阅读全文
摘要:
## Abstract Task: an artifact to accompany Reducing DNN Properties to Enable Falsification with Adversarial Attacks 包括DNNF ⼯具、数据和脚本 a VirtualBox virtu 阅读全文