TY  - RPRT
TI  - Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints
AU  - Abdul-Rauf Nuhu
AU  - Kishor Datta Gupta
AU  - Wendwosen Bellete Bedada
AU  - Mahmoud Nabil
AU  - Lydia Asrat Zeleke
AU  - Abdollah Homaifar
AU  - Edward Tunstel
PY  - 2022
UR  - https://arxiv.org/abs/2209.01411
ID  - 2209.01411
ER  -