Stimuli generation through invariant mining for black-box verification | IEEE Conference Publication | IEEE Xplore