A Novel Framework for Test Domain Reduction using Extended Finite State Machine. - Nutchakorn Ngamsaowaros; Peraphon Sophatsathit (ICSEA, 2007)