TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications.

Haruto Tanno, Xiaojing Zhang, Takashi Hoshino, Koushik Sen

Browse the full ICSE paper archive.