Kuo, Sy-YenSy-YenKuo2009-02-042018-07-062009-02-042018-07-061992-12http://ntur.lib.ntu.edu.tw//handle/246246/120606en-USEfficient Backtracking Decision Heuristics and Evaluation for Test Generationjournal article