Semi-Algorithmic Test Pattern Generation. - Hadi Shahriar Shahhoseini; Babak Hosseini Kazerouni (AICCSA, 2006)