Slicing Technique for Test Path Generation in Concurrent Programs