@misc{indiciae9269b29799c4, title = {Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints}, author = {Abdul-Rauf Nuhu and Kishor Datta Gupta and Wendwosen Bellete Bedada and Mahmoud Nabil and Lydia Asrat Zeleke and Abdollah Homaifar and Edward Tunstel}, year = {2022}, url = {https://arxiv.org/abs/2209.01411}, note = {Source identifier: 2209.01411} }