Testing of Concurrent Programs