Learning to Restrict Test Range for Compiler Test
暂无分享,去创建一个
Junhua Zhu | Limin Wang | Yu Gu | Xiaojun Lin
[1] Zhendong Su,et al. Skeletal program enumeration for rigorous compiler testing , 2016, PLDI.
[2] Zhendong Su,et al. Compiler validation via equivalence modulo inputs , 2014, PLDI.
[3] Xuejun Yang,et al. Finding and understanding bugs in C compilers , 2011, PLDI '11.
[4] Xuejun Yang,et al. Test-case reduction for C compiler bugs , 2012, PLDI.