A Test Pattern Generation Algorithm Exploiting Behavioral Information