A Verification Method of Software Acceptability
Jin, Ying, Mu, Li Wen, Zhang, Peng, Liu, Hua Xiao, Chi, Xue Hang
Published in Applied Mechanics and Materials (01.09.2013)
Published in Applied Mechanics and Materials (01.09.2013)
Get full text
Journal Article
A New Dynamic Program Slicing Algorithm Based on Abstract Machine
Liu Hua-Xiao, Jin Ying, Chi Xue-Hang, Li Junrong, Li Yu-Shuang, Xu Yong
Published in 2013 International Conference on Computational and Information Sciences (01.06.2013)
Published in 2013 International Conference on Computational and Information Sciences (01.06.2013)
Get full text
Conference Proceeding