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

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Tuning parallel symbolic execution engine for better performance'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science