Experimenting with evolutionary meta-heuristics for state justification in sequential ATPG - Shazli, Syed Zafar (2001)