Tech Univ Braunschweig, Inst Informat Syst, Univ Hong Kong, Software     Engn Grp, Swinburne Univ Technol, Ctr Software EngnMany white-box testing methods are based on the analysis of program     paths. For these methods, an important problem is to determine the     feasibility of a given path, and find appropriate input data to execute     the path if it is feasible. In thi