Partition Based Differential Testing for Finding Embedded Code Generation Bugs in Simulink.

He Jiang, Hongyi Cheng, Shikai Guo, Xiaochen Li

Browse the full DAC paper archive.