The design and implementation of automata-based testing environment for Java multi-thread programs | IEEE Conference Publication | IEEE Xplore