Unit Test Data Generation for C Using Rule-Directed Symbolic Execution
Zhang, Ming-Zhe, Gong, Yun-Zhan, Wang, Ya-Wen, Jin, Da-Hai
Published in Journal of computer science and technology (01.05.2019)
Published in Journal of computer science and technology (01.05.2019)
Get full text
Journal Article
Null Dereference Detection via a Backward Analysis
Qian Wang, Dahai Jin, Yunzhan Gong
Published in 2013 20th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2013)
Published in 2013 20th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2013)
Get full text
Conference Proceeding
A Static Defect Checker for Interprocedural Array Bound
Jin, Da Hai, Chen, Hong He, Liu, Chuan Chang, Gong, Yun Zhan
Published in Applied Mechanics and Materials (01.06.2011)
Published in Applied Mechanics and Materials (01.06.2011)
Get full text
Journal Article
A Method of Software Static Testing in the Presence of Runtime Exception
Jin, Da Hai, Yang, Zhao Hong, Liu, Chuan Chang, Gong, Yun Zhan, Xiao, Qing
Published in Applied Mechanics and Materials (01.06.2011)
Published in Applied Mechanics and Materials (01.06.2011)
Get full text
Journal Article
Endoscope-assisted Transoral Approach for Parapharyngeal Space Tumor Resection
Wang, Jian, Li, Wu-Yi, Yang, Da-Hai, Jin, Xiao-Feng, Niu, Yan-Yan
Published in Chinese medical journal (20.09.2017)
Published in Chinese medical journal (20.09.2017)
Get full text
Journal Article
Influence of Noise on Time Evolution of Intensity Correlation Function
Cheng, Qing-Hua, Cao, Li, Xu, Da-Hai, Wu, Da-Jin
Published in Communications in theoretical physics (15.11.2005)
Published in Communications in theoretical physics (15.11.2005)
Get full text
Journal Article