Smartunit: empirical evaluations for automated unit testing of embedded software in industry. - Chengyu Zhang 001; Yichen Yan; Hanru Zhou; Yinbo Yao; Ke Wu; Ting Su 001; Weikai Miao; Geguang Pu (ICSE (SEIP), 2018)