Deterministic execution testing has been considered a promising way for concurrent program testing because of its reproducibility Since, however, deterministic execution requires that a synchronization sequence to be replayed is feasible and valid, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account To resolve this problem, we had proposed automata-based testing in our previous works, where a concurrent program is executed according to one of sequences accepted by the automaton recognizing all sequences semantically equivalent to a given sequence In this paper, we present the automata-based testing environment for Java multi-thread programs, and we design and implement key components - Automata Generator, Pro-gram Transformer and Replay Controller Algorithms for generating the equivalence automaton of a given sequence are presented and a program transformation method is suggested in order to guide a program to be executed according to the sequence accepted by the automaton. The replay controller is also redesigned and implemented to adopt the automaton By illustrating automata-based testing procedures with the gas station example, we show how the proposed approach does works in Java multi-threaded programs.