automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

Research and compilation of the Geomorphologic Atlas of the People's Republic of China (1:1,000,000)

National Natural Science Foundation of China [40871177, 40830529]