Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2019/09/01 Vol. E102-ANo. 9pp. 1303-1311 Type of Manuscript: PAPER Category: Mathematical Systems Science Keyword: program net, software testing, subnets generation, acyclic program net, self-cleanness,