Key points are not available for this paper at this time.
Graphs and Relations. Control-Flow Testing. Loop Testing. Data-Flow Testing. Transaction-Flow Testing. Domain Testing. Syntax Testing. Finite-State Testing. Tools and Automation. Appendix. Cited References and Bibliography. Index.
Beizer et al. (1996) studied this question.