An EFSM-based Test Generation for Validation of SDL Specifications.

W. Eric Wong, Andy Restrepo, Yu Qi, Byoungju Choi

Browse the full ICSE paper archive.