Biao, Wu, and Qi-Wei Ge. 2019. “Test Input Data Generation for Choiceless Program Nets”. ECTI Transactions on Computer and Information Technology (ECTI-CIT) 14 (1):37-45. https://doi.org/10.37936/ecti-cit.2020141.197859.