Text this: Computer aided generation of test sequences for logical systems /