Seeded Faults and Their Locations Design using Bayes Formula and Program Logic in Software Testing. - Wang Lina; Tian Jie; Li Bo (ENASE, 2011)