A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach. - Khoa Phung; Dilshan Jayatilake; Emmanuel Ogunshile; Mehmet Aydin 001 (Program. Comput. Softw., 2021)