Return to Article Details THE USE OF A FUNCTIONAL DESCRIPTION LANGUAGE FOR TEST GENERATION Download Download PDF