Electronic functional test generation and scheduling using an intelligent knowledge-based system and heuristic techniques. - Stephen Michael Lea (1990)