Construction of global finite state machine for testing task interactions written in message sequence charts.

Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha

Browse the full SEKE paper archive.