A knowledge-level testing method. - Corinne Haouche-Gingins; Jean Charlet (Int. J. Hum. Comput. Stud., 1998)