Specification-based Testing Method Using Testing Flow Graphs | IEEE Conference Publication | IEEE Xplore