Automatic Test Data Generation for Programs with Integer and Float Variables. - Nguyen Tran Sy; Yves Deville (ASE, 2001)

Consistency techniques for interprocedural test data generation. - Nguyen Tran Sy; Yves Deville (ESEC / SIGSOFT FSE, 2003)

Consistency techniques for test data generation. - Nguyen Tran Sy (2005)