OOT—Test Case Design
Berard [BER93] proposes the following approach: