FAST: Formal specification driven test harness generation.

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

Browse the full MEMOCODE paper archive.