Xiangning Ma

According to our database, Xiangning Ma authored at least 2 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Tuning parallel symbolic execution engine for better performance.

Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao

Frontiers Comput. Sci., 2018

2012

FAST: Formal specification driven test harness generation.

Jiong Gong, Yun Wang, Haihao Shen, Xu Deng, Wei Wang, Xiangning Ma

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012