Biao, W., & Ge, Q.-W. (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