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

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]

@inproceedings{NuhuGBNZHT22,
  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 0001 and Lydia Asrat Zeleke and Abdollah Homaifar and Edward W. Tunstel},
  year = {2022},
  doi = {10.1109/SSCI51031.2022.10022242},
  url = {https://doi.org/10.1109/SSCI51031.2022.10022242},
  researchr = {https://researchr.org/publication/NuhuGBNZHT22},
  cites = {0},
  citedby = {0},
  pages = {413-420},
  booktitle = {IEEE Symposium Series on Computational Intelligence, SSCI 2022, Singapore, December 4-7, 2022},
  editor = {Hisao Ishibuchi and Chee-Keong Kwoh 0001 and Ah-Hwee Tan and Dipti Srinivasan and Chunyan Miao and Anupam Trivedi and Keeley A. Crockett},
  publisher = {IEEE},
  isbn = {978-1-6654-8768-9},
}