Xiangning Ma

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 1

Top Topics

Specification Language

Formal Specification

Data Abstraction

Top Venues

Frontiers Comput. Sci.

Publications

Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao
Tuning parallel symbolic execution engine for better performance. Frontiers Comput. Sci. 12 (1) (2018)
Jiong Gong, Yun Wang, Haihao Shen, Xu Deng, Wei Wang, Xiangning Ma
FAST: Formal specification driven test harness generation. MEMOCODE (2012)