Abstract
The traditional methods of interoperability test sequence generation used generate reachability graphs to derive test sequences. However, most of reachability graphs suffer from state explosion problem. In this thesis, we propose a method of interoperability test sequence generation which do not use reachability graph and consider other aspects that interoperability testing might need.