Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs.

Jiang Wu, Yan Lei, Zhuo Zhang, Xiankai Meng, Deheng Yang, Pan Li, Jiayu He, Xiaoguang Mao

Browse the full DAC paper archive.