Biao W, Ge Q-W. Test Input Data Generation for Choiceless Program Nets. ECTI-CIT Transactions [internet]. 2019 Oct. 26 [cited 2026 Jan. 6];14(1):37-45. available from: https://ph01.tci-thaijo.org/index.php/ecticit/article/view/197859