Requirements driven falsification with coverage metrics. - Adel Dokhanchi; Aditya Zutshi 001; Rahul T. Sriniva; Sriram Sankaranarayanan 001; Georgios Fainekos (EMSOFT, 2015)