Test Case Generation of Concurrent Programs Based on Event Graph | IEEE Conference Publication | IEEE Xplore