Specification-based Testing Method Using Testing Flow Graphs. - Ryan Voigt; Kareem Fazal; Hassan Reza (ICSEA, 2007)