Title: Computer aided generation of test sequences for logical systems