A Study of Testing Support Tool For concurrent Programs.