Automated Generation of Concurrent Test Code from Function Nets. - Dianxiang Xu; Janghwan Tae (SEKE, 2012)