UCov: a user-defined coverage criterion for test case intent verification. - Assi, Rawad Abou; Masri, Wes; Zaraket, Fadi (Software Testing: Verification & Reliability, 2016)