On the effectiveness of program testing

The authors give an introduction to program testing and look at graphs representing control flow. They discuss test strategies, looking at closed box testing and open box testing. They examine the error revealing capability of the strategies. They look in detail at test criterion, including object oriented, flow oriented and state oriented criteria.