On Testing Multi-threaded Java Programs | IEEE Conference Publication | IEEE Xplore