EFSM Amorphous Slicing Based Test Case Generation