Return to Article Details Syntax Directed Generation of Tests for Processors of Regular Languages Download Download PDF