Nazish Yousaf TH-SOF-1459-Automated Model-based UI Test Case Generation from Interaction Flow Modeling Language (IFML) Models - Islamabad NUST College of EME 2017 Subjects--Topical Terms: MS-CSE-15 MSTHESIS Dewey Class. No.: 200 THE