Text this: Evolutionary algorithms for state justification in sequential automatic test pattern generation