Distributed Testing of Multi Input/Output Transition System.

Zhongjie Li, Xia Yin, Jianping Wu

Browse the full SEFM paper archive.