Nguyen Tran Sy, Yves Deville: Consistency techniques for interprocedural test data generation. ESEC / SIGSOFT FSE 2003: 108-117