13 citations · 34 across the 11 of their papers we have counts for
1 paper · 1 filter
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…