Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty: BMC+Fuzz: Efficient and Effective Test Generation. DATE 2022: 1419-1424