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