Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components

Gaoyan Xie Zhe Dang Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components http://arxiv.org/abs/cs.SE/0404037 2004 CoRR cs.SE/0404037 db/journals/corr/corr0404.html#cs-SE-0404037 informal publication