7Brian Marick. The Craft of Software Testing-Subsystem Testing Including Object-based and Object-oriented Testing[M].PTR Prentice Hall,Englewood Cliffs,New Jersey 07632,.
8Richard E.Fairley. Tutorial:Static Analysis and Dynamic Testing of Computer Software[J].IEEE Transactions on Computers,1978.
9Thomas Jaudon Ball. The Use of Control-flow and Control Dependence In Software Tools[M].University of Wisconsin Madison,1993.doi:10.1016/j.legalmed.2009.08.003.