Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada, Mahmoud Nabil 0001, Lydia Asrat Zeleke, Abdollah Homaifar, Edward W. Tunstel. Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints. In Hisao Ishibuchi, Chee-Keong Kwoh 0001, Ah-Hwee Tan, Dipti Srinivasan, Chunyan Miao, Anupam Trivedi, Keeley A. Crockett, editors, IEEE Symposium Series on Computational Intelligence, SSCI 2022, Singapore, December 4-7, 2022. pages 413-420, IEEE, 2022. [doi]
Abstract is missing.