Experience in Test Generation Using Multi-Level Approach. - R. S. Kripanandan; S. V. Raghavan (Comput. Networks ISDN Syst., 1995)