The paper focuses on the automatic generating of the witnesses for the word equation satisfiability problem by means of specializing an interpreter WI L ( σ i , Eqs), which tests whether a composition of variable substitutions σ i of a given word equation system Eqs produces its solution. We specialize such an interpreter w.r.t. Eqs, while σ i are unknown. We show that several variants of such interpreters, when specialized using the basic unfold/fold methods, are able to construct the whole solution sets for some classes of the word equations whose left-and right-hand sides share variables. We prove that the specialization process w.r.t. the constructed interpreters gives a simple syntactic criterion of the satisfiability of the equations considered, and show that the suggested approach can solve some equations not solvable by Z3str3 and CVC4, the widely-used SMT-solvers.* The reported study was partially supported by Russian Academy of Sciences, research project No. AAAA-A19-119020690043-9. 1 We use the assumption that only the elements c belonging to the function domain are considered, which is expressed by the premise ∃ f (c).AddExprMS((Vs sym )++x expr , xms) = AddExprMS(x expr , Include((Vs sym ), ε, xms)); AddExprMS(s sym ++x expr , xms) = AddExprMS(x expr , Include(s sym , ε, xms)); AddExprMS(ε, (xms)) = xms;