In this paper, the authors study the basic principle of automated test case generator for c language. The paper proposes a design principle to convert c source code to control flow graph, and then by ...