Software testing methodolgy with the control flow analysis
Optimizing Compilers for Modern Architectures Dependence: Theory and Practice Allen and Kennedy, Chapter 2 pp. 49-70.