paperbot · PL 论文追踪

全部论文 待读 收藏

P2 DESIGNATOR: a Toolset for Automated GAN-enhanced Search-based Testing and Retraining of DNNs in Martian Environments

DESIGNATOR:面向火星环境的 GAN 增强搜索式 DNN 测试与重训练自动化工具集
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 2/10 · 该论文聚焦于火星环境下视觉 DNN 的 GAN 增强搜索式测试与重训练,属于 DNN 测试/调试方向,与用户关注的静态分析、Agentic 程序、浮点程序分析、贝叶斯程序分析及 LLM 与程序分析交叉均无直接关联。其应用场景偏特定领域,方法也未涉及 LLM/Agent 或形式化验证。引用 0 inbox
Mohammed Oualid Attaoui, Fabrizio Pastore
crossref: 2026-09-12

AI 速览

一句话:提出 DESIGNATOR 工具集,集成火星环境模拟器与 GAN 增强搜索式测试,为火星视觉 DNN 生成测试与重训练数据集。

本文介绍 DESIGNATOR,一个用于在类火星环境中测试和重训练执行计算机视觉任务的深度神经网络(DNN)的数据集生成工具集。它集成火星环境模拟器 Marsim 与搜索式方法 DESIGNATE,后者结合仿真、生成对抗网络(GAN)和基于搜索的测试输入生成。用户可选择搜索策略、在 MarsSim 中启动仿真,并观察模拟图像、对应真实感图像、真值标签、模型预测及适应度值的演化。该工具帮助研究者与实践者生成能暴露失败并用于重训练 DNN 的数据集,也可作为解释元启发式搜索生成图像数据集的教学工具。MarsSim 还提供独立 API 和 GUI,支持在汽车领域之外评估搜索式方法。

问题
在类火星等非主流场景中,DNN 缺乏能暴露失败并支持重训练的数据集,且搜索式测试主要局限于汽车场景。
方法
构建工具集 DESIGNATOR,将 Marsim 火星环境模拟器与 GAN 增强的搜索式测试输入生成方法 DESIGNATE 集成,提供搜索策略选择、仿真执行与结果可视化。
评估
以工具演示视频和功能展示为主,说明其支持数据集生成、DNN 失败发现与重训练,并可通过 Marsim 的 API/GUI 独立使用。
原文摘要(Abstract)

We present DESIGNATOR, a toolset for generating datasets for testing and retraining deep neural networks (DNNs) performing computer vision tasks in Martian-like environments. The toolset integrates Marsim, a simulator of the Mars environment, and DESIGNATE, a search-based approach combining simulation, generative adversarial networks (GANs), and search-based test input generation. The tool enables users to select a search strategy, launch simulations in MarsSim, and observe the evolution of simulated images, corresponding realistic images, ground truth labels, model predictions, and fitness values. Beyond supporting researchers and practitioners in generating datasets capable of identifying failures and retraining DNNs, DESIGNATOR can be used as a didactic tool to explain how image datasets can be generated using meta-heuristic search. Furthermore, MarsSim can be used standalone, through its API and GUI. MarsSim enables researchers to assess search-based approaches beyond the predominantly studied automotive context. A demo video of DESIGNATOR is available at https: //youtu.be/fGxgpgViPEo.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot9534,
  title = {DESIGNATOR: a Toolset for Automated GAN-enhanced Search-based Testing and Retraining of DNNs in Martian Environments},
  author = {Mohammed Oualid Attaoui and Fabrizio Pastore},
  booktitle = {ASE},
  year = {2025},
  doi = {10.1109/ase63991.2025.00355}
}