This paper presents a system, called COTTAGE, for automated test data generation of C programs. The main originality of our system is its ability to handle programs with oat variables as well as boolean and integer variables. It can also deal with arrays and procedure calls. The system is based on our previous work [25, 26]. A test program (with procedure calls) is represented by an Interproced...