A framework for practical, automated black-box testing of component-based software
Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential