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

Abdul-Rauf Nuhu, Kishor Datta Gupta, Wendwosen Bellete Bedada +4

Generating unsafe sub-requirements from a partitioned input space to support verification-guided test cases for formal verification of black-box models is a challenging problem for…