Automatic test cases generation from business process models. - Arezoo Yazdani Seqerloo; Mohammad Javad Amiri; Saeed Parsa; Mahnaz Koupaee (Requir. Eng., 2019)