An EFSM-based Test Generation for Validation of SDL Specifications. - Wong, W. Eric; Restrepo, Andy; Yu Qi; Byoungju Choi (ICSE: International Conference on Software Engineering, 2008)