Subnets Generation of Program Nets and Its Application to Software Testing.

Biao Wu 0002 Xiaoan Bao Na Zhang 0002 Hiromu Morita Mitsuru Nakata Qi-Wei Ge Subnets Generation of Program Nets and Its Application to Software Testing. 1303-1311 2019 102-A IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 9 https://doi.org/10.1587/transfun.E102.A.1303 http://search.ieice.org/bin/summary.php?id=e102-a_9_1303 db/journals/ieicet/ieicet102a.html#WuBZMNG19