a deterministic model was employed to simulate various progeny testing programs compatible with the conditions of holstein dairy cattle population in iran. in simulated programs, the selection intensity of bulls was increased by increasing the ratio of cow population in mate with young bulls. selection accuracy in the programs was fixed because of the fixed progeny group. economic efficiency (t...

In this paper we propose a scheme for reachability testing to achieve statement coverage in the dynamic testing of concurrent programs. Previous studies on reachability testing have only enumerated the feasible interleavings of a concurrent program for a given input. The proposed scheme derives inputs from SYN-sequences obtained in reachability testing and uses these inputs to perform reachabil...