BMC+Fuzz: Efficient and Effective Test Generation.

Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty

Browse the full DATE paper archive.