Live Region Mutation Testing for Commercial Cyber-Physical System Development Tool Chain.

Lehuan Zhang, Shikai Guo, Zixuan Wang, Xiaoyu Wang, Xiaochen Li, He Jiang

Browse the full DAC paper archive.