... i, y) j j và ∀sj ∈ M. 2) 3.1.2. Thuật toán sinh cây UIO Input: Output: cây UIO. Phương pháp: Thc hic sau Bước 1: t ψ là mt tp ... ij∀si, sj ∈ S và si = sj. 2) 3.2.2. Thuật toán sinh cây DS Input : M = <S, I, O, s0 Output: Cây DS. Phương pháp: Bước 1: ψ ψ ... Foundations of Software Testing, Dorling Kindersley (India) Pvt. Ltd., pp.221-234. 3. Boris Beizer (1990), Software Testing Techniques, Second Edition, Van Nostrand Reinhold. 4. Jeff Tian (2005),...