Coverage Directed Test Generation: Godson Experience. - Haihua Shen; Wenli Wei; Yunji Chen; Bowen Chen; Qi Guo 001 (ATS, 2008)