Generating Realistic, Diverse, and Fault-Revealing Inputs with Latent Space Interpolation for Testing Deep Neural Networks

Documenti analoghi

• Latent Regularization in Generative Test Input Generation
  di: Merabishvili, Giorgi, et al.
  Pubblicazione: (2026)
• RBT4DNN: Requirements-based Testing of Neural Networks
  di: Mozumder, Nusrat Jahan, et al.
  Pubblicazione: (2025)
• A DPLL(T) Framework for Verifying Deep Neural Networks
  di: Duong, Hai, et al.
  Pubblicazione: (2023)
• DANDI: Diffusion as Normative Distribution for Deep Neural Network Input
  di: Kim, Somin, et al.
  Pubblicazione: (2025)
• Toward Efficient Testing of Graph Neural Networks via Test Input Prioritization
  di: Yang, Lichen, et al.
  Pubblicazione: (2025)