This approach builds on earlier work which established how to translate SDL processes into standard EFSMs and identify "hot spots" - nodes or edges in the EFSM ...

We propose a test generation method that can accomplish conformance verification as well as coverage criteria-driven white box testing of the specification ...

We propose a test generation framework that can accomplish conformance verification as well as coverage criteria-driven white box testing of the specification ...

This paper proposes a test generation framework that can accomplish conformance verification as well as coverage criteria-driven white box testing of the ...

We implement a tool, TGSP (Testing sequence Generation for SDL Process), which automatically reformats EFSMs from a textual SDL specification and allows ...

This approach builds on earlier work which established how to translate SDL processes into standard EFSMs and identify "hot spots" - nodes or edges in the EFSM ...

In this paper, we present our test generation method and tool, and provide case studies on five SDL processes demonstrating the effectiveness of our coverage- ...

Validation of SDL specifications using EFSM-based test generation. Wong, W.E.; Restrepo, A.; Choi, B. Information and Software Technology 51(11): 1505-1519.

Title: An EFSM-based Test Generation for Validation of SDL Specifications. Author: Wong, W. Eric. Restrepo, Andy. Yu Qi.

Validation of SDL specifications using EFSM-based test generation. Article. Nov 2009 ... An EFSM-based Test Generation for Validation of SDL Specifications.