Lydia Asrat Zeleke | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Mahmoud Nabil
15 publications
Abdollah Homaifar
12 publications
Kishor Datta Gupta
8 publications
Edward Tunstel
4 publications
Abdul-Rauf Nuhu
1 publication
Wendwosen Bellete Bedada
1 publication

research

∙ 09/03/2022

Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints

Generating unsafe sub-requirements from a partitioned input space to sup...

0 Abdul-Rauf Nuhu, et al. ∙